org.extex.scanner.type.token
Interface CodeToken

All Superinterfaces:
java.io.Serializable, Token
All Known Implementing Classes:
ActiveCharacterToken, ControlSequenceToken

public interface CodeToken
extends Token

The code token extends the Token with the ability to retrieve a name space.

Version:
$Revision: 4738 $
Author:
Gerd Neugebauer

Method Summary
 CodeToken cloneInDefaultNamespace()
          Create a new instance of the token where the name space is the default name space and the other attributes are the same as for the current token.
 CodeToken cloneInNamespace(java.lang.String namespace)
          Create a new instance of the token where the name space is the given one and the other attributes are the same as for the current token.
 java.lang.String getName()
          Getter for the name.
 java.lang.String getNamespace()
          Getter for the name space.
 
Methods inherited from interface org.extex.scanner.type.token.Token
eq, eq, eq, equals, getCatcode, getChar, isa, toString, toString, toText, toText, visit
 

Method Detail

cloneInDefaultNamespace

CodeToken cloneInDefaultNamespace()
Create a new instance of the token where the name space is the default name space and the other attributes are the same as for the current token.

Returns:
the new token

cloneInNamespace

CodeToken cloneInNamespace(java.lang.String namespace)
Create a new instance of the token where the name space is the given one and the other attributes are the same as for the current token.

Parameters:
namespace - the name space to use
Returns:
the new token

getName

java.lang.String getName()
Getter for the name. The name is the string representation without the escape character in front.

Returns:
the name of the token

getNamespace

java.lang.String getNamespace()
Getter for the name space.

Returns:
the name space