|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.extex.interpreter.primitives.register.hash.HashToks
public class HashToks
A Hash for Tokens.
| Constructor Summary | |
|---|---|
HashToks()
Creates a new object. |
|
HashToks(Context context,
TokenSource source,
Typesetter typesetter)
Creates a new object. |
|
| Method Summary | |
|---|---|
boolean |
containsKey(java.lang.String key)
Contains the key |
Tokens |
get(java.lang.String key)
Return the tokens for a key. |
void |
put(java.lang.String key,
Tokens toks)
Put the tokens on the hash with the key. |
int |
size()
Return the size of the hash. |
java.lang.String |
toString()
Return the value as String |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public HashToks()
public HashToks(Context context,
TokenSource source,
Typesetter typesetter)
throws HelpingException,
TypesetterException
TokenSource for a
HashToks (noexpand).
context - the contextsource - the token sourcetypesetter - the typesetter
HelpingException - if an error occurs.
TypesetterException - in case of an error in the typesetter| Method Detail |
|---|
public boolean containsKey(java.lang.String key)
key - the key
true if the key exists, otherwise
falsepublic Tokens get(java.lang.String key)
key - the key
public void put(java.lang.String key,
Tokens toks)
key - the keytoks - the tokenspublic int size()
public java.lang.String toString()
String
toString in class java.lang.ObjectString
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||