jif.types
Class Equation
java.lang.Object
jif.types.Equation
- Direct Known Subclasses:
- LabelEquation, PrincipalEquation
public abstract class Equation
- extends java.lang.Object
Label equation derived from a label constraint. A label equation represents
an inequality that must be satisfied, namely lhs <= rhs
in the environment env
.
- See Also:
LabelConstraint
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
constraint
protected final Constraint constraint
Equation
protected Equation(Constraint constraint)
env
public LabelEnv env()
position
public polyglot.util.Position position()
constraint
public Constraint constraint()
variables
public abstract java.util.Set variables()
- Return a
Set
of variables that occur in either the
left or right hand side.
hashCode
public abstract int hashCode()
- Overrides:
hashCode
in class java.lang.Object
equals
public abstract boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
toString
public abstract java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
subst
public abstract void subst(LabelSubstitution subst)
throws polyglot.types.SemanticException
- Replace the
lhs
and rhs
with the result of
lhs.subst(subst)
and rhs.subst(subst)
respectively.
- Throws:
polyglot.types.SemanticException