public class LabelLeAssertion_c extends polyglot.types.TypeObject_c implements LabelLeAssertion
Modifier and Type | Field and Description |
---|---|
protected Label |
lhs |
protected Label |
rhs |
protected LabelLeAssertionToJavaExpr |
toJava |
Constructor and Description |
---|
LabelLeAssertion_c(JifTypeSystem ts,
Label lhs,
Label rhs,
polyglot.util.Position pos,
LabelLeAssertionToJavaExpr toJava) |
Modifier and Type | Method and Description |
---|---|
boolean |
isCanonical() |
Label |
lhs() |
LabelLeAssertion |
lhs(Label lhs) |
Label |
rhs() |
LabelLeAssertion |
rhs(Label rhs) |
polyglot.ast.Expr |
toJava(JifToJavaRewriter rw) |
java.lang.String |
toString() |
copy, equals, equalsImpl, hashCode, position, typeSystem
protected LabelLeAssertionToJavaExpr toJava
protected Label lhs
protected Label rhs
public LabelLeAssertion_c(JifTypeSystem ts, Label lhs, Label rhs, polyglot.util.Position pos, LabelLeAssertionToJavaExpr toJava)
public Label lhs()
lhs
in interface LabelLeAssertion
public Label rhs()
rhs
in interface LabelLeAssertion
public LabelLeAssertion lhs(Label lhs)
lhs
in interface LabelLeAssertion
public LabelLeAssertion rhs(Label rhs)
rhs
in interface LabelLeAssertion
public boolean isCanonical()
isCanonical
in interface polyglot.types.TypeObject
public java.lang.String toString()
toString
in class java.lang.Object
public polyglot.ast.Expr toJava(JifToJavaRewriter rw) throws polyglot.types.SemanticException
toJava
in interface LabelLeAssertion
polyglot.types.SemanticException