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