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

Class DatalogGrammarToSpecVisitor<T extends LogicConstraintSpec>

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<T>
All Implemented Interfaces:
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<LogicElementSpec>, org.antlr.v4.runtime.tree.ParseTreeVisitor<LogicElementSpec>
Direct Known Subclasses:
LogicSchemaWithIDsGrammarToSpecVisitor, LogicSchemaWithoutIDsGrammarToSpecVisitor
public abstract class DatalogGrammarToSpecVisitor<T extends LogicConstraintSpec> extends edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected LogicSchemaSpec<T>
    logicSchemaSpec
     
    protected Set<QuerySpec>
    queries
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    DatalogGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected BodySpec
    createBody(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.BodyContext ctx)
     
    BuiltInLiteralSpec
    visitBooleanBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.BooleanBuiltInLiteralContext ctx)
     
    BuiltInLiteralSpec
    visitComparisonBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ComparisonBuiltInLiteralContext ctx)
     
    ConstantSpec
    visitConstant(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ConstantContext ctx)
     
    BuiltInLiteralSpec
    visitCustomBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.CustomBuiltInLiteralContext ctx)
     
    DatalogFileSpec<T>
    visitDatalogFile(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.DatalogFileContext ctx)
     
    DerivationRuleSpec
    visitDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.DerivationRuleContext ctx)
     
    OrdinaryLiteralSpec
    visitNegatedAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.NegatedAtomContext ctx)
     
    OrdinaryLiteralSpec
    visitPositiveAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.PositiveAtomContext ctx)
     
    QuerySpec
    visitQuery(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.QueryContext ctx)
     
    TermSpec
    visitTerm(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.TermContext ctx)
     
    VariableSpec
    visitVariable(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.VariableContext ctx)
     

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

    visitAtom, visitBody, visitBuiltInLiteral, visitConstraint, 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

  • Field Details

  • Constructor Details

    • DatalogGrammarToSpecVisitor

      protected DatalogGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

  • Method Details

    • visitDatalogFile

      public DatalogFileSpec<T> visitDatalogFile(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.DatalogFileContext ctx)
      Specified by:
      visitDatalogFile in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitDatalogFile in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitDerivationRule

      public DerivationRuleSpec visitDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.DerivationRuleContext ctx)
      Specified by:
      visitDerivationRule in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitDerivationRule in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitQuery

      public QuerySpec visitQuery(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.QueryContext ctx)
      Specified by:
      visitQuery in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitQuery in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • createBody

      protected BodySpec createBody(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.BodyContext ctx)

    • visitComparisonBuiltInLiteral

      public BuiltInLiteralSpec visitComparisonBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ComparisonBuiltInLiteralContext ctx)
      Specified by:
      visitComparisonBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitComparisonBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitBooleanBuiltInLiteral

      public BuiltInLiteralSpec visitBooleanBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.BooleanBuiltInLiteralContext ctx)
      Specified by:
      visitBooleanBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitBooleanBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitCustomBuiltInLiteral

      public BuiltInLiteralSpec visitCustomBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.CustomBuiltInLiteralContext ctx)
      Specified by:
      visitCustomBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitCustomBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitPositiveAtom

      public OrdinaryLiteralSpec visitPositiveAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.PositiveAtomContext ctx)
      Specified by:
      visitPositiveAtom in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitPositiveAtom in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitNegatedAtom

      public OrdinaryLiteralSpec visitNegatedAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.NegatedAtomContext ctx)
      Specified by:
      visitNegatedAtom in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitNegatedAtom in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitTerm

      public TermSpec visitTerm(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.TermContext ctx)
      Specified by:
      visitTerm in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitTerm in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitConstant

      public ConstantSpec visitConstant(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.ConstantContext ctx)
      Specified by:
      visitConstant in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitConstant in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>

    • visitVariable

      public VariableSpec visitVariable(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParser.VariableContext ctx)
      Specified by:
      visitVariable in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitVariable in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.DatalogGrammarParserBaseVisitor<LogicElementSpec>