de.stups.probkodkod.parser.node

Class Node

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

All Implemented Interfaces:

Switchable, java.lang.Cloneable

Direct Known Subclasses:

PAction, PArgument, PBitpart, PDecls, PExprBinop, PExprCast, PExprConst, PExpression, PExprMultop, PExprUnop, PFormula, PInnerexpression, PInnerformula, PInnerintexpression, PIntCompOp, PIntexprBinop, PIntexpression, PList, PLogConst, PLogopBinary, PLogopFunction, PLogopRel, PMultiplicity, PPowpart, PProblem, PQuantifier, PRange, PRelation, PReltype, PReqtype, PRequest, PReset, PStop, PTuple, PTupleset, PType, PZnumber, Start, Token

public abstract class Node
extends PositionedNode
implements Switchable, java.lang.Cloneable

Constructor Summary

Constructors

Constructor and Description
Node()

Method Summary

Methods

Modifier and Type	Method and Description
abstract java.lang.Object	clone()
protected <T extends Node> java.util.List<T>	cloneList(java.util.List<T> list)
protected <T extends Node> T	cloneNode(T node)
Node	parent()
void	replaceBy(Node node)
protected java.lang.String	toString(java.util.List list)
protected java.lang.String	toString(Node node)

Methods inherited from class de.hhu.stups.sablecc.patch.PositionedNode

getEndPos, getStartPos, setEndPos, setStartPos

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.stups.probkodkod.parser.node.Switchable

apply

Constructor Detail

Node

public Node()

Method Detail

clone

public abstract java.lang.Object clone()

Overrides:

clone in class java.lang.Object

parent

public Node parent()

replaceBy

public void replaceBy(Node node)

toString

protected java.lang.String toString(Node node)

toString

protected java.lang.String toString(java.util.List list)

cloneNode

protected <T extends Node> T cloneNode(T node)

cloneList

protected <T extends Node> java.util.List<T> cloneList(java.util.List<T> list)