LatexSym (CZT Parser Z 1.6-SNAPSHOT API)

java.lang.Object
- java.lang.Enum<LatexSym>
- - net.sourceforge.czt.parser.util.LatexSym

All Implemented Interfaces:

Serializable, Comparable<LatexSym>, Token
```
public enum LatexSym
extends Enum<LatexSym>
implements Token
```
Symbols used by the latex to unicode scanner.

Author:

Petra Malik

Enum Constant Summary

Enum Constants
Enum Constant and Description
`CHAR_MARKUP` A complete %%Zchar directive.
`END` The end of a section header or Z paragraph.
`END_MARKUP` The end of a markup directive.
`INWORD_MARKUP` A %%Zinword directive.
`NAME` The name of a latex command defined in a directive.
`PARENTS` The parents keyword.
`POSTWORD_MARKUP` A %%Zpostword directive.
`PREWORD_MARKUP` A %%Zpreword directive.
`PROOFWORD` Part of a (Z/EVES) proof keyword
`SECT` The begin of a section header.
`SECTION` The section keyword.
`TEXT` Narrative text.
`UNICODE` Just a Z unicode string.
`WORD_MARKUP` A %%Zword directive.
`ZEVESLABEL` Part of a (Z/EVES) predicate label

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`String`	`getName()`
`NewlineCategory`	`getNewlineCategory()`
`Object`	`getSpelling()`
`String`	`spelling()`
`static LatexSym`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static LatexSym[]`	`values()` Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Enum Constant Detail
  - TEXT
```
public static final LatexSym TEXT
```
    Narrative text.
  - UNICODE
```
public static final LatexSym UNICODE
```
    Just a Z unicode string.
  - CHAR_MARKUP
```
public static final LatexSym CHAR_MARKUP
```
    A complete %%Zchar directive. It goes until the end of the line.
  - INWORD_MARKUP
```
public static final LatexSym INWORD_MARKUP
```
    A %%Zinword directive. It starts a directive command.
  - PREWORD_MARKUP
```
public static final LatexSym PREWORD_MARKUP
```
    A %%Zpreword directive. It starts a directive command.
  - POSTWORD_MARKUP
```
public static final LatexSym POSTWORD_MARKUP
```
    A %%Zpostword directive. It starts a directive command.
  - NAME
```
public static final LatexSym NAME
```
    The name of a latex command defined in a directive.
  - END_MARKUP
```
public static final LatexSym END_MARKUP
```
    The end of a markup directive.
  - WORD_MARKUP
```
public static final LatexSym WORD_MARKUP
```
    A %%Zword directive.
  - SECT
```
public static final LatexSym SECT
```
    The begin of a section header.
  - END
```
public static final LatexSym END
```
    The end of a section header or Z paragraph.
  - SECTION
```
public static final LatexSym SECTION
```
    The section keyword.
  - PARENTS
```
public static final LatexSym PARENTS
```
    The parents keyword.
  - PROOFWORD
```
public static final LatexSym PROOFWORD
```
    Part of a (Z/EVES) proof keyword
  - ZEVESLABEL
```
public static final LatexSym ZEVESLABEL
```
    Part of a (Z/EVES) predicate label
- Method Detail
  - values
```
public static LatexSym[] values()
```
    Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
```
for (LatexSym c : LatexSym.values())
    System.out.println(c);
```
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared
  - valueOf
```
public static LatexSym valueOf(String name)
```
    Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
    
    Parameters:
    
    name - the name of the enum constant to be returned.
    
    Returns:
    
    the enum constant with the specified name
    
    Throws:
    
    IllegalArgumentException - if this enum type has no constant with the specified name
    
    NullPointerException - if the argument is null
  - getName
```
public String getName()
```
    Specified by:
    
    getName in interface Token
  - getSpelling
```
public Object getSpelling()
```
    Specified by:
    
    getSpelling in interface Token
  - spelling
```
public String spelling()
```
    Specified by:
    
    spelling in interface Token
  - getNewlineCategory
```
public NewlineCategory getNewlineCategory()
```
    Specified by:
    
    getNewlineCategory in interface Token

Enum LatexSym

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

TEXT

UNICODE

CHAR_MARKUP

INWORD_MARKUP

PREWORD_MARKUP

POSTWORD_MARKUP

NAME

END_MARKUP

WORD_MARKUP

SECT

END

SECTION

PARENTS

PROOFWORD

ZEVESLABEL

Method Detail

values

valueOf

getName

getSpelling

spelling

getNewlineCategory