org.eth.cyril.model.abstraction

Class Abstractable<T extends Resolver>

java.lang.Object

org.eth.cyril.model.abstraction.Abstractable<T>

Type Parameters:

T - The type of elements to be abstracted.

public class Abstractable<T extends Resolver>
extends java.lang.Object

An Abstractable object defines the set of elements which should be abstracted, however without any abstraction having been performed already. As this class doesn't have any additional functionality pertaining to the model at hand, it can be instantiated directly.

Constructor Summary

Constructors

Constructor and Description
Abstractable(java.util.Collection<T> abstractableValues)

Method Summary

Modifier and Type	Method and Description
java.util.Set<T>	abstractable() Returns a set of the values to be abstracted, for example by Abstracter.handleAbstraction(Abstractable).
boolean	overlapsWith(Abstractable<T> other) Returns whether the elements in this set of abstractable values overlap at all with the elements in the other set of abstractable values.
boolean	overlapsWith(java.util.Collection<T> collection) Returns whether the elements in this set of abstractable values overlap at all with the elements in the other collection of abstractable values.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Abstractable

public Abstractable(java.util.Collection<T> abstractableValues)

Method Detail

abstractable

public java.util.Set<T> abstractable()

Returns a set of the values to be abstracted, for example by Abstracter.handleAbstraction(Abstractable).

overlapsWith

public boolean overlapsWith(Abstractable<T> other)

Returns whether the elements in this set of abstractable values overlap at all with the elements in the other set of abstractable values.

Parameters:

other - The other set of abstractable values.

Returns:

Whether the two sets of abstractable values overlap, having any element in common.

overlapsWith

public boolean overlapsWith(java.util.Collection<T> collection)

Returns whether the elements in this set of abstractable values overlap at all with the elements in the other collection of abstractable values.

Parameters:

collection - The other collection of abstractable values.

Returns:

Whether the two sets of abstractable values overlap, having any element in common.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object