public abstract class Equation
extends java.lang.Object
lhs <= rhs
in the environment env
.LabelConstraint
Modifier and Type | Field and Description |
---|---|
protected Constraint |
constraint
The constraint from which this equation was derived.
|
Modifier | Constructor and Description |
---|---|
protected |
Equation(Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
Constraint |
constraint()
The constraint from which this equation was derived.
|
abstract java.lang.Object |
copy() |
LabelEnv |
env() |
abstract boolean |
equals(java.lang.Object o) |
abstract int |
hashCode() |
polyglot.util.Position |
position() |
abstract void |
subst(LabelSubstitution subst)
Replace the
lhs and rhs with the result of
lhs.subst(subst) and rhs.subst(subst)
respectively. |
abstract java.lang.String |
toString() |
abstract java.util.Set<Variable> |
variables()
Return a
Set of variables that occur in either the
left or right hand side. |
protected final Constraint constraint
protected Equation(Constraint constraint)
constraint
- the constraint from which this equation was derived.public LabelEnv env()
public polyglot.util.Position position()
public Constraint constraint()
public abstract java.util.Set<Variable> variables()
Set
of variables that occur in either the
left or right hand side.public abstract int hashCode()
hashCode
in class java.lang.Object
public abstract boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public abstract java.lang.String toString()
toString
in class java.lang.Object
public abstract void subst(LabelSubstitution subst) throws polyglot.types.SemanticException
lhs
and rhs
with the result of
lhs.subst(subst)
and rhs.subst(subst)
respectively.polyglot.types.SemanticException
public abstract java.lang.Object copy()