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, toString
protected ZSchTextImpl()
object factory
.protected ZSchTextImpl(BaseFactory factory)
public static boolean countingFinaliser()
public static long instancesFinalised()
public boolean equals(Object obj)
equals
in class SchTextImpl
public int hashCode()
hashCode
in class SchTextImpl
public <R> R accept(Visitor<R> v)
accept
in interface Term
accept
in class SchTextImpl
public ZSchTextImpl create(Object[] args)
public Object[] getChildren()
getChildren
in interface Term
public static long instanceCount()
public DeclList getDeclList()
ZSchText
getDeclList
in interface ZSchText
public void setDeclList(DeclList declList)
ZSchText
setDeclList
in interface ZSchText
declList
- the DeclList element.ZSchText.getDeclList()
public ZDeclList getZDeclList()
getZDeclList
in interface ZSchText
public void setPred(Pred pred)
ZSchText
setPred
in interface ZSchText
pred
- the Pred element.ZSchText.getPred()
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.