EmbASP-Python v7.1.0
Classes | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser Class Reference
Inheritance diagram for parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser:

Classes

class  OutputContext
 
class  Predicate_atomContext
 
class  TermContext
 

Public Member Functions

def __init__ (self, TokenStream input, TextIO output=sys.stdout)
 
def output (self)
 
def predicate_atom (self)
 
def term (self)
 

Public Attributes

 state
 

Static Public Attributes

string grammarFileName = "DatalogGrammar.g4"
 
 atn = ATNDeserializer().deserialize(serializedATN())
 
list decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
 
 sharedContextCache = PredictionContextCache()
 
list literalNames = [ "<INVALID>", "'('", "','", "')'" ]
 
list symbolicNames
 
int RULE_output = 0
 
int RULE_predicate_atom = 1
 
int RULE_term = 2
 
list ruleNames = [ "output", "predicate_atom", "term" ]
 
 EOF = Token.EOF
 
int T__0 = 1
 
int T__1 = 2
 
int T__2 = 3
 
int IDENTIFIER = 4
 
int INTEGER = 5
 
int STRING = 6
 
int WHITESPACE = 7
 

Constructor & Destructor Documentation

◆ __init__()

def parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.__init__ (   self,
TokenStream  input,
TextIO   output = sys.stdout 
)

Member Function Documentation

◆ output()

def parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.output (   self)

◆ predicate_atom()

def parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.predicate_atom (   self)

◆ term()

def parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.term (   self)

Member Data Documentation

◆ atn

parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.atn = ATNDeserializer().deserialize(serializedATN())
static

◆ decisionsToDFA

list parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
static

◆ EOF

parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.EOF = Token.EOF
static

◆ grammarFileName

string parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.grammarFileName = "DatalogGrammar.g4"
static

◆ IDENTIFIER

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.IDENTIFIER = 4
static

◆ INTEGER

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.INTEGER = 5
static

◆ literalNames

list parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.literalNames = [ "<INVALID>", "'('", "','", "')'" ]
static

◆ RULE_output

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.RULE_output = 0
static

◆ RULE_predicate_atom

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.RULE_predicate_atom = 1
static

◆ RULE_term

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.RULE_term = 2
static

◆ ruleNames

list parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.ruleNames = [ "output", "predicate_atom", "term" ]
static

◆ sharedContextCache

parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.sharedContextCache = PredictionContextCache()
static

◆ state

parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.state

◆ STRING

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.STRING = 6
static

◆ symbolicNames

list parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.symbolicNames
static
Initial value:
= [ "<INVALID>", "<INVALID>", "<INVALID>", "<INVALID>",
"IDENTIFIER", "INTEGER", "STRING", "WHITESPACE" ]

◆ T__0

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.T__0 = 1
static

◆ T__1

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.T__1 = 2
static

◆ T__2

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.T__2 = 3
static

◆ WHITESPACE

int parsers.datalog.datalog_parser_base.DatalogGrammarParser.DatalogGrammarParser.WHITESPACE = 7
static

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