ZKeyword (CZT Parser Z 1.6-SNAPSHOT API)

java.lang.Object
- java.lang.Enum<ZKeyword>
- - net.sourceforge.czt.parser.z.ZKeyword

All Implemented Interfaces:

Serializable, Comparable<ZKeyword>, Token
```
public enum ZKeyword
extends Enum<ZKeyword>
implements Token
```
In the ISO standard, "function", "generic", "relation", and "section" are in the "BOTH" category, but a new line before one of these is possible if multiple paragraphs are permitted inside in a zed paragraph, so have been moved into the "AFTER" category.

Enum Constant Summary

Enum Constants
Enum Constant and Description
`ALL`
`AND`
`ANDALSO`
`ARG`
`BAR`
`COLON`
`COMMA`
`CONJECTURE`
`CROSS`
`DEFEQUAL`
`DEFFREE`
`DOT`
`ELSE`
`EQUALS`
`EXI`
`EXIONE`
`FALSE`
`FUNCTION`
`GENERIC`
`IF`
`IFF`
`IMP`
`LAMBDA`
`LEFTASSOC`
`LET`
`LISTARG`
`MEM`
`MU`
`NOT`
`OR`
`PARENTS`
`POWER`
`RELATION`
`RIGHTASSOC`
`SECTION`
`SEMICOLON`
`SLASH`
`SPOT`
`THEN`
`THEOREM` A CZT extension that allows named conjectures in Unicode.
`THETA`
`TRUE`
`ZCOMP`
`ZHIDE`
`ZPIPE`
`ZPRE`
`ZPROJ`

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 ZKeyword`	`valueOf(String name)` Returns the enum constant of this type with the specified name.
`static ZKeyword[]`	`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

ELSE
```
public static final ZKeyword ELSE
```

FALSE
```
public static final ZKeyword FALSE
```

FUNCTION
```
public static final ZKeyword FUNCTION
```

GENERIC
```
public static final ZKeyword GENERIC
```

IF
```
public static final ZKeyword IF
```

LEFTASSOC
```
public static final ZKeyword LEFTASSOC
```

LET
```
public static final ZKeyword LET
```

POWER
```
public static final ZKeyword POWER
```

PARENTS
```
public static final ZKeyword PARENTS
```

ZPRE
```
public static final ZKeyword ZPRE
```

RELATION
```
public static final ZKeyword RELATION
```

RIGHTASSOC

public static final ZKeyword RIGHTASSOC

SECTION
```
public static final ZKeyword SECTION
```

THEN
```
public static final ZKeyword THEN
```

THEOREM
```
public static final ZKeyword THEOREM
```
A CZT extension that allows named conjectures in Unicode.

TRUE
```
public static final ZKeyword TRUE
```

COLON
```
public static final ZKeyword COLON
```

DEFEQUAL
```
public static final ZKeyword DEFEQUAL
```

COMMA
```
public static final ZKeyword COMMA
```

DEFFREE
```
public static final ZKeyword DEFFREE
```

BAR
```
public static final ZKeyword BAR
```

ANDALSO
```
public static final ZKeyword ANDALSO
```

ZHIDE
```
public static final ZKeyword ZHIDE
```

SLASH
```
public static final ZKeyword SLASH
```

DOT
```
public static final ZKeyword DOT
```

SEMICOLON
```
public static final ZKeyword SEMICOLON
```

ARG
```
public static final ZKeyword ARG
```

LISTARG
```
public static final ZKeyword LISTARG
```

EQUALS
```
public static final ZKeyword EQUALS
```

CONJECTURE

public static final ZKeyword CONJECTURE

ALL
```
public static final ZKeyword ALL
```

SPOT
```
public static final ZKeyword SPOT
```

EXI
```
public static final ZKeyword EXI
```

EXIONE
```
public static final ZKeyword EXIONE
```

IFF
```
public static final ZKeyword IFF
```

IMP
```
public static final ZKeyword IMP
```

OR
```
public static final ZKeyword OR
```

AND
```
public static final ZKeyword AND
```

NOT
```
public static final ZKeyword NOT
```

MEM
```
public static final ZKeyword MEM
```

ZPROJ
```
public static final ZKeyword ZPROJ
```

CROSS
```
public static final ZKeyword CROSS
```

LAMBDA
```
public static final ZKeyword LAMBDA
```

MU
```
public static final ZKeyword MU
```

THETA
```
public static final ZKeyword THETA
```

ZCOMP
```
public static final ZKeyword ZCOMP
```

ZPIPE
```
public static final ZKeyword ZPIPE
```

Method Detail
- values
```
public static ZKeyword[] 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 (ZKeyword c : ZKeyword.values())
    System.out.println(c);
```
  Returns:
  
  an array containing the constants of this enum type, in the order they are declared
- valueOf
```
public static ZKeyword 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 ZKeyword

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

ELSE

FALSE

FUNCTION

GENERIC

IF

LEFTASSOC

LET

POWER

PARENTS

ZPRE

RELATION

RIGHTASSOC

SECTION

THEN

THEOREM

TRUE

COLON

DEFEQUAL

COMMA

DEFFREE

BAR

ANDALSO

ZHIDE

SLASH

DOT

SEMICOLON

ARG

LISTARG

EQUALS

CONJECTURE

ALL

SPOT

EXI

EXIONE

IFF

IMP

OR

AND

NOT

MEM

ZPROJ

CROSS

LAMBDA

MU

THETA

ZCOMP

ZPIPE

Method Detail

values

valueOf

getName

getSpelling

spelling

getNewlineCategory