polyglot.ext.ibex.ast
Class RhsCaseNode_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.RhsCaseNode_c
All Implemented Interfaces:
java.lang.Cloneable, Copy, JL, Node, NodeOps, RhsCaseNode, RhsNode, Term

public class RhsCaseNode_c
extends RhsNode_c
implements RhsCaseNode

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
RhsCaseNode_c(Position pos, java.util.List elements, Block action)
           
 
Method Summary
 java.util.List allElements()
           
 java.util.List elements()
           
 RhsCaseNode elements(java.util.List elements)
           
protected  Node makeRhs(IbexTypeSystem ts)
           
protected  RhsCaseNode_c reconstruct(java.util.List elements, 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

RhsCaseNode_c

public RhsCaseNode_c(Position pos,
                     java.util.List elements,
                     Block action)
Method Detail

allElements

public java.util.List allElements()
Specified by:
allElements in interface RhsNode

elements

public java.util.List elements()
Specified by:
elements in interface RhsCaseNode

elements

public RhsCaseNode elements(java.util.List elements)
Specified by:
elements in interface RhsCaseNode

reconstruct

protected RhsCaseNode_c reconstruct(java.util.List elements,
                                    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