public class Sbvr2FolVisitor extends de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
Constructor and Description |
---|
Sbvr2FolVisitor(Model m,
FolConstraint con) |
Modifier and Type | Method and Description |
---|---|
protected FolExpression |
aggregateResult(FolExpression aggregate,
FolExpression nextResult) |
List<SbvrErrorInfo> |
getErrors() |
boolean |
hasErrors() |
Not |
visitAssignmentPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.AssignmentPredicateContext ctx) |
Predicate |
visitAssignmentPredicateInVerbExpression(de.interactive_instruments.antlr.sbvr.SBVRParser.AssignmentPredicateInVerbExpressionContext ctx) |
Quantifier |
visitAtLeast2Quantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtLeast2QuantifierContext ctx) |
Quantifier |
visitAtLeastNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtLeastNQuantifierContext ctx) |
Quantifier |
visitAtMostNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtMostNQuantifierContext ctx) |
Quantifier |
visitAtMostOneQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtMostOneQuantifierContext ctx) |
Predicate |
visitComparisonPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.ComparisonPredicateContext ctx) |
Predicate |
visitConditionInSentenceUsingObligation(de.interactive_instruments.antlr.sbvr.SBVRParser.ConditionInSentenceUsingObligationContext ctx) |
Predicate |
visitConditionInSentenceUsingShall(de.interactive_instruments.antlr.sbvr.SBVRParser.ConditionInSentenceUsingShallContext ctx) |
EqualTo |
visitEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.EqualToContext ctx) |
Quantifier |
visitExactlyNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExactlyNQuantifierContext ctx) |
Quantifier |
visitExactlyOneQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExactlyOneQuantifierContext ctx) |
Quantifier |
visitExistentialQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExistentialQuantifierContext ctx) |
HigherOrEqualTo |
visitHigherOrEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.HigherOrEqualToContext ctx) |
HigherThan |
visitHigherThan(de.interactive_instruments.antlr.sbvr.SBVRParser.HigherThanContext ctx) |
LowerOrEqualTo |
visitLowerOrEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.LowerOrEqualToContext ctx) |
LowerThan |
visitLowerThan(de.interactive_instruments.antlr.sbvr.SBVRParser.LowerThanContext ctx) |
Expression |
visitNameExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.NameExprContext ctx) |
RealLiteral |
visitNumber(de.interactive_instruments.antlr.sbvr.SBVRParser.NumberContext ctx) |
Quantifier |
visitNumericRangeQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.NumericRangeQuantifierContext ctx) |
Predicate |
visitOfTypePredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.OfTypePredicateContext ctx) |
Not |
visitOtherThan(de.interactive_instruments.antlr.sbvr.SBVRParser.OtherThanContext ctx) |
Predicate |
visitPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.PredicateContext ctx) |
Predicate |
visitPrefixedPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.PrefixedPredicateContext ctx) |
Quantification |
visitQuantification(de.interactive_instruments.antlr.sbvr.SBVRParser.QuantificationContext ctx) |
Quantification |
visitQuantificationWithOptionalQuantifierInVerbExpression(de.interactive_instruments.antlr.sbvr.SBVRParser.QuantificationWithOptionalQuantifierInVerbExpressionContext ctx) |
Predicate |
visitRelativeClause(de.interactive_instruments.antlr.sbvr.SBVRParser.RelativeClauseContext ctx) |
Predicate |
visitRelativeClauseExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.RelativeClauseExprContext ctx) |
FolExpression |
visitSentence(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceContext ctx) |
Quantification |
visitSentenceUsingObligation(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceUsingObligationContext ctx) |
Quantification |
visitSentenceUsingShall(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceUsingShallContext ctx) |
Predicate |
visitSinglePredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.SinglePredicateContext ctx) |
Quantifier |
visitUniversalQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.UniversalQuantifierContext ctx) |
Predicate |
visitVerbExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.VerbExprContext ctx) |
visitAndor, visitAndornot, visitAssignmentAndOtherThan, visitMinus, visitModality, visitPlus, visitUnsigned_number
defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal
public Sbvr2FolVisitor(Model m, FolConstraint con)
public Quantification visitSentenceUsingObligation(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceUsingObligationContext ctx) throws SbvrParsingException
visitSentenceUsingObligation
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitSentenceUsingObligation
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Quantification visitSentenceUsingShall(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceUsingShallContext ctx) throws SbvrParsingException
visitSentenceUsingShall
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitSentenceUsingShall
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Predicate visitConditionInSentenceUsingObligation(de.interactive_instruments.antlr.sbvr.SBVRParser.ConditionInSentenceUsingObligationContext ctx) throws SbvrParsingException
visitConditionInSentenceUsingObligation
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitConditionInSentenceUsingObligation
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Predicate visitConditionInSentenceUsingShall(de.interactive_instruments.antlr.sbvr.SBVRParser.ConditionInSentenceUsingShallContext ctx) throws SbvrParsingException
visitConditionInSentenceUsingShall
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitConditionInSentenceUsingShall
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Predicate visitVerbExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.VerbExprContext ctx) throws SbvrParsingException
visitVerbExpr
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitVerbExpr
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Predicate visitAssignmentPredicateInVerbExpression(de.interactive_instruments.antlr.sbvr.SBVRParser.AssignmentPredicateInVerbExpressionContext ctx)
visitAssignmentPredicateInVerbExpression
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAssignmentPredicateInVerbExpression
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitRelativeClauseExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.RelativeClauseExprContext ctx) throws SbvrParsingException
visitRelativeClauseExpr
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitRelativeClauseExpr
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Predicate visitRelativeClause(de.interactive_instruments.antlr.sbvr.SBVRParser.RelativeClauseContext ctx)
visitRelativeClause
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitRelativeClause
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantification visitQuantificationWithOptionalQuantifierInVerbExpression(de.interactive_instruments.antlr.sbvr.SBVRParser.QuantificationWithOptionalQuantifierInVerbExpressionContext ctx)
visitQuantificationWithOptionalQuantifierInVerbExpression
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitQuantificationWithOptionalQuantifierInVerbExpression
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantification visitQuantification(de.interactive_instruments.antlr.sbvr.SBVRParser.QuantificationContext ctx)
visitQuantification
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitQuantification
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public FolExpression visitSentence(de.interactive_instruments.antlr.sbvr.SBVRParser.SentenceContext ctx)
visitSentence
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitSentence
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitUniversalQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.UniversalQuantifierContext ctx)
visitUniversalQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitUniversalQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitExistentialQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExistentialQuantifierContext ctx)
visitExistentialQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitExistentialQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitExactlyOneQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExactlyOneQuantifierContext ctx)
visitExactlyOneQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitExactlyOneQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitExactlyNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.ExactlyNQuantifierContext ctx)
visitExactlyNQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitExactlyNQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitNumericRangeQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.NumericRangeQuantifierContext ctx)
visitNumericRangeQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitNumericRangeQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitAtLeast2Quantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtLeast2QuantifierContext ctx)
visitAtLeast2Quantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAtLeast2Quantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitAtLeastNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtLeastNQuantifierContext ctx)
visitAtLeastNQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAtLeastNQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitAtMostOneQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtMostOneQuantifierContext ctx)
visitAtMostOneQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAtMostOneQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Quantifier visitAtMostNQuantifier(de.interactive_instruments.antlr.sbvr.SBVRParser.AtMostNQuantifierContext ctx)
visitAtMostNQuantifier
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAtMostNQuantifier
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitSinglePredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.SinglePredicateContext ctx)
visitSinglePredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitSinglePredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitPrefixedPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.PrefixedPredicateContext ctx)
visitPrefixedPredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitPrefixedPredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.PredicateContext ctx)
visitPredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitPredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitComparisonPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.ComparisonPredicateContext ctx)
visitComparisonPredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitComparisonPredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public RealLiteral visitNumber(de.interactive_instruments.antlr.sbvr.SBVRParser.NumberContext ctx)
visitNumber
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitNumber
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Expression visitNameExpr(de.interactive_instruments.antlr.sbvr.SBVRParser.NameExprContext ctx)
visitNameExpr
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitNameExpr
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public EqualTo visitEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.EqualToContext ctx)
visitEqualTo
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitEqualTo
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public HigherOrEqualTo visitHigherOrEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.HigherOrEqualToContext ctx)
visitHigherOrEqualTo
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitHigherOrEqualTo
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public HigherThan visitHigherThan(de.interactive_instruments.antlr.sbvr.SBVRParser.HigherThanContext ctx)
visitHigherThan
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitHigherThan
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public LowerOrEqualTo visitLowerOrEqualTo(de.interactive_instruments.antlr.sbvr.SBVRParser.LowerOrEqualToContext ctx)
visitLowerOrEqualTo
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitLowerOrEqualTo
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public LowerThan visitLowerThan(de.interactive_instruments.antlr.sbvr.SBVRParser.LowerThanContext ctx)
visitLowerThan
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitLowerThan
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Not visitOtherThan(de.interactive_instruments.antlr.sbvr.SBVRParser.OtherThanContext ctx)
visitOtherThan
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitOtherThan
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public Predicate visitOfTypePredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.OfTypePredicateContext ctx) throws SbvrParsingException
visitOfTypePredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitOfTypePredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
SbvrParsingException
public Not visitAssignmentPredicate(de.interactive_instruments.antlr.sbvr.SBVRParser.AssignmentPredicateContext ctx)
visitAssignmentPredicate
in interface de.interactive_instruments.antlr.sbvr.SBVRVisitor<FolExpression>
visitAssignmentPredicate
in class de.interactive_instruments.antlr.sbvr.SBVRBaseVisitor<FolExpression>
public List<SbvrErrorInfo> getErrors()
public boolean hasErrors()
protected FolExpression aggregateResult(FolExpression aggregate, FolExpression nextResult)
aggregateResult
in class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<FolExpression>
Copyright © 2017. All rights reserved.