|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjif.types.Equation
public class 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
.
LabelConstraint
Method Summary | |
---|---|
LabelConstraint |
constraint()
|
LabelEnv |
env()
|
boolean |
equals(java.lang.Object o)
|
int |
hashCode()
|
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 |
variableComponents()
Return a List of variable components that occur in either the
left or right hand side. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public Label lhs()
public Label rhs()
public LabelConstraint constraint()
public LabelEnv env()
public polyglot.util.Position position()
public java.util.List variableComponents()
List
of variable components that occur in either the
left or right hand side.
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public 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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |