EmbASP-CSharp
Public Member Functions | List of all members
ClingoParserBaseVisitor< Result > Class Template Reference

This class provides an empty implementation of IClingoParserVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods. More...

Inheritance diagram for ClingoParserBaseVisitor< Result >:
IClingoParserVisitor< Result >

Public Member Functions

virtual Result VisitAnswer_set ([NotNull] ClingoParser.Answer_setContext context)
 Visit a parse tree produced by ClingoParser.answer_set. More...
 
virtual Result VisitModel ([NotNull] ClingoParser.ModelContext context)
 Visit a parse tree produced by ClingoParser.model. More...
 
virtual Result VisitOutput ([NotNull] ClingoParser.OutputContext context)
 Visit a parse tree produced by ClingoParser.output. More...
 
virtual Result VisitPredicate_atom ([NotNull] ClingoParser.Predicate_atomContext context)
 Visit a parse tree produced by ClingoParser.predicate_atom. More...
 
virtual Result VisitTerm ([NotNull] ClingoParser.TermContext context)
 Visit a parse tree produced by ClingoParser.term. More...
 

Detailed Description

This class provides an empty implementation of IClingoParserVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.

Template Parameters
ResultThe return type of the visit operation.

Definition at line 35 of file ClingoParserBaseVisitor.cs.

Member Function Documentation

◆ VisitAnswer_set()

virtual Result ClingoParserBaseVisitor< Result >.VisitAnswer_set ( [NotNull] 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>

Implements IClingoParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.

Definition at line 45 of file ClingoParserBaseVisitor.cs.

◆ VisitModel()

virtual Result ClingoParserBaseVisitor< Result >.VisitModel ( [NotNull] 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>

Implements IClingoParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.

Definition at line 55 of file ClingoParserBaseVisitor.cs.

◆ VisitOutput()

virtual Result ClingoParserBaseVisitor< Result >.VisitOutput ( [NotNull] ClingoParser.OutputContext  context)
inlinevirtual

Visit a parse tree produced by ClingoParser.output.

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

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IClingoParserVisitor< Result >.

Definition at line 65 of file ClingoParserBaseVisitor.cs.

◆ VisitPredicate_atom()

virtual Result ClingoParserBaseVisitor< Result >.VisitPredicate_atom ( [NotNull] 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>

Implements IClingoParserVisitor< Result >.

Reimplemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitorImplementation.

Definition at line 75 of file ClingoParserBaseVisitor.cs.

◆ VisitTerm()

virtual Result ClingoParserBaseVisitor< Result >.VisitTerm ( [NotNull] ClingoParser.TermContext  context)
inlinevirtual

Visit a parse tree produced by ClingoParser.term.

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

Parameters
contextThe parse tree.

<return>The visitor result.</return>

Implements IClingoParserVisitor< Result >.

Definition at line 85 of file ClingoParserBaseVisitor.cs.


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