org.sablecc.sablecc.node
Class AProductionSpecifier

java.lang.Object
  extended by org.sablecc.sablecc.node.Node
      extended by org.sablecc.sablecc.node.PSpecifier
          extended by org.sablecc.sablecc.node.AProductionSpecifier
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class AProductionSpecifier
extends PSpecifier


Field Summary
private  TDot _dot_
           
private  TProductionSpecifier _productionSpecifier_
           
 
Constructor Summary
AProductionSpecifier()
           
AProductionSpecifier(TProductionSpecifier _productionSpecifier_, TDot _dot_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TDot getDot()
           
 TProductionSpecifier getProductionSpecifier()
           
(package private)  void removeChild(Node child)
           
(package private)  void replaceChild(Node oldChild, Node newChild)
           
 void setDot(TDot node)
           
 void setProductionSpecifier(TProductionSpecifier node)
           
 java.lang.String toString()
           
 
Methods inherited from class org.sablecc.sablecc.node.Node
cloneList, cloneNode, parent, parent, replaceBy, toString, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

_productionSpecifier_

private TProductionSpecifier _productionSpecifier_

_dot_

private TDot _dot_
Constructor Detail

AProductionSpecifier

public AProductionSpecifier()

AProductionSpecifier

public AProductionSpecifier(TProductionSpecifier _productionSpecifier_,
                            TDot _dot_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getProductionSpecifier

public TProductionSpecifier getProductionSpecifier()

setProductionSpecifier

public void setProductionSpecifier(TProductionSpecifier node)

getDot

public TDot getDot()

setDot

public void setDot(TDot node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

removeChild

void removeChild(Node child)
Specified by:
removeChild in class Node

replaceChild

void replaceChild(Node oldChild,
                  Node newChild)
Specified by:
replaceChild in class Node