public class SpecStmtCommandImpl extends CircusCommandImpl implements SpecStmtCommand
SpecStmtCommand.| Modifier | Constructor and Description |
|---|---|
protected |
SpecStmtCommandImpl()
The default constructor.
|
protected |
SpecStmtCommandImpl(BaseFactory factory) |
| 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 SpecStmtCommandImpl (e.g., ic >= sl)
|
SpecStmtCommandImpl |
create(Object[] args)
Returns a new object of this class.
|
boolean |
equals(Object obj)
Compares the specified object with this SpecStmtCommandImpl
for equality.
|
Object[] |
getChildren() |
NameList |
getFrame()
Returns the Frame element.
|
Pred |
getPost() |
Pred |
getPre() |
ListTerm<Pred> |
getPred()
Returns the Pred elements.
|
ZNameList |
getZFrame()
This is a convenience method.
|
int |
hashCode()
Returns the hash code value for this SpecStmtCommandImpl.
|
static long |
instanceCount()
Only concrete classes get the instance count method visible
|
static long |
instancesFinalised() |
void |
setFrame(NameList frame)
Sets the Frame element.
|
void |
setPost(Pred pred) |
void |
setPre(Pred pred) |
annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toStringprotected SpecStmtCommandImpl()
object factory.protected SpecStmtCommandImpl(BaseFactory factory)
public static boolean countingFinaliser()
public static long instancesFinalised()
public boolean equals(Object obj)
equals in class CircusCommandImplpublic int hashCode()
hashCode in class CircusCommandImplpublic <R> R accept(Visitor<R> v)
accept in interface Termaccept in class CircusCommandImplpublic SpecStmtCommandImpl create(Object[] args)
public Object[] getChildren()
getChildren in interface Termpublic static long instanceCount()
public NameList getFrame()
SpecStmtCommandgetFrame in interface SpecStmtCommandpublic void setFrame(NameList frame)
SpecStmtCommandsetFrame in interface SpecStmtCommandframe - the Frame element.SpecStmtCommand.getFrame()public ListTerm<Pred> getPred()
SpecStmtCommandReturns the Pred 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).
getPred in interface SpecStmtCommandpublic ZNameList getZFrame()
SpecStmtCommandgetZFrame in interface SpecStmtCommandpublic Pred getPre()
getPre in interface SpecStmtCommandpublic void setPre(Pred pred)
setPre in interface SpecStmtCommandpublic Pred getPost()
getPost in interface SpecStmtCommandpublic void setPost(Pred pred)
setPost in interface SpecStmtCommandCopyright © 2003–2016 Community Z Tools Project. All rights reserved.