Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.recoderext | |
de.uka.ilkd.key.parser.schemajava |
Modifier and Type | Method and Description |
---|---|
SchemaVariable |
SchemaRecoder2KeYConverter.convert(ProgramVariableSVWrapper svw) |
Modifier and Type | Method and Description |
---|---|
ProgramVariableSVWrapper |
SchemaJavaProgramFactory.getProgramVariableSV(java.lang.String s) |
ProgramVariableSVWrapper |
RMethodBodyStatement.getResultVar() |
ProgramVariableSVWrapper |
RMethodCallStatement.getVariableSV() |
Modifier and Type | Method and Description |
---|---|
RMethodBodyStatement |
SchemaJavaProgramFactory.createRMethodBodyStatement(TypeReference typeRef,
ProgramVariableSVWrapper resVar,
MethodReference mr) |
RMethodCallStatement |
SchemaJavaProgramFactory.createRMethodCallStatement(ProgramVariableSVWrapper resVar,
ExecutionContext esvw,
Statement st) |
void |
RMethodCallStatement.setVariableSV(ProgramVariableSVWrapper sv)
schemavariable needed by the metaconstruct (needed by method-call)
|
Constructor and Description |
---|
ProgramVariableSVWrapper(ProgramVariableSVWrapper proto) |
RMethodBodyStatement(TypeReference typeRef,
ProgramVariableSVWrapper resVar,
MethodReference mr) |
RMethodBodyStatement(TypeReference typeRef,
ProgramVariableSVWrapper resVar,
ReferencePrefix prefix,
Identifier methodName,
ASTList<Expression> arguments) |
RMethodCallStatement(ProgramVariableSVWrapper resultVar,
ExecutionContext ecsvw,
Statement body)
Labeled statement.
|
Modifier and Type | Method and Description |
---|---|
static ProgramVariableSVWrapper |
SchemaJavaParser.VariableSV() |
Copyright © 2003-2019 The KeY-Project.