CodeToken

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.extex.scanner.type.token
Interface CodeToken

All Superinterfaces:: java.io.Serializable, Token

All Known Implementing Classes:: ActiveCharacterToken, ControlSequenceToken

public interface CodeToken
extends Token
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