polyglot.ext.ibex.ast
Class RhsMergeNode_c

java.lang.Object
  extended bypolyglot.ext.jl.ast.Node_c
      extended bypolyglot.ext.jl.ast.Term_c
          extended bypolyglot.ext.ibex.ast.RhsNode_c
              extended bypolyglot.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.


Field Summary
 
Fields inherited from class polyglot.ext.jl.ast.Term_c
reachable
 
Fields inherited from class polyglot.ext.jl.ast.Node_c
del, ext, position
 
Constructor Summary
RhsMergeNode_c(Position pos, java.util.List elements1, java.util.List elements2, Block action)
           
 
Method Summary
 java.util.List allElements()
           
 java.util.List elements1()
           
 RhsMergeNode elements1(java.util.List elements1)
           
 java.util.List elements2()
           
 RhsMergeNode elements2(java.util.List elements2)
           
protected  Node makeRhs(IbexTypeSystem ts)
           
protected  RhsCase makeRhsCase(IbexTypeSystem ts, java.util.List elements)
           
protected  RhsMergeNode_c reconstruct(java.util.List elements1, java.util.List elements2, Block action)
           
 Node visitChildren(NodeVisitor v)
          Visit the children of the node.
 
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.Term_c
listEntry, reachable, reachable
 
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.ext.ibex.ast.RhsNode
action, action, rhs
 
Methods inherited from interface polyglot.ast.Term
acceptCFG, entry, reachable, reachable
 
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
 

Constructor Detail

RhsMergeNode_c

public RhsMergeNode_c(Position pos,
                      java.util.List elements1,
                      java.util.List elements2,
                      Block action)
Method Detail

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)