org.sablecc.sablecc.node
Class AProductionSpecifier

java.lang.Object
  org.sablecc.sablecc.node.Node
      org.sablecc.sablecc.node.PSpecifier
          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