org.eclipse.incquery.runtime.matchers.planning.operations

Class PEnumerate

java.lang.Object

org.eclipse.incquery.runtime.matchers.planning.operations.POperation

org.eclipse.incquery.runtime.matchers.planning.operations.PEnumerate

public class PEnumerate
extends POperation

Represents a base relation defined by the instance set of an enumerable PConstraint; there are no parent SubPlans.

WARNING: if there are coinciding variables in the variable tuple of the enumerable constraint, it is the responsibility of the compiler to check them for equality.

Author:

Bergmann Gabor

Constructor Summary

Constructors

Constructor and Description
PEnumerate(EnumerablePConstraint enumerablePConstraint)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.util.Set<? extends PConstraint>	getDeltaConstraints() Newly enforced constraints
EnumerablePConstraint	getEnumerablePConstraint()
java.lang.String	getShortName()
int	hashCode()
int	numParentSubPlans()

Methods inherited from class org.eclipse.incquery.runtime.matchers.planning.operations.POperation

checkConsistency, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PEnumerate

public PEnumerate(EnumerablePConstraint enumerablePConstraint)

Method Detail

getEnumerablePConstraint

public EnumerablePConstraint getEnumerablePConstraint()

getDeltaConstraints

public java.util.Set<? extends PConstraint> getDeltaConstraints()

Description copied from class: POperation

Newly enforced constraints

Specified by:

getDeltaConstraints in class POperation

numParentSubPlans

public int numParentSubPlans()

Specified by:

numParentSubPlans in class POperation

Returns:

the number of SubPlans that must be specified as parents

getShortName

public java.lang.String getShortName()

Specified by:

getShortName in class POperation

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object