org.sablecc.sablecc.node
Class ANewTerm

java.lang.Object
  org.sablecc.sablecc.node.Node
      org.sablecc.sablecc.node.PTerm
          org.sablecc.sablecc.node.ANewTerm

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class ANewTerm
extends PTerm

Nested Class Summary

private class

ANewTerm.Params_Cast

Field Summary

private TLPar	_lPar_
private java.util.LinkedList	_params_
private PProdName	_prodName_

Constructor Summary

ANewTerm()

ANewTerm(PProdName _prodName_, TLPar _lPar_, java.util.List _params_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TLPar	getLPar()
java.util.LinkedList	getParams()
PProdName	getProdName()
(package private) void	removeChild(Node child)
(package private) void	replaceChild(Node oldChild, Node newChild)
void	setLPar(TLPar node)
void	setParams(java.util.List list)
void	setProdName(PProdName 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

_prodName_

private PProdName _prodName_

_lPar_

private TLPar _lPar_

_params_

private final java.util.LinkedList _params_

Constructor Detail

ANewTerm

public ANewTerm()

ANewTerm

public ANewTerm(PProdName _prodName_,
                TLPar _lPar_,
                java.util.List _params_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getProdName

public PProdName getProdName()

setProdName

public void setProdName(PProdName node)

getLPar

public TLPar getLPar()

setLPar

public void setLPar(TLPar node)

getParams

public java.util.LinkedList getParams()

setParams

public void setParams(java.util.List list)

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