de.rwth.i2.attestor.generated.node

Class AReleaseLtlform

java.lang.Object

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

de.rwth.i2.attestor.generated.node.PLtlform

de.rwth.i2.attestor.generated.node.AReleaseLtlform

All Implemented Interfaces:

Switchable, Cloneable

public final class AReleaseLtlform
extends PLtlform

Constructor Summary

Constructors

Constructor and Description
AReleaseLtlform()
AReleaseLtlform(TLparen _lparen_, PLtlform _leftform_, TRelease _release_, PLtlform _rightform_, TRparen _rparen_)

Method Summary

Modifier and Type	Method and Description
void	apply(Switch sw)
Object	clone()
PLtlform	getLeftform()
TLparen	getLparen()
TRelease	getRelease()
PLtlform	getRightform()
TRparen	getRparen()
void	setLeftform(PLtlform node)
void	setLparen(TLparen node)
void	setRelease(TRelease node)
void	setRightform(PLtlform node)
void	setRparen(TRparen node)
String	toString()

Methods inherited from class de.rwth.i2.attestor.generated.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AReleaseLtlform

public AReleaseLtlform()

AReleaseLtlform

public AReleaseLtlform(TLparen _lparen_,
                       PLtlform _leftform_,
                       TRelease _release_,
                       PLtlform _rightform_,
                       TRparen _rparen_)

Method Detail

clone

public Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getLparen

public TLparen getLparen()

setLparen

public void setLparen(TLparen node)

getLeftform

public PLtlform getLeftform()

setLeftform

public void setLeftform(PLtlform node)

getRelease

public TRelease getRelease()

setRelease

public void setRelease(TRelease node)

getRightform

public PLtlform getRightform()

setRightform

public void setRightform(PLtlform node)

getRparen

public TRparen getRparen()

setRparen

public void setRparen(TRparen node)

toString

public String toString()

Overrides:

toString in class Object