Package | Description |
---|---|
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
Modifier and Type | Method and Description |
---|---|
static JmlLexer |
JmlFacade.createLexer(org.antlr.v4.runtime.CharStream stream)
Creates an JML lexer for the give stream.
|
static JmlLexer |
JmlFacade.createLexer(PositionedString ps)
Creates a JML lexer for the given string with position.
|
static JmlLexer |
JmlFacade.createLexer(java.lang.String content)
Creates a JML lexer for a given string.
|
Modifier and Type | Method and Description |
---|---|
static JmlParser |
JmlFacade.createParser(JmlLexer lexer)
Create a JML parser for a given lexer.
|
static void |
DebugJmlLexer.debug(JmlLexer lexer) |
ImmutableList<TextualJMLConstruct> |
JmlIO.parseClassLevel(JmlLexer lexer)
Parses a JML constructs on class level, e.g., invariants and methods contracts, and returns a parse tree.
|
Constructor and Description |
---|
JmlMarkerDecision(JmlLexer lexer)
Initialize this class with default
enabledKeys of "key" . |
Constructor and Description |
---|
DebugJmlLexer(java.io.PrintStream stream,
java.lang.String format,
java.util.Collection<JmlLexer> lexer) |
Copyright © 2003-2019 The KeY-Project.