EmbASP-CSharp v7.1.0
Public Member Functions | Static Public Member Functions | List of all members
it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation:
ClingoParserBaseVisitor< object >

Public Member Functions

override object VisitAnswer_set (ClingoParser.Answer_setContext context)
 Visit a parse tree produced by ClingoParser.answer_set. More...
 
override object VisitModel (ClingoParser.ModelContext context)
 Visit a parse tree produced by ClingoParser.model. More...
 
override object VisitPredicate_atom (ClingoParser.Predicate_atomContext context)
 Visit a parse tree produced by ClingoParser.predicate_atom. More...
 
- Public Member Functions inherited from ClingoParserBaseVisitor< object >
virtual Result VisitOutput ([NotNull] ClingoParser.OutputContext context)
 Visit a parse tree produced by ClingoParser.output. More...
 
virtual Result VisitTerm ([NotNull] ClingoParser.TermContext context)
 Visit a parse tree produced by ClingoParser.term. More...
 

Static Public Member Functions

static void Parse (IASPDataCollection answerSets, string atomsList, bool two_stageParsing)
 

Member Function Documentation

◆ Parse()

static void it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.Parse ( IASPDataCollection  answerSets,
string  atomsList,
bool  two_stageParsing 
)
inlinestatic

◆ VisitAnswer_set()

override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitAnswer_set ( ClingoParser.Answer_setContext  context)
inlinevirtual

Visit a parse tree produced by ClingoParser.answer_set.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from ClingoParserBaseVisitor< object >.

◆ VisitModel()

override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitModel ( ClingoParser.ModelContext  context)
inlinevirtual

Visit a parse tree produced by ClingoParser.model.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from ClingoParserBaseVisitor< object >.

◆ VisitPredicate_atom()

override object it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.VisitPredicate_atom ( ClingoParser.Predicate_atomContext  context)
inlinevirtual

Visit a parse tree produced by ClingoParser.predicate_atom.

The default implementation returns the result of calling AbstractParseTreeVisitor<Result>.VisitChildren(IRuleNode) on context .

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Reimplemented from ClingoParserBaseVisitor< object >.


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