jml2b
Interface IJml2bConfiguration

All Known Implementing Classes:

JackJml2bConfiguration, Jml2bConfig

public interface IJml2bConfiguration

The interface defines the configuration of the PO generator and the lemma viewer

Author:

L. Burdy

Method Summary

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.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)

Method Detail

getSubdirectory

public java.io.File getSubdirectory()

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

getJmlPath

public JmlPathEntry[] getJmlPath()

Returns the path where files have to be searched

Returns:

an array of path

getViewerFont

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

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

isObviousPoGenerated

public boolean isObviousPoGenerated()

Indicates whether obvious PO have to be generated or not

isWellDefPoGenerated

public boolean isWellDefPoGenerated()

isViewShown

public boolean isViewShown(java.lang.String name)

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

Parameters:

name - The name of the language

getDefaultRequires

public Expression getDefaultRequires()

Returns the default requires clause

getDefaultModifies

public ModifiesClause getDefaultModifies()

Returns the default modifies clause

getDefaultEnsures

public Expression getDefaultEnsures()

Returns the default ensures clause

getDefaultExsures

public java.util.Vector getDefaultExsures()

Returns the default exsures clause

isFileGenerated

public boolean isFileGenerated(java.lang.String name)

setFileGenerated

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

isObviousProver

public boolean isObviousProver(java.lang.String name)

getDefaultExternalFile

public boolean getDefaultExternalFile()