public class LabelEquation extends Equation
lhs <= rhs
in the environment env
.LabelConstraint
constraint
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
copy() |
LabelEnv |
env() |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
LabelConstraint |
labelConstraint() |
Label |
lhs() |
polyglot.util.Position |
position() |
Label |
rhs() |
void |
subst(LabelSubstitution subst)
Replace the
lhs and rhs with the result of
lhs.subst(subst) and rhs.subst(subst)
respectively. |
java.lang.String |
toString() |
java.util.List<Variable> |
variableComponents()
Return a
List of variable components that occur in either the
left or right hand side. |
java.util.Set<Variable> |
variables()
Return a
Set of variables that occur in either the
left or right hand side. |
constraint
public Label lhs()
public Label rhs()
public LabelConstraint labelConstraint()
public java.util.List<Variable> variableComponents()
List
of variable components that occur in either the
left or right hand side.public java.util.Set<Variable> variables()
Set
of variables that occur in either the
left or right hand side.public void subst(LabelSubstitution subst) throws polyglot.types.SemanticException
lhs
and rhs
with the result of
lhs.subst(subst)
and rhs.subst(subst)
respectively.