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

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

public class LogicSchemaWithoutIDsGrammarToSpecVisitor
extends LogicSchemaGrammarToSpecVisitor<LogicConstraintWithoutIDSpec>

Field Summary

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

logicSchemaSpec

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

LogicSchemaWithoutIDsGrammarToSpecVisitor

public LogicSchemaWithoutIDsGrammarToSpecVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Method Details

visitConstraint

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