public class RIFLTransformer
extends java.lang.Object
transform
reads a RIFL file
and Java sources and writes JML* information flow specifications to the
original Java files.
changes (weigl, 2016-08-16): changed interfaces to File. This avoid some crud string operations on filenames
Constructor and Description |
---|
RIFLTransformer() |
Modifier and Type | Method and Description |
---|---|
void |
doTransform(java.io.File riflFilename,
java.io.File source,
java.io.File savePath) |
static java.io.File |
getDefaultSavePath(java.io.File origSourcePath)
Returns the default save path for transformed Java files.
|
java.util.List<java.io.File> |
getProblemFiles() |
static void |
main(java.lang.String[] args)
Entry point for the stand-alone RIFL to JML* tool.
|
static boolean |
transform(java.io.File riflFilename,
java.io.File javaSource) |
static boolean |
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 |
transform(java.io.File riflFilename,
java.io.File javaSource,
KeYRecoderExcHandler kexh) |
public RIFLTransformer() throws javax.xml.parsers.ParserConfigurationException, org.xml.sax.SAXException
javax.xml.parsers.ParserConfigurationException
org.xml.sax.SAXException
public static void main(java.lang.String[] args)
public static boolean transform(java.io.File riflFilename, java.io.File javaSource, java.io.File savePath, KeYRecoderExcHandler kexh)
riflFilename
- path to a RIFL filejavaSource
- path to Java sources (should be a directory)savePath
- custom save pathkexh
- public static boolean transform(java.io.File riflFilename, java.io.File javaSource, KeYRecoderExcHandler kexh)
public static boolean transform(java.io.File riflFilename, java.io.File javaSource)
public static java.io.File getDefaultSavePath(java.io.File origSourcePath)
origSourcePath
- path to a directory or single Java filepublic void doTransform(java.io.File riflFilename, java.io.File source, java.io.File savePath) throws java.io.IOException, org.xml.sax.SAXException, ParserException, javax.xml.parsers.ParserConfigurationException
java.io.IOException
org.xml.sax.SAXException
ParserException
javax.xml.parsers.ParserConfigurationException
public java.util.List<java.io.File> getProblemFiles()
Copyright © 2003-2019 The KeY-Project.