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