Package | Description |
---|---|
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
Modifier and Type | Field and Description |
---|---|
JmlParser.ExpressionContext |
JmlParser.PrimarySuffixArrayContext.from |
JmlParser.ExpressionContext |
JmlParser.Accessible_clauseContext.lhs |
JmlParser.ExpressionContext |
JmlParser.Represents_clauseContext.lhs |
JmlParser.ExpressionContext |
JmlParser.Accessible_clauseContext.mby |
JmlParser.ExpressionContext |
JmlParser.Represents_clauseContext.rhs |
JmlParser.ExpressionContext |
JmlParser.PrimarySuffixArrayContext.to |
Modifier and Type | Method and Description |
---|---|
JmlParser.ExpressionContext |
JmlParser.expression() |
JmlParser.ExpressionContext |
JmlParser.Class_axiomContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Initially_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Class_invariantContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Method_bodyContext.expression() |
JmlParser.ExpressionContext |
JmlParser.History_constraintContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Monitors_for_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Readable_if_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Writable_if_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.In_group_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Maps_into_clauseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Nowarn_pragmaContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Debug_statementContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Set_statementContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Loop_invariantContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Assume_statementContext.expression() |
JmlParser.ExpressionContext |
JmlParser.InitialiserContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Assert_statementContext.expression() |
JmlParser.ExpressionContext |
JmlParser.TermexpressionContext.expression() |
JmlParser.ExpressionContext |
JmlParser.StoreRefExprContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PredicateContext.expression() |
JmlParser.ExpressionContext |
JmlParser.ExpressionEOFContext.expression() |
JmlParser.ExpressionContext |
JmlParser.TransactionUpdatedContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Array_dimensionContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryParenContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryWorksingSpaceContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryLblPosContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryDurationContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryNNEContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryBackupContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryAllFieldsContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimarySpaceContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryElemtypeContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryLblNegContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryInvForContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryTypeOfContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryCreateLocsetSingletonContext.expression() |
JmlParser.ExpressionContext |
JmlParser.PrimaryPermissionContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Fieldarrayaccess_suffixContext.expression() |
JmlParser.ExpressionContext |
JmlParser.SequenceReverseContext.expression() |
JmlParser.ExpressionContext |
JmlParser.OldexpressionContext.expression() |
JmlParser.ExpressionContext |
JmlParser.BeforeexpressionContext.expression() |
JmlParser.ExpressionContext |
JmlParser.Accessible_clauseContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.Represents_clauseContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.Variant_functionContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.ExprListContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.PrimarySuffixArrayContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.ExpressionlistContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.PrimaryStringEqContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.PrimaryReachLocsContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.PrimaryReachContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.SequenceReplaceContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.SequenceFuncsContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.SequenceSubContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.SpecquantifiedexpressionContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.BsumtermContext.expression(int i) |
JmlParser.ExpressionContext |
JmlParser.SeqdeftermContext.expression(int i) |
Modifier and Type | Method and Description |
---|---|
java.util.List<JmlParser.ExpressionContext> |
JmlParser.Accessible_clauseContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.Represents_clauseContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.Variant_functionContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.ExprListContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.PrimarySuffixArrayContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.ExpressionlistContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.PrimaryStringEqContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.PrimaryReachLocsContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.PrimaryReachContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.SequenceReplaceContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.SequenceFuncsContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.SequenceSubContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.SpecquantifiedexpressionContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.BsumtermContext.expression() |
java.util.List<JmlParser.ExpressionContext> |
JmlParser.SeqdeftermContext.expression() |
Modifier and Type | Method and Description |
---|---|
void |
JmlParserListener.enterExpression(JmlParser.ExpressionContext ctx)
Enter a parse tree produced by
JmlParser.expression() . |
void |
JmlParserBaseListener.enterExpression(JmlParser.ExpressionContext ctx)
Enter a parse tree produced by
JmlParser.expression() . |
void |
JmlParserListener.exitExpression(JmlParser.ExpressionContext ctx)
Exit a parse tree produced by
JmlParser.expression() . |
void |
JmlParserBaseListener.exitExpression(JmlParser.ExpressionContext ctx)
Exit a parse tree produced by
JmlParser.expression() . |
T |
JmlParserVisitor.visitExpression(JmlParser.ExpressionContext ctx)
Visit a parse tree produced by
JmlParser.expression() . |
T |
JmlParserBaseVisitor.visitExpression(JmlParser.ExpressionContext ctx)
Visit a parse tree produced by
JmlParser.expression() . |
Copyright © 2003-2019 The KeY-Project.