jif.types
Class Equation

java.lang.Object
  jif.types.Equation

Direct Known Subclasses:

LabelEquation, PrincipalEquation

public abstract 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

Field Summary

protected Constraint

constraint

Constructor Summary

protected

Equation(Constraint constraint)

Method Summary

Constraint	constraint()
LabelEnv	env()
abstract boolean	equals(java.lang.Object o)
abstract int	hashCode()
polyglot.util.Position	position()
abstract void	subst(LabelSubstitution subst) Replace the lhs and rhs with the result of lhs.subst(subst) and rhs.subst(subst) respectively.
abstract java.lang.String	toString()
abstract java.util.Set	variables() Return a Set of variables 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

Field Detail

constraint

protected final Constraint constraint

Constructor Detail

Equation

protected Equation(Constraint constraint)

Method Detail

env

public LabelEnv env()

position

public polyglot.util.Position position()

constraint

public Constraint constraint()

variables

public abstract java.util.Set variables()

Return a Set of variables that occur in either the left or right hand side.

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public abstract boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

subst

public abstract 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