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

Class LogicSchemaGrammarToSpecVisitor<T extends LogicConstraintSpec>

java.lang.Object
org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarBaseVisitor<LogicElementSpec>
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor<T>
All Implemented Interfaces:
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarVisitor<LogicElementSpec>, org.antlr.v4.runtime.tree.ParseTreeVisitor<LogicElementSpec>
Direct Known Subclasses:
LogicSchemaWithIDsGrammarToSpecVisitor, LogicSchemaWithoutIDsGrammarToSpecVisitor
public abstract class LogicSchemaGrammarToSpecVisitor<T extends LogicConstraintSpec> extends edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarBaseVisitor<LogicElementSpec>

  • Field Summary

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

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    LogicSchemaGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected BodySpec
    createBody(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.BodyContext ctx)
     
    BuiltInLiteralSpec
    visitBooleanBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.BooleanBuiltInLiteralContext ctx)
     
    BuiltInLiteralSpec
    visitComparisonBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.ComparisonBuiltInLiteralContext ctx)
     
    BuiltInLiteralSpec
    visitCustomBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.CustomBuiltInLiteralContext ctx)
     
    DerivationRuleSpec
    visitDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.DerivationRuleContext ctx)
     
    OrdinaryLiteralSpec
    visitNegatedAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.NegatedAtomContext ctx)
     
    OrdinaryLiteralSpec
    visitPositiveAtom(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.PositiveAtomContext ctx)
     
    LogicSchemaSpec<T>
    visitProg(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.ProgContext ctx)
     
    TermSpec
    visitTerm(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.TermContext ctx)
     

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

    visitAtom, visitBody, visitBuiltInLiteral, visitConstraint, visitLine, visitLiteral, visitOrdinaryLiteral, visitPredicate, 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

    • LogicSchemaGrammarToSpecVisitor

      protected LogicSchemaGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

  • Method Details

    • visitProg

      public LogicSchemaSpec<T> visitProg(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarParser.ProgContext ctx)
      Specified by:
      visitProg in interface edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarVisitor<T extends LogicConstraintSpec>
      Overrides:
      visitProg in class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarBaseVisitor<LogicElementSpec>

    • visitDerivationRule

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

    • createBody

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

    • visitComparisonBuiltInLiteral

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

    • visitBooleanBuiltInLiteral

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

    • visitCustomBuiltInLiteral

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

    • visitPositiveAtom

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

    • visitNegatedAtom

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

    • visitTerm

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