- whileloop() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- WhileLoopStatement - Class in fmrisc.ProgramExplorer.Syntax.Program
-
A while loop.
- whileReplacement - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ForLoopStatement
-
- WIDTH - Static variable in class fmrisc.ProofNavigator.Communication.PrettyMathML
-
- WIDTH - Static variable in class fmrisc.ProofNavigator.Communication.PrettyPrinter
-
The pretty printer depends on the current printing mode (LINE or BLOCK)
and the current indentation level LEVEL.
- withKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.UpdateTerm
-
- write(OMObject) - Method in class fmrisc.External.NewOMDOMWriter
-
Write out a DOM document.
- write(byte[], int, int) - Method in class fmrisc.ProgramExplorer.SWT.TextOutputStream
-
Write a section of an byte array to the output stream.
- write(byte[]) - Method in class fmrisc.ProgramExplorer.SWT.TextOutputStream
-
Write a byte array to the output stream.
- write(int) - Method in class fmrisc.ProgramExplorer.SWT.TextOutputStream
-
Write a byte to the output stream.
- write(Proof) - Method in class fmrisc.ProofNavigator.Communication.Store
-
Write proof to store updating the dependencies file.
- write(Declaration, Collection<Symbol>) - Method in class fmrisc.ProofNavigator.Communication.Store
-
Write declaration to store.
- write(byte[], int, int) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream
-
Write a section of an byte array to the output stream.
- write(byte[]) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream
-
Write a byte array to the output stream.
- write(int) - Method in class fmrisc.ProofNavigator.SWT.TextOutputStream
-
Write a byte to the output stream.
- writeDeclaration(Declaration) - Method in class fmrisc.ProofNavigator.Communication.Presenter
-
Write declaration to declaration file.
- writeDocument(Document, PrintWriter) - Static method in class fmrisc.ProgramExplorer.InOut.Presenter
-
Write document to writer.
- writeNode(OMObject) - Method in class fmrisc.External.NewOMDOMWriter
-
Write out a DOM document node.
- writeProofIndex(Proof) - Method in class fmrisc.ProofNavigator.Communication.Presenter
-
Write index of proof to file suitable for later display of proof states.
- writeProofState(ProofState) - Method in class fmrisc.ProofNavigator.Communication.Presenter
-
Write proof state and return corresponding file.
- WritesOnlyFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A formula that states that only certain program variables may change.
- writeStatement(Statement) - Method in class fmrisc.ProgramExplorer.InOut.Presenter
-
Write file for statement and statement formula.
- WS - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
-
- WS - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- WS - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
-
- WS - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- WS - Static variable in class fmrisc.ProofNavigator.PN2Lexer
-
- WS - Static variable in class fmrisc.ProofNavigator.PN2Parser
-
- WS - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
-
- WS - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
-