jif.ast
Interface LabelNode

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, ParamNode
All Known Subinterfaces:
AmbDynamicLabelNode, AmbThisLabelNode, AmbVarLabelNode, CanonicalLabelNode, JoinLabelNode, MeetLabelNode
All Known Implementing Classes:
AmbDynamicLabelNode_c, AmbLabelNode_c, AmbThisLabelNode_c, AmbVarLabelNode_c, CanonicalLabelNode_c, JoinLabelNode_c, LabelNode_c, MeetLabelNode_c

public interface LabelNode
extends ParamNode

A placeholder in the AST for a Jif label.


Method Summary
 Label label()
           
 LabelNode label(Label L)
           
 
Methods inherited from interface jif.ast.ParamNode
parameter
 
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

label

Label label()

label

LabelNode label(Label L)