Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

R

RBRACK - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
RBRACK - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
RBRACK - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
RBRACK - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
RBRACK - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
RBRACK - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
RBRACKGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
RBRACKGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
RBRACKGRID - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
RBRACKGRID - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
RBRACKGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
RBRACKGRID - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
read() - Method in class fmrisc.ProgramExplorer.InOut.ClassReader
Read the class declaration.
read() - Method in class fmrisc.ProgramExplorer.InOut.TheoryReader
Read the theory declaration.
read(String) - Method in class fmrisc.ProgramExplorer.InOut.VirtualDirectory
Get the content of a file.
read(ErrorStream) - Method in class fmrisc.ProgramExplorer.Semantics.ClassSymbol
Update declaration from reader.
read(ErrorStream) - Method in class fmrisc.ProgramExplorer.Semantics.TheorySymbol
Update declaration from reader or derive it from class symbol.
Read - Class in fmrisc.ProofNavigator.Commands
Command "read": read command from denoted file.
Read(String) - Constructor for class fmrisc.ProofNavigator.Commands.Read
Create a "read" command.
read(byte[], int, int) - Method in class fmrisc.ProofNavigator.SWT.TextInputStream
Write into buffer b at position offset at most length bytes.
read() - Method in class fmrisc.ProofNavigator.SWT.TextInputStream
Read a character from this stream.
readDeclaration(File) - Static method in class fmrisc.ProofNavigator.Communication.Store
Read declaration from file.
readLine() - Static method in class fmrisc.ProofNavigator.Main
Read line of input from console.
readNumber(String, int, int) - Static method in class fmrisc.ProofNavigator.Main
Ask user for a number in the range a..b.
readObject() - Method in class fmrisc.External.NewOMDOMReader
Read an OpenMath object.
readProof(FormulaSymbol) - Method in class fmrisc.ProofNavigator.Communication.Store
Read proof for formula from store.
ReadsOnlyFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
A formula that states that no program variable may change.
Real0Type - Class in fmrisc.ProgramExplorer.Syntax.Logic
The type of reals including the results of divisions by zero (intenally used).
REALLETTER - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
 
REALLETTER - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
REALLETTER - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
REALLETTER - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
REALLETTER - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
REALLETTER - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
REALLETTER - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
realType - Static variable in class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
 
RealType - Class in fmrisc.ProgramExplorer.Syntax.Logic
The type of reals.
RecordTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
A record of named values.
recordTerm(ValuedIdentifier[]) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct record term of base terms
RecordTerm - Class in fmrisc.ProofNavigator.Syntax
Handling of record terms.
RecordTerm(ValuedIdentifier[]) - Constructor for class fmrisc.ProofNavigator.Syntax.RecordTerm
construct record term
RecordType - Class in fmrisc.ProgramExplorer.Syntax.Logic
A record type.
recordType(TypedIdentifier[]) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct record type with denoted base types.
RecordType - Class in fmrisc.ProofNavigator.Syntax
Handling of record types.
RecordType(TypedIdentifier[]) - Constructor for class fmrisc.ProofNavigator.Syntax.RecordType
construct record type
Redo - Class in fmrisc.ProofNavigator.Commands
The "redo" command: goto an open proof state and redo its proof.
Redo(String) - Constructor for class fmrisc.ProofNavigator.Commands.Redo
create a "redo" command
redo(ProofState) - Method in class fmrisc.ProofNavigator.Proving.Proof
Redo proof at denoted state.
redo() - Method in class fmrisc.ProofNavigator.Proving.ProofState
Redo the proof at the denoted state (if possible)
redraw(File[]) - Method in class fmrisc.ProgramExplorer.SWT.FileTree
Redraw directory structures.
redraw(PackageSymbol) - Method in class fmrisc.ProgramExplorer.SWT.SymbolTree
Redraw symbol structures.
redraw(TaskFolder) - Method in class fmrisc.ProgramExplorer.SWT.TaskList
Redraw all not done tasks in folder.
redraw(TaskFolder) - Method in class fmrisc.ProgramExplorer.SWT.TaskTree
Redraw task folder structures.
redraw(TreeItem, Task, boolean) - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Redraw node to indicate status of task.
redrawExplorers() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Process packages in workspace.
redrawFileExplorer(File[]) - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Redraw file explorer view for denoted path.
redrawOpenExplorer() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Redraw open task explorer.
redrawSymbolExplorer(PackageSymbol) - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Redraw symbol explorer view for denoted package.
reference(Identifier) - Static method in class fmrisc.ProgramExplorer.Judgements.Satisfies
Construct a reference from an identifier setting also its type.
Reference - Class in fmrisc.ProgramExplorer.Syntax.Logic
A reference to a logical variable (or constant).
reference(String) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct reference with denoted name.
reference(Symbol) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
Construct reference from symbol.
reference(ValueDeclIdentifier) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct reference from value declaration identifier.
reference(TypeDeclIdentifier) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
construct reference from type declaration identifier.
Reference - Class in fmrisc.ProofNavigator.Syntax
Handling of identifiers used in declarations
Reference(String) - Constructor for class fmrisc.ProofNavigator.Syntax.Reference
construct reference from name (symbol is set to null)
Reference(String, Symbol) - Constructor for class fmrisc.ProofNavigator.Syntax.Reference
construct reference from name and symbol
ReferenceCloner - Class in fmrisc.ProgramExplorer.Semantics
Clone an expression transforming all references to certain symbols.
referenced(Identifier) - Method in class fmrisc.ProofNavigator.Proving.Proof
Mark identifier as referenced in current proof.
ReferencedExcs - Class in fmrisc.ProgramExplorer.Semantics
Compute the exception types referenced by an expression.
ReferencedExcs() - Constructor for class fmrisc.ProgramExplorer.Semantics.ReferencedExcs
 
ReferencedUnits - Class in fmrisc.ProgramExplorer.Semantics
Compute the units (theory/class) referenced by a unit.
ReferencedUnits() - Constructor for class fmrisc.ProgramExplorer.Semantics.ReferencedUnits
 
ReferencedVars - Class in fmrisc.ProgramExplorer.Semantics
Compute the program variables referenced by an expression.
ReferencedVars() - Constructor for class fmrisc.ProgramExplorer.Semantics.ReferencedVars
 
refresh() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Perform refresh action.
RefSubstitution - Class in fmrisc.ProgramExplorer.Judgements
Reference substitution P[T1/I1,...]
register(SourcePosition) - Method in class fmrisc.ProgramExplorer.InOut.Source
Register position for this source.
register(ClassSymbol, Vector<TheorySymbol>, Declaration[][], ErrorStream) - Static method in class fmrisc.ProgramExplorer.Tasks.ClassTasks
Register the construction of tasks for a given class.
register(ParamSymbol, StateType, Name[], Name[], Vector<TheorySymbol>, Declaration[][], ErrorStream) - Static method in class fmrisc.ProgramExplorer.Tasks.MethodTasks
Register the construction of tasks for a given method.
register(ParamSymbol, StateType, Name[], Name[], Vector<TheorySymbol>, Declaration[][], ErrorStream) - Static method in class fmrisc.ProgramExplorer.Tasks.TerminationTasks
Register the construction of termination tasks for a given method.
remove(File) - Static method in class fmrisc.ProgramExplorer.InOut.Directory
Remove a previously created directory (including all its contents).
remove(Symbol) - Method in class fmrisc.ProgramExplorer.SWT.SymbolTree
Remove subtree denoted by symbol.
remove(TaskFolder) - Method in class fmrisc.ProgramExplorer.Tasks.TaskFolder
Remove subfolder from folder.
remove(Formula[], Formula) - Method in class fmrisc.ProofNavigator.Proving.ProofState
Remove a formula from a sequence of formulas in this state.
removeWhitespace(Node) - Static method in class fmrisc.ProofNavigator.Communication.Store
Removes all text nodes that only contain whitespace from DOM tree.
replace(Formula[], Formula, Formula) - Method in class fmrisc.ProofNavigator.Proving.ProofState
Replace a formula in a sequence of formulas in this state.
replay() - Method in class fmrisc.ProofNavigator.Proving.Proof
Replay skeleton proof.
replay(ProofState) - Method in class fmrisc.ProofNavigator.Proving.Proof
Replay skeleton proof on proof state and its children.
reset() - Method in class fmrisc.ProgramExplorer.InOut.ErrorStream
Reset number of errors to zero.
reset() - Method in class fmrisc.ProgramExplorer.InOut.PrettyMathML
Set pretty appender to initial state.
reset() - Method in class fmrisc.ProgramExplorer.Semantics.ClassSymbol
Reset symbol.
reset() - Method in class fmrisc.ProgramExplorer.Semantics.ParamSymbol
Reset symbol
reset() - Method in class fmrisc.ProgramExplorer.Semantics.TheorySymbol
Reset symbol.
reset() - Method in class fmrisc.ProgramExplorer.Tasks.ClassicalTaskBase
Reset the task to its initial (new) state.
reset() - Method in interface fmrisc.ProgramExplorer.Tasks.ProofNavigatorTask
Reset the task to its initial (new) state.
reset() - Method in class fmrisc.ProgramExplorer.Tasks.ProofNavigatorTaskBase
Reset the task to its initial (new) state.
reset() - Method in class fmrisc.ProgramExplorer.Tasks.TaskBase
Reset the task to its initial (new) state.
resetError() - Static method in class fmrisc.ProofNavigator.State
reset error message
resetErrors() - Static method in class fmrisc.ProgramExplorer.Main
Reset number of errors to zero.
resetProof() - Static method in class fmrisc.ProofNavigator.Main
Signal there is no current proof.
resetReferencedSymbols() - Static method in class fmrisc.ProofNavigator.Semantics.Checking
reset collection of referenced symbols
resetState() - Static method in class fmrisc.ProgramExplorer.Main
Reset system state.
resetStateContext() - Method in class fmrisc.ProgramExplorer.Semantics.LogicChecking
Reset the program state context.
resetStateContext() - Method in class fmrisc.ProgramExplorer.Semantics.LogicTypeTable
Reset the current state context.
resetSubstitution() - Method in class fmrisc.ProofNavigator.Syntax.TypeDeclIdentifier
reset substitution field
resetSubstitution() - Method in class fmrisc.ProofNavigator.Syntax.TypedIdentifier
reset substitution field in identifier
resetSubstitution() - Method in class fmrisc.ProofNavigator.Syntax.ValueDeclIdentifier
reset substitution field
resetSymbols() - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCLFormulaMask
Reset collection of generated mask symbols.
resize() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Resize shell.
resize() - Method in class fmrisc.ProofNavigator.Communication.Presenter
Update font size depending on user settings.
resize() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
Resize shell based on font setting
resizeFont() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
Resize fonts in display areas.
resizeFont() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
Resize font (from small to big and vice versa)
resizeFont() - Method in class fmrisc.ProofNavigator.SWT.Top
 
restart(boolean) - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
Set signal whether program is to be restarted.
restoreOldProver() - Static method in class fmrisc.ProofNavigator.State
Restore old prover.
Result(Declaration[], Formula, Map<Symbol, Symbol>) - Constructor for class fmrisc.ProgramExplorer.Tasks.FlattenDeclarations.Result
 
resume() - Method in interface fmrisc.ProgramExplorer.Tasks.Task
Attempt to perform task which is in status NEW or OPEN.
resume() - Method in class fmrisc.ProgramExplorer.Tasks.TaskBase
Resume task.
resumeOnNew() - Method in interface fmrisc.ProgramExplorer.Tasks.Task
Determine whether new task is to be resumed.
resumeOnNew() - Method in class fmrisc.ProgramExplorer.Tasks.TaskBase
Determine whether new task is to be resumed.
resumeOnNew() - Method in class fmrisc.ProgramExplorer.Tasks.TerminationTask
Determine whether new task is to be resumed.
resumeOnNew() - Method in class fmrisc.ProgramExplorer.Tasks.TypeCheckingTask
Determine whether new task is to be resumed.
returns - Variable in class fmrisc.ProgramExplorer.Judgements.StatJudgement
 
returnstat() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
ReturnStatement - Class in fmrisc.ProgramExplorer.Syntax.Program
A return statement with an optional return value.
rewrite(Expression) - Static method in class fmrisc.ProofNavigator.Proving.Rewriting
Rewrite expression to more human-friendly form.
Rewriting - Class in fmrisc.ProofNavigator.Proving
A visitor for rewriting expressions to a more human-friendly form.
Rewriting() - Constructor for class fmrisc.ProofNavigator.Proving.Rewriting
 
riscImageName - Static variable in class fmrisc.ProgramExplorer.SWT.MainSWT
 
RPAR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
RPAR - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
RPAR - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
RPAR - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
RPAR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
RPAR - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
RPARGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
 
RPARGRID - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
 
RPARGRID - Static variable in class fmrisc.ProofNavigator.PN2Lexer
 
RPARGRID - Static variable in class fmrisc.ProofNavigator.PN2Parser
 
RPARGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
 
RPARGRID - Static variable in interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes
 
rselector() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
 
RSHash(String) - Static method in class fmrisc.External.GeneralHashFunctionLibrary
 
run() - Method in class fmrisc.ProgramExplorer.InOut.CommandServer
Server listens on socket and executes received commands.
run() - Method in class fmrisc.ProgramExplorer.InOut.VirtualDirectoryServer
Server listens on socket and executes received commands.
run() - Method in class fmrisc.ProofNavigator.Communication.CommandServer
Server listens on socket and executes received commands.
run() - Static method in class fmrisc.ProofNavigator.Main
Run ProofNavigator interpreter.
run() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
Run program after command line processing.
runInternal(Top, Thread) - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
ProgramExplorer interface to ProofNavigator
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links