Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.java.recoderext | |
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
de.uka.ilkd.key.speclang.jml | |
de.uka.ilkd.key.speclang.jml.pretranslation | |
de.uka.ilkd.key.speclang.njml |
This package provides the functionalities of parsing JML comments into KeY constructs.
|
de.uka.ilkd.key.speclang.translation | |
de.uka.ilkd.key.taclettranslation.lemma | |
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
void |
DefaultUserInterfaceControl.reportWarnings(ImmutableSet<PositionedString> warnings)
Report the occurred warnings.
|
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.reportWarnings(ImmutableSet<PositionedString> warnings) |
static void |
IssueDialog.showWarningsIfNecessary(java.awt.Window parent,
ImmutableSet<PositionedString> warnings)
Shows the dialog of a set of (non-critical) parser warnings.
|
Modifier and Type | Method and Description |
---|---|
static ImmutableList<PositionedString> |
JMLTransformer.getWarningsOfLastInstance() |
Modifier and Type | Method and Description |
---|---|
ImmutableSet<PositionedString> |
ProblemInitializer.getWarnings()
Returns the found warnings.
|
ImmutableSet<PositionedString> |
KeYUserProblemFile.read() |
Modifier and Type | Method and Description |
---|---|
ImmutableSet<PositionedString> |
LDTInput.read()
reads all LDTs, i.e., all associated .key files with respect to
the given modification strategy.
|
ImmutableSet<PositionedString> |
KeYFile.read() |
ImmutableSet<PositionedString> |
EnvInput.read()
Reads the input using the given modification strategy, i.e.,
parts of the input do not modify the initial configuration while
others do.
|
Modifier and Type | Method and Description |
---|---|
void |
ProblemLoaderControl.reportWarnings(ImmutableSet<PositionedString> warnings)
Report the occurred warnings.
|
Modifier and Type | Class and Description |
---|---|
class |
PositionedLabeledString
A positionedString with labels, which can then be passed over to the translated term.
|
Modifier and Type | Method and Description |
---|---|
PositionedString |
PositionedString.prepend(java.lang.String text) |
PositionedString |
PositionedString.prependAndUpdatePosition(java.lang.String text) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<PositionedString> |
SpecExtractor.getWarnings()
Returns all warnings generated so far in the translation process.
|
ImmutableSet<PositionedString> |
SLEnvInput.read() |
Modifier and Type | Method and Description |
---|---|
ImmutableList<PositionedString> |
JMLSpecExtractor.getWarnings() |
Modifier and Type | Method and Description |
---|---|
protected void |
TextualJMLConstruct.setPosition(PositionedString ps)
Sets the approximate position of this construct when first called with a valid position.
|
Modifier and Type | Field and Description |
---|---|
java.util.List<PositionedString> |
JmlTermFactory.warnings |
Modifier and Type | Method and Description |
---|---|
java.util.List<PositionedString> |
JmlCheck.check(org.antlr.v4.runtime.ParserRuleContext ctx)
Checks for the given parse tree and returns warnings if necessary.
|
ImmutableList<PositionedString> |
JmlIO.getWarnings()
returns the gathered interpretation warnings, e.g., deprecated constructs.
|
java.util.List<PositionedString> |
JmlTermFactory.getWarnings()
Get non-critical warnings.
|
Modifier and Type | Method and Description |
---|---|
static JmlLexer |
JmlFacade.createLexer(PositionedString ps)
Creates a JML lexer for the given string with position.
|
static org.antlr.v4.runtime.ParserRuleContext |
JmlFacade.parseExpr(PositionedString expr)
Parse the given string as an JML expr.
|
Term |
JmlIO.parseExpression(PositionedString p)
Parse and interpret the given string as an JML expression in the current context.
|
ImmutableList<TextualJMLConstruct> |
JmlIO.parseMethodLevel(PositionedString positionedString)
Parses a JML constructs which occurs inside methods (mostly JML statements) and returns a parse tree.
|
Modifier and Type | Method and Description |
---|---|
PositionedString |
SLExceptionFactory.createPositionedString(java.lang.String text)
Creates a string with the current absolute position information
|
PositionedString |
SLExceptionFactory.createPositionedString(java.lang.String text,
Position pos)
Creates a string with position information from the given relative
position.
|
PositionedString |
SLExceptionFactory.createPositionedString(java.lang.String text,
org.antlr.runtime.Token t)
Creates a string with the position information of the passed token.
|
PositionedString |
SLExceptionFactory.createPositionedString(java.lang.String msg,
org.antlr.v4.runtime.Token t) |
PositionedString |
SLWarningException.getWarning() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PositionedString> |
SLExceptionFactory.getWarnings() |
Constructor and Description |
---|
SLWarningException(PositionedString warning) |
Modifier and Type | Method and Description |
---|---|
ImmutableSet<PositionedString> |
EmptyEnvInput.read() |
Modifier and Type | Method and Description |
---|---|
void |
ConsoleUserInterfaceControl.reportWarnings(ImmutableSet<PositionedString> warnings)
Report the occurred warnings.
|
Copyright © 2003-2019 The KeY-Project.