jif.types
Class LabelEquation
java.lang.Object
jif.types.Equation
jif.types.LabelEquation
public class LabelEquation
- extends Equation
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 |
lhs
public Label lhs()
rhs
public Label rhs()
env
public LabelEnv env()
- Overrides:
env
in class Equation
position
public polyglot.util.Position position()
- Overrides:
position
in class Equation
labelConstraint
public LabelConstraint labelConstraint()
variableComponents
public java.util.List variableComponents()
- Return a
List
of variable components that occur in either the
left or right hand side.
variables
public java.util.Set variables()
- Return a
Set
of variables that occur in either the
left or right hand side.
- Specified by:
variables
in class Equation
hashCode
public int hashCode()
- Specified by:
hashCode
in class Equation
equals
public boolean equals(java.lang.Object o)
- Specified by:
equals
in class Equation
toString
public java.lang.String toString()
- Specified by:
toString
in class Equation
subst
public 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.
- Specified by:
subst
in class Equation
- Throws:
polyglot.types.SemanticException