jif.types
Class Equation

java.lang.Object
  extended by jif.types.Equation

public 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

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

lhs

public Label lhs()

rhs

public Label rhs()

constraint

public LabelConstraint constraint()

env

public LabelEnv env()

position

public polyglot.util.Position position()

variableComponents

public java.util.List variableComponents()
Return a List of variable components that occur in either the left or right hand side.


hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

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.

Throws:
polyglot.types.SemanticException