de.stups.probkodkod.parser.lexer

Class Lexer.State

java.lang.Object

de.stups.probkodkod.parser.lexer.Lexer.State

Enclosing class:

Lexer

public static class Lexer.State
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static Lexer.State	INITIAL

Method Summary

Methods

Modifier and Type	Method and Description
int	id()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INITIAL

public static final Lexer.State INITIAL

Method Detail

id

public int id()