de.rwth.i2.attestor.generated.node

Class Node

java.lang.Object

de.rwth.i2.attestor.generated.node.Node

All Implemented Interfaces:

Switchable, Cloneable

Direct Known Subclasses:

PAtomicprop, PLtlform, PStateform, PTerm, Start, Token

public abstract class Node
extends Object
implements Switchable, Cloneable

Constructor Summary

Constructors

Constructor and Description
Node()

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.i2.attestor.generated.node.Switchable

apply

Constructor Detail

Node

public Node()

Method Detail

clone

public abstract Object clone()

Overrides:

clone in class Object

parent

public Node parent()

replaceBy

public void replaceBy(Node node)

toString

protected String toString(Node node)

toString

protected String toString(List<?> list)

cloneNode

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

cloneList

protected <T extends Node> List<T> cloneList(List<T> list)