EmbASP-Java
Public Member Functions | List of all members
it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T > Interface Template Reference
Inheritance diagram for it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >:
it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >

Public Member Functions

visitAnswer_set (ClingoParser.Answer_setContext ctx)
 
visitModel (ClingoParser.ModelContext ctx)
 
visitOutput (ClingoParser.OutputContext ctx)
 
visitPredicate_atom (ClingoParser.Predicate_atomContext ctx)
 
visitTerm (ClingoParser.TermContext ctx)
 

Detailed Description

This interface defines a complete generic visitor for a parse tree produced by ClingoParser.

Parameters
<T>The return type of the visit operation. Use Void for operations with no return type.

Definition at line 12 of file ClingoParserVisitor.java.

Member Function Documentation

◆ visitAnswer_set()

T it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >.visitAnswer_set ( ClingoParser.Answer_setContext  ctx)

Visit a parse tree produced by ClingoParser#answer_set.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >.

◆ visitModel()

T it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >.visitModel ( ClingoParser.ModelContext  ctx)

Visit a parse tree produced by ClingoParser#model.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >.

◆ visitOutput()

T it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >.visitOutput ( ClingoParser.OutputContext  ctx)

Visit a parse tree produced by ClingoParser#output.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >.

◆ visitPredicate_atom()

T it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >.visitPredicate_atom ( ClingoParser.Predicate_atomContext  ctx)

Visit a parse tree produced by ClingoParser#predicate_atom.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >.

◆ visitTerm()

T it.unical.mat.parsers.asp.clingo.ClingoParserVisitor< T >.visitTerm ( ClingoParser.TermContext  ctx)

Visit a parse tree produced by ClingoParser#term.

Parameters
ctxthe parse tree
Returns
the visitor result

Implemented in it.unical.mat.parsers.asp.clingo.ClingoParserBaseVisitor< T >.


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