EmbASP-Java
Public Member Functions | Static Public Attributes | Static Protected Attributes | List of all members
it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer:

Public Member Functions

String[] getTokenNames ()
 
Vocabulary getVocabulary ()
 
 DLVHEXLexer (CharStream input)
 
String getGrammarFileName ()
 
String[] getRuleNames ()
 
String getSerializedATN ()
 
String[] getChannelNames ()
 
String[] getModeNames ()
 
ATN getATN ()
 

Static Public Attributes

static final int HEADER =1
 
static final int IN_GROUND_QUERY =1
 
static String[] channelNames
 
static String[] modeNames
 
static final String[] ruleNames
 
static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES)
 
static final String[] tokenNames
 
static final String _serializedATN
 
static final ATN _ATN
 

Static Protected Attributes

static final DFA[] _decisionToDFA
 
static final PredictionContextCache _sharedContextCache
 

Detailed Description

Definition at line 13 of file DLVHEXLexer.java.

Member Data Documentation

◆ _ATN

final ATN it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer._ATN
static
Initial value:
=
new ATNDeserializer().deserialize(_serializedATN.toCharArray())

Definition at line 166 of file DLVHEXLexer.java.

◆ _sharedContextCache

final PredictionContextCache it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer._sharedContextCache
staticprotected
Initial value:
=
new PredictionContextCache()

Definition at line 17 of file DLVHEXLexer.java.

◆ channelNames

String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer.channelNames
static
Initial value:
= {
"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
}

Definition at line 27 of file DLVHEXLexer.java.

◆ modeNames

String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer.modeNames
static
Initial value:
= {
"DEFAULT_MODE", "IN_GROUND_QUERY"
}

Definition at line 31 of file DLVHEXLexer.java.

◆ ruleNames

final String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer.ruleNames
static
Initial value:
= {
"HEADER", "WHITE_SPACE", "COLON", "COMMA", "COST_BEGIN", "COST_END", "INTEGER",
"LEVEL_BEGIN", "LEVEL_END", "GROUND_QUERY_BEGIN", "ANSWER_SET_BEGIN",
"ANSWER_SET_END", "IDENTIFIER", "STRING_CONSTANT", "TERMS_BEGIN", "TERMS_END",
"REASONING", "DOT", "BOOLEAN", "WHITESPACE_IN_GROUND_QUERY", "WITNESS_LABEL",
"NL", "WS"
}

Definition at line 35 of file DLVHEXLexer.java.

◆ tokenNames

final String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer.tokenNames
static

Definition at line 59 of file DLVHEXLexer.java.


The documentation for this class was generated from the following file: