jif.ast
Interface LabelLeAssertionNode

All Superinterfaces:

java.lang.Cloneable, ConstraintNode, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps

All Known Implementing Classes:

LabelLeAssertionNode_c

public interface LabelLeAssertionNode
extends ConstraintNode

Method Summary

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.

Methods inherited from interface jif.ast.ConstraintNode

constraints, constraints

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

lhs

LabelNode lhs()

Gets the lhs Label.

lhs

LabelLeAssertionNode lhs(LabelNode lhs)

Returns a copy of this node with the lhs updated.

rhs

LabelNode rhs()

Gets the rhs Label.

rhs

LabelLeAssertionNode rhs(LabelNode rhs)

Returns a copy of this node with the rhs updated.