jml2b
Class Jml2bConfig

java.lang.Object
  jml2b.Jml2bConfig

All Implemented Interfaces:

IJml2bConfiguration

public class Jml2bConfig

extends java.lang.Object

implements IJml2bConfiguration

Author:

burdy

Constructor Summary

Jml2bConfig(java.lang.String[] path, boolean obvious)

Method Summary

java.lang.String	getABProject()
Expression	getDefaultEnsures() Returns the default ensures clause
java.util.Vector	getDefaultExsures() Returns the default exsures clause
boolean	getDefaultExternalFile()
ModifiesClause	getDefaultModifies() Returns the default modifies clause
Expression	getDefaultRequires() Returns the default requires clause
JmlPathEntry[]	getJmlPath() Returns the path where files have to be searched
java.lang.String	getRmiUrl()
java.io.File	getSubdirectory() Returns the directory where the files have to be read and write.
org.eclipse.swt.graphics.FontData	getViewerFont() Returns the font data to use to display to source code text
boolean	isFileGenerated(java.lang.String name)
boolean	isObviousPoGenerated() Indicates whether obvious PO have to be generated or not
boolean	isObviousProver(java.lang.String name)
boolean	isViewShown(java.lang.String name) Indicates whether a view of the lemma have to be displayed or not.
boolean	isWellDefPoGenerated()
void	setFileGenerated(java.lang.String name, boolean b)

Methods inherited from class java.lang.Object

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

Constructor Detail

Jml2bConfig

public Jml2bConfig(java.lang.String[] path,
                   boolean obvious)

Method Detail

getSubdirectory

public java.io.File getSubdirectory()

Description copied from interface: IJml2bConfiguration

Returns the directory where the files have to be read and write. Those files are the jpo file and the generated files.

Specified by:

getSubdirectory in interface IJml2bConfiguration

getJmlPath

public JmlPathEntry[] getJmlPath()

Description copied from interface: IJml2bConfiguration

Returns the path where files have to be searched

Specified by:

getJmlPath in interface IJml2bConfiguration

Returns:

an array of path

getRmiUrl

public java.lang.String getRmiUrl()

getViewerFont

public org.eclipse.swt.graphics.FontData getViewerFont()

Description copied from interface: IJml2bConfiguration

Returns the font data to use to display to source code text

Specified by:

getViewerFont in interface IJml2bConfiguration

isObviousPoGenerated

public boolean isObviousPoGenerated()

Description copied from interface: IJml2bConfiguration

Indicates whether obvious PO have to be generated or not

Specified by:

isObviousPoGenerated in interface IJml2bConfiguration

isWellDefPoGenerated

public boolean isWellDefPoGenerated()

Specified by:

isWellDefPoGenerated in interface IJml2bConfiguration

isViewShown

public boolean isViewShown(java.lang.String name)

Description copied from interface: IJml2bConfiguration

Indicates whether a view of the lemma have to be displayed or not.

Specified by:

isViewShown in interface IJml2bConfiguration

Parameters:

name - The name of the language

getABProject

public java.lang.String getABProject()

getDefaultRequires

public Expression getDefaultRequires()

Description copied from interface: IJml2bConfiguration

Returns the default requires clause

Specified by:

getDefaultRequires in interface IJml2bConfiguration

getDefaultModifies

public ModifiesClause getDefaultModifies()

Description copied from interface: IJml2bConfiguration

Returns the default modifies clause

Specified by:

getDefaultModifies in interface IJml2bConfiguration

getDefaultEnsures

public Expression getDefaultEnsures()

Description copied from interface: IJml2bConfiguration

Returns the default ensures clause

Specified by:

getDefaultEnsures in interface IJml2bConfiguration

getDefaultExsures

public java.util.Vector getDefaultExsures()

Description copied from interface: IJml2bConfiguration

Returns the default exsures clause

Specified by:

getDefaultExsures in interface IJml2bConfiguration

isFileGenerated

public boolean isFileGenerated(java.lang.String name)

Specified by:

isFileGenerated in interface IJml2bConfiguration

setFileGenerated

public void setFileGenerated(java.lang.String name,
                             boolean b)

Specified by:

setFileGenerated in interface IJml2bConfiguration

isObviousProver

public boolean isObviousProver(java.lang.String name)

Specified by:

isObviousProver in interface IJml2bConfiguration

getDefaultExternalFile

public boolean getDefaultExternalFile()

Specified by:

getDefaultExternalFile in interface IJml2bConfiguration