polyglot.ext.ibex.ast
Class RhsMergeNode_c
java.lang.Object
polyglot.ext.jl.ast.Node_c
polyglot.ext.jl.ast.Term_c
polyglot.ext.ibex.ast.RhsNode_c
polyglot.ext.ibex.ast.RhsMergeNode_c
- All Implemented Interfaces:
- java.lang.Cloneable, Copy, JL, Node, NodeOps, RhsMergeNode, RhsNode, Term
- public class RhsMergeNode_c
- extends RhsNode_c
- implements RhsMergeNode
Tag interface for elements of a rule RHS.
Methods inherited from class polyglot.ext.ibex.ast.RhsNode_c |
acceptCFG, action, action, buildTypes, disambiguate, disambiguateEnter, enterScope, entry, rewrite, rhs, rhs |
Methods inherited from class polyglot.ext.jl.ast.Node_c |
addDecls, addMembers, addMembersEnter, addMembersOverride, buildTypesEnter, buildTypesOverride, childExpectedType, copy, del, del, disambiguateOverride, dump, enterScope, exceptionCheck, exceptionCheckEnter, exceptionCheckOverride, ext, ext, ext, ext, init, node, position, position, prettyPrint, print, printBlock, printSubStmt, throwTypes, toString, translate, typeCheck, 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 |
addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter |
Methods inherited from interface polyglot.util.Copy |
copy |
RhsMergeNode_c
public RhsMergeNode_c(Position pos,
java.util.List elements1,
java.util.List elements2,
Block action)
allElements
public java.util.List allElements()
- Specified by:
allElements
in interface RhsNode
elements1
public java.util.List elements1()
- Specified by:
elements1
in interface RhsMergeNode
elements1
public RhsMergeNode elements1(java.util.List elements1)
- Specified by:
elements1
in interface RhsMergeNode
elements2
public java.util.List elements2()
- Specified by:
elements2
in interface RhsMergeNode
elements2
public RhsMergeNode elements2(java.util.List elements2)
- Specified by:
elements2
in interface RhsMergeNode
reconstruct
protected RhsMergeNode_c reconstruct(java.util.List elements1,
java.util.List elements2,
Block action)
visitChildren
public Node visitChildren(NodeVisitor v)
- Description copied from interface:
NodeOps
- Visit the children of the node.
- Specified by:
visitChildren
in interface NodeOps
- Specified by:
visitChildren
in class RhsNode_c
makeRhs
protected Node makeRhs(IbexTypeSystem ts)
- Specified by:
makeRhs
in class RhsNode_c
makeRhsCase
protected RhsCase makeRhsCase(IbexTypeSystem ts,
java.util.List elements)