Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

Class LogicSchemaWithIDsGrammarToSpecVisitor

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarToSpecVisitor<LogicConstraintWithIDSpec>

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithIDsGrammarToSpecVisitor

All Implemented Interfaces:

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<LogicElementSpec>, org.antlr.v4.runtime.tree.ParseTreeVisitor<LogicElementSpec>

public class LogicSchemaWithIDsGrammarToSpecVisitor
extends DatalogGrammarToSpecVisitor<LogicConstraintWithIDSpec>

Field Summary

Fields inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarToSpecVisitor

logicSchemaSpec, queries

Constructor Summary

Constructors

Constructor	Description
LogicSchemaWithIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Summary

Modifier and Type	Method	Description
LogicConstraintWithIDSpec	visitConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ConstraintContext ctx)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarToSpecVisitor

createBody, visitBooleanBuiltInLiteral, visitComparisonBuiltInLiteral, visitConstant, visitCustomBuiltInLiteral, visitDatalogFile, visitDerivationRule, visitNegatedAtom, visitPositiveAtom, visitQuery, visitTerm, visitVariable

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor

visitAtom, visitBody, visitBuiltInLiteral, visitLiteral, visitNumber, visitOperator, visitOrdinaryLiteral, visitPredicate, visitStatement, visitTermsList

Methods inherited from class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Constructor Details

LogicSchemaWithIDsGrammarToSpecVisitor

public LogicSchemaWithIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Details

visitConstraint

public LogicConstraintWithIDSpec visitConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ConstraintContext ctx)

Specified by:

visitConstraint in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<LogicElementSpec>

Overrides:

visitConstraint in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>