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

Class LogicSchemaWithoutIDsGrammarToSpecVisitor

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<LogicConstraintWithoutIDSpec>

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

All Implemented Interfaces:

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

public class LogicSchemaWithoutIDsGrammarToSpecVisitor
extends DatalogGrammarToSpecVisitor<LogicConstraintWithoutIDSpec>

Field Summary

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

logicSchemaSpec, queries

Constructor Summary

Constructors

Constructor	Description
LogicSchemaWithoutIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Summary

Modifier and Type	Method	Description
LogicConstraintWithoutIDSpec	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

LogicSchemaWithoutIDsGrammarToSpecVisitor

public LogicSchemaWithoutIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Details

visitConstraint

public LogicConstraintWithoutIDSpec 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>