jif.types
Class LabelEquation

java.lang.Object
  extended by jif.types.Equation
      extended by 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

Field Summary
 
Fields inherited from class jif.types.Equation
constraint
 
Method Summary
 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 variableComponents()
          Return a List of variable components that occur in either the left or right hand side.
 java.util.Set variables()
          Return a Set of variables that occur in either the left or right hand side.
 
Methods inherited from class jif.types.Equation
constraint
 
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()

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