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

Class DependencySchemaGrammarToSpecVisitor

java.lang.Object
org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarToSpecVisitor
All Implemented Interfaces:
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>, org.antlr.v4.runtime.tree.ParseTreeVisitor<LogicElementSpec>
public class DependencySchemaGrammarToSpecVisitor extends edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected DependencySchemaSpec
    dependencySchemaSpec
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    DependencySchemaGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    BodySpec
    visitBody(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.BodyContext ctx)
     
    BuiltInLiteralSpec
    visitBooleanBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.BooleanBuiltInLiteralContext ctx)
     
    BuiltInLiteralSpec
    visitComparisonBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.ComparisonBuiltInLiteralContext ctx)
     
    BuiltInLiteralSpec
    visitCustomBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.CustomBuiltInLiteralContext ctx)
     
    EGDSpec
    visitEgd(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.EgdContext ctx)
     
    BuiltInLiteralSpec
    visitEgd_head(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.Egd_headContext ctx)
     
    OrdinaryLiteralSpec
    visitNegatedAtom(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.NegatedAtomContext ctx)
     
    OrdinaryLiteralSpec
    visitPositiveAtom(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.PositiveAtomContext ctx)
     
    DependencySchemaSpec
    visitProg(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.ProgContext ctx)
     
    TermSpec
    visitTerm(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.TermContext ctx)
     
    TGDSpec
    visitTgd(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.TgdContext ctx)
     
    HeadAtomsSpec
    visitTgd_head(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.Tgd_headContext ctx)
     

    Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor

    visitAtom, visitBuiltInLiteral, visitDependency, visitLine, visitLiteral, visitOperator, 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

    • DependencySchemaGrammarToSpecVisitor

      public DependencySchemaGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

  • Method Details

    • visitProg

      public DependencySchemaSpec visitProg(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.ProgContext ctx)
      Specified by:
      visitProg in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitProg in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitTgd

      public TGDSpec visitTgd(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.TgdContext ctx)
      Specified by:
      visitTgd in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitTgd in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitEgd

      public EGDSpec visitEgd(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.EgdContext ctx)
      Specified by:
      visitEgd in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitEgd in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitTgd_head

      public HeadAtomsSpec visitTgd_head(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.Tgd_headContext ctx)
      Specified by:
      visitTgd_head in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitTgd_head in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitEgd_head

      public BuiltInLiteralSpec visitEgd_head(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.Egd_headContext ctx)
      Specified by:
      visitEgd_head in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitEgd_head in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitBody

      public BodySpec visitBody(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.BodyContext ctx)
      Specified by:
      visitBody in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitBody in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitComparisonBuiltInLiteral

      public BuiltInLiteralSpec visitComparisonBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.ComparisonBuiltInLiteralContext ctx)
      Specified by:
      visitComparisonBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitComparisonBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitBooleanBuiltInLiteral

      public BuiltInLiteralSpec visitBooleanBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.BooleanBuiltInLiteralContext ctx)
      Specified by:
      visitBooleanBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitBooleanBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitCustomBuiltInLiteral

      public BuiltInLiteralSpec visitCustomBuiltInLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.CustomBuiltInLiteralContext ctx)
      Specified by:
      visitCustomBuiltInLiteral in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitCustomBuiltInLiteral in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitPositiveAtom

      public OrdinaryLiteralSpec visitPositiveAtom(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.PositiveAtomContext ctx)
      Specified by:
      visitPositiveAtom in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitPositiveAtom in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitNegatedAtom

      public OrdinaryLiteralSpec visitNegatedAtom(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.NegatedAtomContext ctx)
      Specified by:
      visitNegatedAtom in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitNegatedAtom in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>

    • visitTerm

      public TermSpec visitTerm(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarParser.TermContext ctx)
      Specified by:
      visitTerm in interface edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarVisitor<LogicElementSpec>
      Overrides:
      visitTerm in class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.parser.DependencySchemaGrammarBaseVisitor<LogicElementSpec>