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

Classes

class  Answer_setContext
 
class  ModelContext
 
class  OutputContext
 
class  Predicate_atomContext
 
class  TermContext
 

Public Member Functions

String[] getTokenNames ()
 
Vocabulary getVocabulary ()
 
String getGrammarFileName ()
 
String[] getRuleNames ()
 
String getSerializedATN ()
 
ATN getATN ()
 
 ClingoParser (TokenStream input)
 
final Answer_setContext answer_set () throws RecognitionException
 
final ModelContext model () throws RecognitionException
 
final OutputContext output () throws RecognitionException
 
final Predicate_atomContext predicate_atom () throws RecognitionException
 
final TermContext term () throws RecognitionException
 

Static Public Attributes

static final int START =1
 
static final int RULE_answer_set = 0
 
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 ClingoParser.java.

Member Data Documentation

◆ _ATN

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

Definition at line 389 of file ClingoParser.java.

◆ _serializedATN

final String it.unical.mat.parsers.asp.clingo.ClingoParser._serializedATN
static
Initial value:
=
"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\3\f\62\4\2\t\2\4\3"+
"\t\3\4\4\t\4\4\5\t\5\4\6\t\6\3\2\3\2\3\2\3\3\7\3\21\n\3\f\3\16\3\24\13"+
"\3\3\3\3\3\3\4\7\4\31\n\4\f\4\16\4\34\13\4\3\5\3\5\3\5\3\5\3\5\7\5#\n"+
"\5\f\5\16\5&\13\5\3\5\3\5\5\5*\n\5\3\6\3\6\3\6\3\6\5\6\60\n\6\3\6\2\2"+
"\7\2\4\6\b\n\2\2\2\63\2\f\3\2\2\2\4\22\3\2\2\2\6\32\3\2\2\2\b\35\3\2\2"+
"\2\n/\3\2\2\2\f\r\7\3\2\2\r\16\5\4\3\2\16\3\3\2\2\2\17\21\5\b\5\2\20\17"+
"\3\2\2\2\21\24\3\2\2\2\22\20\3\2\2\2\22\23\3\2\2\2\23\25\3\2\2\2\24\22"+
"\3\2\2\2\25\26\7\7\2\2\26\5\3\2\2\2\27\31\5\2\2\2\30\27\3\2\2\2\31\34"+
"\3\2\2\2\32\30\3\2\2\2\32\33\3\2\2\2\33\7\3\2\2\2\34\32\3\2\2\2\35)\7"+
"\b\2\2\36\37\7\n\2\2\37$\5\n\6\2 !\7\5\2\2!#\5\n\6\2\" \3\2\2\2#&\3\2"+
"\2\2$\"\3\2\2\2$%\3\2\2\2%\'\3\2\2\2&$\3\2\2\2\'(\7\13\2\2(*\3\2\2\2)"+
"\36\3\2\2\2)*\3\2\2\2*\t\3\2\2\2+\60\7\b\2\2,\60\7\6\2\2-\60\5\b\5\2."+
"\60\7\t\2\2/+\3\2\2\2/,\3\2\2\2/-\3\2\2\2/.\3\2\2\2\60\13\3\2\2\2\7\22"+
"\32$)/"

Definition at line 374 of file ClingoParser.java.

◆ _sharedContextCache

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

Definition at line 17 of file ClingoParser.java.

◆ ruleNames

final String [] it.unical.mat.parsers.asp.clingo.ClingoParser.ruleNames
static
Initial value:
= {
"answer_set", "model", "output", "predicate_atom", "term"
}

Definition at line 25 of file ClingoParser.java.

◆ tokenNames

final String [] it.unical.mat.parsers.asp.clingo.ClingoParser.tokenNames
static

Definition at line 42 of file ClingoParser.java.


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