net.sourceforge.czt.z.ast

Interface Directive

All Superinterfaces:

Term

All Known Implementing Classes:

DirectiveImpl

public interface Directive
extends Term

A latex markup directive. This is used to represent %%Zchar and %%Zword directives used in latex markup (A.2.3). The Command contains the complete latex command, including the leading backslash, whereas Unicode contains the corresponding unicode representation. The attribute is used to distinguish the kind or type of directive, for instance whether it was a %%Zinchar, which corresponds to type "NONE", or %%Zinword in which case the type is "IN".

Note that there is no unique tranlation back to a latex markup directive in latex since there could be several latex strings representing a unicode string. However, if one does want to translate back into latex markup directives, then directives with a single unicode character should be translated into the various %%Z...char commands and all other directives should be translated into %%Z...word commands (after translating each unicode character into a latex command).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
String	getCommand() Returns the Command element.
DirectiveType	getDirectiveType() Returns the DirectiveType element.
String	getUnicode() Returns the Unicode element.
void	setCommand(String command) Sets the Command element.
void	setDirectiveType(DirectiveType directiveType) Sets the DirectiveType element.
void	setUnicode(String unicode) Sets the Unicode element.

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getCommand

String getCommand()

Returns the Command element.

Returns:

the Command element.

setCommand

void setCommand(String command)

Sets the Command element.

Parameters:

command - the Command element.

See Also:

getCommand()

getUnicode

String getUnicode()

Returns the Unicode element.

Returns:

the Unicode element.

setUnicode

void setUnicode(String unicode)

Sets the Unicode element.

Parameters:

unicode - the Unicode element.

See Also:

getUnicode()

getDirectiveType

DirectiveType getDirectiveType()

Returns the DirectiveType element.

Returns:

the DirectiveType element.

setDirectiveType

void setDirectiveType(DirectiveType directiveType)

Sets the DirectiveType element.

Parameters:

directiveType - the DirectiveType element.

See Also:

getDirectiveType()