org.eth.cyril.model.abstraction

Interface Abstracter<T extends Resolver>

Type Parameters:

T - The type of elements to be abstracted.

All Known Implementing Classes:

HeapContent

public interface Abstracter<T extends Resolver>

An abstracter is an object which is capable of handling abstraction and also undoing abstraction again.

Method Summary

Modifier and Type	Method and Description
Abstracting<T>	handleAbstraction(Abstractable<T> toAbstract) Handle abstraction by abstracting the given elements to a single abstracting instance.
void	undoAbstraction(Abstracting<T> abstracting) Undo the abstraction for the given abstracting element, by restoring the state as it was previously.

Method Detail

handleAbstraction

Abstracting<T> handleAbstraction(Abstractable<T> toAbstract)

Handle abstraction by abstracting the given elements to a single abstracting instance. Also handle internal state such as possibly updating pointers to the abstracted elements to the new abstracting instance.

Parameters:

toAbstract - The elements to be abstracted.

Returns:

The resulting abstracting node.

undoAbstraction

void undoAbstraction(Abstracting<T> abstracting)

Undo the abstraction for the given abstracting element, by restoring the state as it was previously. Essentially, performing undoAbstraction(handleAbstraction(...)) should leave the state entirely unchanged.

Parameters:

abstracting - The abstracting element.