| Modifier | Constructor and Description |
|---|---|
protected |
ZSchTextImpl()
The default constructor.
|
protected |
ZSchTextImpl(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 ZSchTextImpl (e.g., ic >= sl)
|
ZSchTextImpl |
create(Object[] args)
Returns a new object of this class.
|
boolean |
equals(Object obj)
Compares the specified object with this ZSchTextImpl
for equality.
|
Object[] |
getChildren() |
DeclList |
getDeclList()
Returns the DeclList element.
|
Pred |
getPred()
Returns the Pred element.
|
ZDeclList |
getZDeclList()
This is a convenience method.
|
int |
hashCode()
Returns the hash code value for this ZSchTextImpl.
|
static long |
instanceCount()
Only concrete classes get the instance count method visible
|
static long |
instancesFinalised() |
void |
setDeclList(DeclList declList)
Sets the DeclList element.
|
void |
setPred(Pred pred)
Sets the Pred element.
|
annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toStringprotected ZSchTextImpl()
object factory.protected ZSchTextImpl(BaseFactory factory)
public static boolean countingFinaliser()
public static long instancesFinalised()
public boolean equals(Object obj)
equals in class SchTextImplpublic int hashCode()
hashCode in class SchTextImplpublic <R> R accept(Visitor<R> v)
accept in interface Termaccept in class SchTextImplpublic ZSchTextImpl create(Object[] args)
public Object[] getChildren()
getChildren in interface Termpublic static long instanceCount()
public DeclList getDeclList()
ZSchTextgetDeclList in interface ZSchTextpublic void setDeclList(DeclList declList)
ZSchTextsetDeclList in interface ZSchTextdeclList - the DeclList element.ZSchText.getDeclList()public ZDeclList getZDeclList()
getZDeclList in interface ZSchTextpublic void setPred(Pred pred)
ZSchTextsetPred in interface ZSchTextpred - the Pred element.ZSchText.getPred()Copyright © 2003–2016 Community Z Tools Project. All rights reserved.