- Handler - Class in fmrisc.ProgramExplorer.Syntax.Program
-
An exception handler.
- handlers - Variable in class fmrisc.ProgramExplorer.Syntax.Program.TryCatchStatement
-
- has(Identifier) - Method in class fmrisc.ProgramExplorer.Semantics.SymbolTable
-
Checks whether table has an entry for key.
- has(Expression) - Method in class fmrisc.ProofNavigator.Proving.GroundExpressions
-
Check whether collection contains expression.
- hasChanged(Declaration) - Method in class fmrisc.ProofNavigator.Communication.Store
-
Signal whether declaration has changed compared to that in store.
- hasChanged(boolean) - Method in class fmrisc.ProofNavigator.Proving.ProofState
-
Signal that state has changed updating presentation of this state.
- hasChanged() - Method in interface fmrisc.ProofNavigator.Proving.ProofStateListener
-
Called if proof state has changed.
- hasChanged() - Method in class fmrisc.ProofNavigator.SWT.ProofTreeItem
-
Signal that proof state has changed.
- hasErrors() - Method in class fmrisc.ProgramExplorer.Semantics.ClassSymbol
-
Show whether class has errors.
- hasErrors() - Method in class fmrisc.ProgramExplorer.Semantics.TheorySymbol
-
Show whether class has errors.
- hash(String, int) - Static method in class fmrisc.ProgramExplorer.Util
-
hash string representation of an object to a short word
- hash(String) - Static method in class fmrisc.ProgramExplorer.Util
-
hash string representation of an object to an integer.
- hash(String, int) - Static method in class fmrisc.ProofNavigator.Proving.ProofUtil
-
hash string representation of an object to a short word
- HASH_DEFAULT - Static variable in class fmrisc.ProofNavigator.Communication.Store
-
- hasIntType(Term, Type, boolean) - Method in class fmrisc.ProgramExplorer.Semantics.LogicChecking
-
Checks if term has type INT, may generate type checking condition.
- hasNatType(Term, Type, boolean) - Method in class fmrisc.ProgramExplorer.Semantics.LogicChecking
-
Checks if term has type NAT, may generate type checking condition.
- hasType(Expression, Type, Type, boolean) - Static method in class fmrisc.ProofNavigator.Semantics.Checking
-
returns true iff expr of type etype matches type.
- helpURL - Static variable in class fmrisc.ProgramExplorer.SWT.TopWindow
-
- helpURLOld - Static variable in class fmrisc.ProgramExplorer.SWT.TopWindow
-
- HEX - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaLexer
-
- HEX - Static variable in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- HEX - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangLexer
-
- HEX - Static variable in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- hide() - Method in class fmrisc.ProgramExplorer.SWT.TaskTree
-
Close all task folders.