polyglot.ext.ibex.ast
Class Tagged_c
java.lang.Object
polyglot.ext.jl.ast.Node_c
polyglot.ext.ibex.ast.RhsElement_c
polyglot.ext.ibex.ast.Tagged_c
- All Implemented Interfaces:
- java.lang.Cloneable, Copy, JL, Node, NodeOps, RhsElement, Tagged
- public class Tagged_c
- extends RhsElement_c
- implements Tagged
Node representing a semantic action.
Methods inherited from class polyglot.ext.jl.ast.Node_c |
addMembers, addMembersEnter, addMembersOverride, buildTypes, buildTypesEnter, buildTypesOverride, childExpectedType, copy, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, prettyPrint, print, printBlock, printSubStmt, throwTypes, toString, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface polyglot.ast.Node |
childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList |
Methods inherited from interface polyglot.ast.JL |
init, node |
Methods inherited from interface polyglot.ast.NodeOps |
addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheckEnter |
Methods inherited from interface polyglot.util.Copy |
copy |
Tagged_c
public Tagged_c(Position pos,
java.lang.String tag,
SymbolNode sym)
tag
public java.lang.String tag()
- Specified by:
tag
in interface Tagged
tag
public Tagged tag(java.lang.String tag)
- Specified by:
tag
in interface Tagged
symbol
public SymbolNode symbol()
- Specified by:
symbol
in interface Tagged
symbol
public Tagged symbol(SymbolNode symbol)
- Specified by:
symbol
in interface Tagged
addDecls
public void addDecls(Context c)
- Description copied from interface:
NodeOps
- Add any declarations to the context that should be in scope when
visiting later sibling nodes.
- Specified by:
addDecls
in interface NodeOps
- Overrides:
addDecls
in class Node_c
reconstruct
protected Tagged_c reconstruct(SymbolNode sym)
visitChildren
public Node visitChildren(NodeVisitor v)
- Description copied from interface:
NodeOps
- Visit the children of the node.
- Specified by:
visitChildren
in interface NodeOps
- Overrides:
visitChildren
in class Node_c
typeCheck
public Node typeCheck(TypeChecker tc)
throws SemanticException
- Description copied from interface:
NodeOps
- Type check the AST.
This method is called by the
leave()
method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this
or a new copy of the node which will be
installed as a child of the node's parent.
- Specified by:
typeCheck
in interface NodeOps
- Overrides:
typeCheck
in class Node_c
- Throws:
SemanticException
symbolInstance
public Symbol symbolInstance()
- Specified by:
symbolInstance
in interface RhsElement
rewrite
public Node rewrite(Rewriter rw)
- Overrides:
rewrite
in class RhsElement_c