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

Public Member Functions

String[] getTokenNames ()
 
Vocabulary getVocabulary ()
 
 DLVLexer (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 DLVLexer.java.

Member Data Documentation

◆ _ATN

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

Definition at line 178 of file DLVLexer.java.

◆ _sharedContextCache

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

Definition at line 17 of file DLVLexer.java.

◆ channelNames

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

Definition at line 27 of file DLVLexer.java.

◆ modeNames

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

Definition at line 31 of file DLVLexer.java.

◆ ruleNames

final String [] it.unical.mat.parsers.asp.dlv.DLVLexer.ruleNames
static
Initial value:
= {
"HEADER", "COLON", "COST_BEGIN", "COST_END", "OPEN_SQUARE_BRACKET", "CLOSE_SQUARE_BRACKET",
"GROUND_QUERY_BEGIN", "MODEL_BEGIN", "MODEL_END", "WEIGHTED_MODEL_LABEL",
"COMMA", "IDENTIFIER", "INTEGER_CONSTANT", "STRING_CONSTANT", "TERMS_BEGIN",
"TERMS_END", "WHITESPACE", "REASONING", "DOT", "BOOLEAN", "WHITESPACE_IN_GROUND_QUERY",
"WITNESS_LABEL", "WS"
}

Definition at line 35 of file DLVLexer.java.

◆ tokenNames

final String [] it.unical.mat.parsers.asp.dlv.DLVLexer.tokenNames
static

Definition at line 61 of file DLVLexer.java.


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