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 _ 

H

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.
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