Modifier | Constructor and Description |
---|---|
protected |
ZNameImpl()
The default constructor.
|
protected |
ZNameImpl(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 ZNameImpl (e.g., ic >= sl)
|
ZNameImpl |
create(Object[] args)
Returns a new object of this class.
|
boolean |
equals(Object obj)
Compares the specified object with this ZNameImpl
for equality.
|
Object[] |
getChildren() |
static boolean |
getDebugZName() |
String |
getId()
Returns the Id element.
|
OperatorName |
getOperatorName()
Returns an OperatorName, if this name is an operator name,
null otherwise. |
OperatorName |
getOperatorName(Fixity fixity)
Returns an OperatorName with specific fixity,
if this name is an operator name,
null otherwise. |
StrokeList |
getStrokeList()
Returns the StrokeList element.
|
String |
getWord()
Returns the Word element.
|
ZStrokeList |
getZStrokeList()
This is a convenience method.
|
int |
hashCode()
Returns the hash code value for this ZNameImpl.
|
static long |
instanceCount()
Only concrete classes get the instance count method visible
|
static long |
instancesFinalised() |
static Map<String,Set<String>> |
nameIdPool() |
static void |
setDebugZName(boolean v) |
void |
setId(String id)
Sets the Id element.
|
void |
setStrokeList(StrokeList strokeList)
Sets the StrokeList element.
|
void |
setWord(String word)
Sets the Word element.
|
annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toString
protected ZNameImpl()
object factory
.protected ZNameImpl(BaseFactory factory)
public static boolean countingFinaliser()
public static long instancesFinalised()
public boolean equals(Object obj)
public int hashCode()
public <R> R accept(Visitor<R> v)
public Object[] getChildren()
getChildren
in interface Term
public static long instanceCount()
public void setWord(String word)
ZName
setWord
in interface ZName
word
- the Word element.ZName.getWord()
public StrokeList getStrokeList()
ZName
getStrokeList
in interface ZName
public void setStrokeList(StrokeList strokeList)
ZName
setStrokeList
in interface ZName
strokeList
- the StrokeList element.ZName.getStrokeList()
public void setId(String id)
ZName
setId
in interface ZName
id
- the Id element.ZName.getId()
public OperatorName getOperatorName()
ZName
null
otherwise.getOperatorName
in interface ZName
public OperatorName getOperatorName(Fixity fixity)
ZName
null
otherwise.getOperatorName
in interface ZName
public ZStrokeList getZStrokeList()
getZStrokeList
in interface ZName
public static final void setDebugZName(boolean v)
public static final boolean getDebugZName()
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.