net.sourceforge.czt.circus.impl

Class StateUpdateImpl

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.PredImpl

net.sourceforge.czt.z.impl.QntPredImpl

net.sourceforge.czt.circus.impl.StateUpdateImpl

All Implemented Interfaces:

Term, StateUpdate, Pred, QntPred

public class StateUpdateImpl
extends QntPredImpl
implements StateUpdate

An implementation of the interface StateUpdate.

Author:

GnAST version 1.6-SNAPSHOT

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StateUpdateImpl() The default constructor.
protected	StateUpdateImpl(BaseFactory factory)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> v) Accepts a visitor.
static boolean	countingFinaliser() public attribute determining whether to log to the standard output information about who is creating this instance of StateUpdateImpl (e.g., ic >= sl)
StateUpdateImpl	create(Object[] args) Returns a new object of this class.
boolean	equals(Object obj) Compares the specified object with this StateUpdateImpl for equality.
ListTerm<AssignmentPairs>	getAssignmentPairs() Returns the AssignmentPairs elements.
Object[]	getChildren()
int	hashCode() Returns the hash code value for this StateUpdateImpl.
static long	instanceCount() Only concrete classes get the instance count method visible
static long	instancesFinalised()

Methods inherited from class net.sourceforge.czt.z.impl.QntPredImpl

getPred, getSchText, getZSchText, setPred, setSchText

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sourceforge.czt.z.ast.QntPred

getPred, getSchText, getZSchText, setPred, setSchText

Methods inherited from interface net.sourceforge.czt.base.ast.Term

annsSize, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

StateUpdateImpl

protected StateUpdateImpl()

The default constructor. Do not use it explicitly, unless you are extending this class. If you want to create an instance of this class, please use the object factory.

StateUpdateImpl

protected StateUpdateImpl(BaseFactory factory)

Method Detail

countingFinaliser

public static boolean countingFinaliser()

public attribute determining whether to log to the standard output information about who is creating this instance of StateUpdateImpl (e.g., ic >= sl)

instancesFinalised

public static long instancesFinalised()

equals

public boolean equals(Object obj)

Compares the specified object with this StateUpdateImpl for equality. Returns true if and only if the specified object is also a(n) StateUpdateImpl and all the getter methods except getAnns return equal objects.

Overrides:

equals in class QntPredImpl

hashCode

public int hashCode()

Returns the hash code value for this StateUpdateImpl.

Overrides:

hashCode in class QntPredImpl

accept

public <R> R accept(Visitor<R> v)

Accepts a visitor.

Specified by:

accept in interface Term

Overrides:

accept in class QntPredImpl

create

public StateUpdateImpl create(Object[] args)

Returns a new object of this class.

Specified by:

create in interface Term

getChildren

public Object[] getChildren()

Specified by:

getChildren in interface Term

instanceCount

public static long instanceCount()

Only concrete classes get the instance count method visible

getAssignmentPairs

public ListTerm<AssignmentPairs> getAssignmentPairs()

Description copied from interface: StateUpdate

Returns the AssignmentPairs elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Specified by:

getAssignmentPairs in interface StateUpdate

Returns:

a list of AssignmentPairs elements.