|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Communication.Presenter
public final class Presenter
Interface to visual presentation of declarations and proof states.
Constructor Summary | |
---|---|
Presenter(java.io.File directory)
Create instance of presenter with files in denoted directory. |
Method Summary | |
---|---|
java.io.File |
getDeclFile()
Get file where all declarations are stored |
java.io.File |
getFile(ProofState state)
Construct file name for proof state |
org.w3c.dom.Element |
getRoot(org.w3c.dom.Document document)
Get root node of document to which new nodes should be appended. |
void |
resize()
Update font size depending on user settings. |
boolean |
updateDeclarations()
Update the declarations written so far (rewriting the declaration file). |
boolean |
writeDeclaration(Declaration decl)
Write declaration to declaration file. |
java.io.File |
writeProofIndex(Proof proof)
Write index of proof to file suitable for later display of proof states. |
java.io.File |
writeProofState(ProofState state)
Write proof state and return corresponding file. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Presenter(java.io.File directory)
directory
- for storing the presentation files.Method Detail |
---|
public void resize()
public java.io.File getDeclFile()
public java.io.File getFile(ProofState state)
state
- the proof state.
public org.w3c.dom.Element getRoot(org.w3c.dom.Document document)
document
- the document.
public java.io.File writeProofState(ProofState state)
state
- the state to be written to file.
public boolean writeDeclaration(Declaration decl)
decl
- the declaration to be written.
public boolean updateDeclarations()
public java.io.File writeProofIndex(Proof proof)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |