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.util.rifl |
RIFL is short for "Requirements for Information Flow Language",
a tool-indepentent specification language developed in the RS3 project.
|
Modifier and Type | Method and Description |
---|---|
KeYRecoderExcHandler |
KeYProgModelInfo.getExceptionHandler() |
Constructor and Description |
---|
KeYProgModelInfo(Services services,
TypeConverter typeConverter,
KeYRecoderExcHandler keh) |
Constructor and Description |
---|
KeYCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh) |
ProofCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh) |
SchemaCrossReferenceServiceConfiguration(KeYRecoderExcHandler keh) |
Modifier and Type | Class and Description |
---|---|
class |
SimpleRIFLExceptionHandler
Simple exception handler which just writes to standard output.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
RIFLTransformer.transform(java.io.File riflFilename,
java.io.File javaSource,
java.io.File savePath,
KeYRecoderExcHandler kexh)
Transforms plain Java files + RIFL specification to Java+JML* specifications.
|
static boolean |
RIFLTransformer.transform(java.io.File riflFilename,
java.io.File javaSource,
KeYRecoderExcHandler kexh) |
Copyright © 2003-2019 The KeY-Project.