jml2b
Class Jml2b

java.lang.Object
  jml2b.util.Profiler
      jml2b.Jml2b

public class Jml2b

extends Profiler

Author:

L. Burdy, A. Requet

Field Summary

static java.lang.String	inFileProperty if this property is set, then load the state from the given infile.
static java.lang.String	jmlPathProperty
static java.lang.String	obviousPoProperty

Constructor Summary

Jml2b()

Method Summary

static void	displayUsage() Displays the usage
static java.io.File	getOutputDir(java.lang.String dir_name) Returns a File object corresponding to the given directory.
static JmlFile[]	loadAstImage(IJml2bConfiguration config, java.lang.String astFile)
static JmlFile[]	loadFileImage(java.lang.String file_name) Restore the JmlFile array as well as the system packages from the given file.
static JmlFile[]	loadFiles(IJml2bConfiguration config, java.lang.String[] args) Loads files from args.
static JmlFile[]	loadFiles(IJml2bConfiguration config, java.lang.String[] args, int file_count) Loads the file_count files from args.
static void	loadProperties()
static void	main(java.lang.String[] args) Parses and converts the given files.
static void	saveFileImage(JmlFile[] files, java.lang.String file_name) Saves an image.

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

jmlPathProperty

public static java.lang.String jmlPathProperty

inFileProperty

public static java.lang.String inFileProperty

if this property is set, then load the state from the given infile.

obviousPoProperty

public static java.lang.String obviousPoProperty

Constructor Detail

Jml2b

public Jml2b()

Method Detail

displayUsage

public static void displayUsage()

Displays the usage

loadFiles

public static JmlFile[] loadFiles(IJml2bConfiguration config,
                                  java.lang.String[] args)

Loads files from args.

Parameters:

config - The current configuration

args - the file name of the files.

loadFiles

public static JmlFile[] loadFiles(IJml2bConfiguration config,
                                  java.lang.String[] args,
                                  int file_count)

Loads the file_count files from args.

Parameters:

config - The current configuration

file_count - the number of files to load.

args - the file name of the files. This array must contain at least file_count strings.

saveFileImage

public static void saveFileImage(JmlFile[] files,
                                 java.lang.String file_name)
                          throws java.io.IOException

Saves an image.

Parameters:

files - The set of Jml file to save

file_name - The file name of the image

Throws:

java.io.IOException

loadFileImage

public static JmlFile[] loadFileImage(java.lang.String file_name)

Restore the JmlFile array as well as the system packages from the given file.

getOutputDir

public static java.io.File getOutputDir(java.lang.String dir_name)

Returns a File object corresponding to the given directory. create the directory if needed.

loadProperties

public static void loadProperties()
                           throws java.io.IOException

Throws:

java.io.IOException

loadAstImage

public static JmlFile[] loadAstImage(IJml2bConfiguration config,
                                     java.lang.String astFile)

main

public static void main(java.lang.String[] args)

Parses and converts the given files.