public interface LabelLeAssertionNode extends ConstraintNode<LabelLeAssertion>
Modifier and Type | Method and Description |
---|---|
LabelNode |
lhs()
Gets the lhs Label.
|
LabelLeAssertionNode |
lhs(LabelNode lhs)
Returns a copy of this node with the lhs updated.
|
LabelNode |
rhs()
Gets the rhs Label.
|
LabelLeAssertionNode |
rhs(LabelNode rhs)
Returns a copy of this node with the rhs updated.
|
constraints, constraints
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
LabelNode lhs()
LabelLeAssertionNode lhs(LabelNode lhs)
LabelNode rhs()
LabelLeAssertionNode rhs(LabelNode rhs)