EmbASP-Java v7.1.0
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.datalog.DatalogParser Class Reference
Inheritance diagram for it.unical.mat.parsers.datalog.DatalogParser:
it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarBaseVisitor< T > it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarVisitor< T >

Public Member Functions

Void visitTerm (DatalogGrammarParser.TermContext ctx)
 
- Public Member Functions inherited from it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarBaseVisitor< T >
visitOutput (DatalogGrammarParser.OutputContext ctx)
 
visitPredicate_atom (DatalogGrammarParser.Predicate_atomContext ctx)
 

Static Public Member Functions

static String[] parseParametersFromAtom (final String atom)
 

Member Function Documentation

◆ parseParametersFromAtom()

static String [] it.unical.mat.parsers.datalog.DatalogParser.parseParametersFromAtom ( final String  atom)
inlinestatic

◆ visitTerm()

Void it.unical.mat.parsers.datalog.DatalogParser.visitTerm ( DatalogGrammarParser.TermContext  ctx)
inline

Visit a parse tree produced by DatalogGrammarParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result
The default implementation returns the result of calling visitChildren on

ctx

.

The default implementation returns the result of calling visitChildren on

ctx

.

Reimplemented from it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarBaseVisitor< T >.


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