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.LogicSchemaGrammarBaseVisitor<LogicElementSpec>

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaGrammarToSpecVisitor<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.LogicSchemaGrammarVisitor<LogicElementSpec>, org.antlr.v4.runtime.tree.ParseTreeVisitor<LogicElementSpec>

public class LogicSchemaWithIDsGrammarToSpecVisitor
extends LogicSchemaGrammarToSpecVisitor<LogicConstraintWithIDSpec>

Field Summary

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

logicSchemaSpec

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.LogicSchemaGrammarParser.ConstraintContext ctx)

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

createBody, visitBooleanBuiltInLiteral, visitComparisonBuiltInLiteral, visitCustomBuiltInLiteral, visitDerivationRule, visitNegatedAtom, visitPositiveAtom, visitProg, visitTerm

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

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

Constructor Details

LogicSchemaWithIDsGrammarToSpecVisitor

public LogicSchemaWithIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Details

visitConstraint

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

Specified by:

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

Overrides:

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