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

hadPostBuild() - Method in class org.eclipse.core.tests.internal.builders.BuildEventListener
 
hadPostChange() - Method in class org.eclipse.core.tests.internal.builders.BuildEventListener
 
hadPreBuild() - Method in class org.eclipse.core.tests.internal.builders.BuildEventListener
 
hadValues() - Method in class org.eclipse.test.internal.performance.results.BuildResults
Returns whether the current build had several values stored in database.
handle(int, String[], int, String[], int, int, int, ReferenceContext, CompilationResult) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemHandler
 
handle(int, String[], String[], int, int, ReferenceContext, CompilationResult) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemHandler
Standard problem handling API, the actual severity (warning/error/ignore) is deducted from the problem ID and the current compiler options.
HANDLE_COUNT - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
handleAnnotations(Annotation[], ProblemReporter) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeReference
 
handleAnnotations(JmlTypeReference, Annotation[], ProblemReporter) - Static method in class org.jmlspecs.jml4.ast.JmlAstUtils
 
handledExceptions - Variable in class org.eclipse.jdt.internal.compiler.flow.ExceptionHandlingFlowContext
 
handleEvent(LifecycleEvent) - Method in class org.eclipse.core.internal.events.BuildManager
 
handleEvent(LifecycleEvent) - Method in interface org.eclipse.core.internal.events.ILifecycleListener
 
handleEvent(LifecycleEvent) - Method in class org.eclipse.core.internal.events.NotificationManager
 
handleEvent(LifecycleEvent) - Method in class org.eclipse.core.internal.resources.AliasManager
 
handleEvent(LifecycleEvent) - Method in class org.eclipse.core.internal.resources.ContentDescriptionManager
 
handleEvent(LifecycleEvent) - Method in class org.eclipse.core.internal.resources.NatureManager
 
handleFactory - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
HandleFactory - Class in org.eclipse.jdt.internal.core.util
Creates java element handles.
HandleFactory() - Constructor for class org.eclipse.jdt.internal.core.util.HandleFactory
 
handleLineTooLong() - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
handleWarningToken(String, boolean, Map) - Static method in class org.jmlspecs.jml4.compiler.CompilerExtensionManager
 
handleWarningToken(String, boolean, Map) - Method in class org.jmlspecs.jml4.compiler.DefaultCompilerExtension
 
handleWarningToken(String, boolean, Map) - Method in interface org.jmlspecs.jml4.compiler.IBatchCompilerExtension
 
handleWarningToken(String, boolean, Map) - Method in class org.jmlspecs.jml4.compiler.JmlCompilerExtension
 
HARD_PAGE_FAULTS - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
HAS_DELTA - Static variable in class org.eclipse.jdt.internal.core.ClasspathChange
 
HAS_LIBRARY_CHANGE - Static variable in class org.eclipse.jdt.internal.core.ClasspathChange
 
HAS_MODIFIED_RESOURCE_ATTR - Static variable in class org.eclipse.jdt.internal.core.JavaModelOperation
 
HAS_PROJECT_CHANGE - Static variable in class org.eclipse.jdt.internal.core.ClasspathChange
 
HasAbstractMethods - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
HasAllMethodBodies - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
hasAllowedProblems - Variable in class org.eclipse.jdt.internal.codeassist.CompletionEngine.CompletionProblemFactory
 
hasAnnotations() - Method in class org.eclipse.jdt.core.compiler.BuildContext
Returns whether the compilation unit contained any annotations when it was compiled.
hasAnnotations - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasBeenAccepted - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasBeenBuilt(IProject) - Method in class org.eclipse.core.resources.IncrementalProjectBuilder
Returns whether the given project has already been built during this build iteration.
HasBeenGenerated - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
hasBeenNotified() - Method in class org.eclipse.core.tests.resources.ResourceDeltaVerifier
Returns true if this verifier has received a delta notification since the last reset, and false otherwise.
HasBeenResolved - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
hasBindingsRecovery() - Method in class org.eclipse.jdt.core.dom.AST
Returns true if the ast tree was created with bindings recovery, false otherwise
hasBuildState() - Method in interface org.eclipse.jdt.core.IJavaProject
Returns whether this project has been built at least once and thus whether it has a build state.
hasBuildState() - Method in class org.eclipse.jdt.internal.core.JavaProject
 
hasChanged() - Method in class org.eclipse.jdt.internal.core.index.Index
 
hasChangedProperties(ASTNode) - Method in class org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore
 
hasChanges(ElementTree, ElementTree, IElementComparator, boolean) - Static method in class org.eclipse.core.internal.watson.ElementTree
Returns true if there have been changes in the tree between the two given layers.
hasChildren() - Method in interface org.eclipse.jdt.core.IParent
Returns whether this element has one or more immediate children.
hasChildren() - Method in class org.eclipse.jdt.internal.codeassist.impl.AssistCompilationUnit
 
hasChildren() - Method in class org.eclipse.jdt.internal.core.JavaElement
 
hasChildren() - Method in class org.eclipse.jdt.internal.core.PackageFragment
 
hasChildren() - Method in class org.eclipse.jdt.internal.core.PackageFragmentRoot
 
hasChildren() - Method in class org.eclipse.jdt.internal.core.SourceRefElement
 
hasClasspathCycle(IClasspathEntry[]) - Method in interface org.eclipse.jdt.core.IJavaProject
Returns whether setting this project's classpath to the given classpath entries would result in a cycle.
hasClasspathCycle(IClasspathEntry[]) - Method in class org.eclipse.jdt.internal.core.JavaProject
 
hasConstant() - Method in class org.eclipse.jdt.internal.compiler.classfmt.FieldInfo
Return true if the field has a constant value attribute, false otherwise.
hasConstantValueAttribute() - Method in interface org.eclipse.jdt.core.util.IFieldInfo
Return true if the field info has a constant value attribute, false otherwise.
hasConstantValueAttribute() - Method in class org.eclipse.jdt.internal.core.util.FieldInfo
 
hasCycleMarker() - Method in class org.eclipse.jdt.internal.core.JavaProject
 
hasCycles - Variable in class org.eclipse.core.resources.IWorkspace.ProjectOrder
Indicates whether any of the accessible projects in projects are involved in non-trivial cycles.
hasDefaultNullity() - Method in class org.jmlspecs.jml4.nonnull.Nullity
 
HasDirectWildcard - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasErrors - Variable in class org.eclipse.jdt.core.tests.compiler.regression.Requestor
 
hasErrors() - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration
 
hasErrors() - Method in class org.eclipse.jdt.internal.compiler.ast.CompilationUnitDeclaration
 
hasErrors() - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
hasErrors() - Method in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasErrors() - Method in interface org.eclipse.jdt.internal.compiler.impl.ReferenceContext
 
hasErrors() - Method in class org.eclipse.jdt.internal.eval.EvaluationResult
Returns whether there are errors in the code snippet or the global variable definition.
hasExpectedChanges() - Method in class org.eclipse.core.tests.resources.ResourceDeltaVerifier
Returns true if this verifier currently has an expected changes, and false otherwise.
hasExplicitNullity() - Method in class org.jmlspecs.jml4.nonnull.Nullity
 
hasExpr() - Method in class org.jmlspecs.jml4.ast.JmlClause
 
hasExtendedOperands() - Method in class org.eclipse.jdt.core.dom.InfixExpression
Returns where there are any extended operands.
hasFineGrainChanges() - Method in class org.eclipse.jdt.internal.core.hierarchy.TypeHierarchy
 
hasForbiddenProblems - Variable in class org.eclipse.jdt.internal.codeassist.CompletionEngine.CompletionProblemFactory
 
hasFramePositions() - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
 
hasGlobalSummary() - Method in class org.eclipse.test.internal.performance.results.BuildResults
Returns whether the build has a global summary or not.
hash(int) - Method in class org.eclipse.jdt.internal.compiler.codegen.IntegerCache
Return a hashcode for the value of the key parameter.
hash(long) - Method in class org.eclipse.jdt.internal.compiler.codegen.LongCache
Return a hashcode for the value of the key parameter.
hashCode() - Method in class org.eclipse.core.internal.events.BuildCommand
 
hashCode() - Method in class org.eclipse.core.internal.resources.LinkDescription
 
hashCode() - Method in class org.eclipse.core.internal.resources.mapping.ShallowContainer
 
hashCode() - Method in class org.eclipse.core.internal.resources.Marker
 
hashCode() - Method in class org.eclipse.core.internal.resources.MarkerAttributeMap
 
hashCode() - Method in class org.eclipse.core.internal.resources.Resource
 
hashCode() - Method in class org.eclipse.core.internal.utils.ObjectMap
See Object#hashCode
hashCode() - Method in class org.eclipse.core.internal.utils.UniversalUniqueIdentifier
 
hashCode() - Method in class org.eclipse.core.resources.mapping.ModelProvider
 
hashCode() - Method in class org.eclipse.core.resources.mapping.ResourceMapping
Override hashCode to use the model object.
hashCode() - Method in class org.eclipse.core.resources.ProjectScope
 
hashCode() - Method in class org.eclipse.core.tests.internal.filesystem.wrapper.WrapperFileStore
 
hashCode(char[]) - Static method in class org.eclipse.jdt.core.compiler.CharOperation
Answers a hashcode for the array
hashCode() - Method in class org.eclipse.jdt.core.dom.ASTNode
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.classfmt.FieldInfo
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.classfmt.MethodInfo
 
hashCode(Object) - Method in class org.eclipse.jdt.internal.compiler.codegen.ObjectCache
Return the hashcode for the key parameter
hashCode() - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.ExceptionMarker
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.codegen.VerificationTypeInfo
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.env.AccessRule
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
 
hashCode() - Method in class org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
 
hashCode() - Method in class org.eclipse.jdt.internal.core.BufferFactoryWrapper
Deprecated.  
hashCode() - Method in class org.eclipse.jdt.internal.core.builder.SourceFile
 
hashCode() - Method in class org.eclipse.jdt.internal.core.ClassFile
 
hashCode() - Method in class org.eclipse.jdt.internal.core.ClasspathAttribute
 
hashCode() - Method in class org.eclipse.jdt.internal.core.ClasspathChange
 
hashCode() - Method in class org.eclipse.jdt.internal.core.ClasspathEntry
Returns the hash code for this classpath entry
hashCode() - Method in class org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore.PropertyLocation
 
hashCode() - Method in class org.eclipse.jdt.internal.core.ExternalPackageFragmentRoot
 
hashCode() - Method in class org.eclipse.jdt.internal.core.Initializer
 
hashCode() - Method in class org.eclipse.jdt.internal.core.JarEntryResource
 
hashCode() - Method in class org.eclipse.jdt.internal.core.JarPackageFragmentRoot
 
hashCode() - Method in class org.eclipse.jdt.internal.core.JavaElement
Returns the hash code for this Java element.
hashCode() - Method in class org.eclipse.jdt.internal.core.JavaProject
 
hashCode() - Method in class org.eclipse.jdt.internal.core.LocalVariable
 
hashCode() - Method in class org.eclipse.jdt.internal.core.NonJavaResource
 
hashCode() - Method in class org.eclipse.jdt.internal.core.PackageFragment
 
hashCode() - Method in class org.eclipse.jdt.internal.core.PackageFragmentRoot
 
hashCode() - Method in class org.eclipse.jdt.internal.core.search.indexing.IndexAllProject
 
hashCode() - Method in class org.eclipse.jdt.internal.core.search.indexing.IndexBinaryFolder
 
hashCode() - Method in class org.eclipse.jdt.internal.core.search.JavaSearchTypeNameMatch
 
hashCode() - Method in class org.eclipse.jdt.internal.core.search.JavaWorkspaceScope
 
hashCode() - Method in class org.eclipse.jdt.internal.core.search.matching.PossibleMatch
 
hashCode() - Method in class org.eclipse.jdt.internal.core.SourceMethod
 
hashCode() - Method in class org.eclipse.jdt.internal.core.SourceRange
 
hashCode() - Method in class org.eclipse.jdt.internal.core.UserLibrary
 
hashCode - Variable in class org.eclipse.jdt.internal.core.util.WeakHashSet.HashableWeakReference
 
hashCode() - Method in class org.eclipse.jdt.internal.core.util.WeakHashSet.HashableWeakReference
 
hashCode - Variable in class org.eclipse.jdt.internal.core.util.WeakHashSetOfCharArray.HashableWeakReference
 
hashCode() - Method in class org.eclipse.jdt.internal.core.util.WeakHashSetOfCharArray.HashableWeakReference
 
hashCode() - Method in class org.eclipse.test.internal.performance.results.AbstractResults
 
hashCode() - Method in class org.eclipse.test.internal.performance.results.ScenarioResults
 
hashCode() - Method in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleArrayReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleAssignable
 
hashCode() - Method in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleFieldReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleVariable
 
hashCode() - Method in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.result.lang.Result
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VC
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcAnd
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcAndNary
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcArithExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcArrayAllocationExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcArrayReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcBooleanConstant
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcConditionalExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcFieldReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcFieldStore
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcIntegerConstant
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcLogicalExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcNot
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcOperator
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcOr
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcQuantifiedExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcRelativeExpression
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcSuperReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcThisReference
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcVarDecl
 
hashCode() - Method in class org.jmlspecs.jml4.esc.vc.lang.VcVariable
 
hashCode() - Method in class org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache.Key
Returns the hash code for this key object.
HashSetOfArray - Class in org.eclipse.jdt.internal.core.util
HashSet of Object[]
HashSetOfArray() - Constructor for class org.eclipse.jdt.internal.core.util.HashSetOfArray
 
HashSetOfArray(int) - Constructor for class org.eclipse.jdt.internal.core.util.HashSetOfArray
 
HashSetOfCharArrayArray - Class in org.eclipse.jdt.internal.core.util
HashSet of char[][]
HashSetOfCharArrayArray() - Constructor for class org.eclipse.jdt.internal.core.util.HashSetOfCharArrayArray
 
HashSetOfCharArrayArray(int) - Constructor for class org.eclipse.jdt.internal.core.util.HashSetOfCharArrayArray
 
HashSetOfInt - Class in org.eclipse.jdt.internal.compiler.util
HashSet of Object[]
HashSetOfInt() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashSetOfInt
 
HashSetOfInt(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashSetOfInt
 
HashtableOfArrayToObject - Class in org.eclipse.jdt.internal.core.util
Hashtable of {Object[] --> Object }
HashtableOfArrayToObject() - Constructor for class org.eclipse.jdt.internal.core.util.HashtableOfArrayToObject
 
HashtableOfArrayToObject(int) - Constructor for class org.eclipse.jdt.internal.core.util.HashtableOfArrayToObject
 
HashtableOfInt - Class in org.eclipse.jdt.internal.compiler.util
Hashtable for non-zero int keys.
HashtableOfInt() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfInt
 
HashtableOfInt(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfInt
 
HashtableOfIntValues - Class in org.eclipse.jdt.internal.compiler.util
Hashtable of {char[] --> int}
HashtableOfIntValues() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfIntValues
 
HashtableOfIntValues(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfIntValues
 
HashtableOfLong - Class in org.eclipse.jdt.internal.compiler.util
Hashtable for non-zero long keys.
HashtableOfLong() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfLong
 
HashtableOfLong(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfLong
 
HashtableOfObject - Class in org.eclipse.jdt.internal.compiler.util
Hashtable of {char[] --> Object }
HashtableOfObject() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObject
 
HashtableOfObject(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObject
 
HashtableOfObjectToInt - Class in org.eclipse.jdt.internal.compiler.util
Hashtable of {Object --> int }
HashtableOfObjectToInt() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToInt
 
HashtableOfObjectToInt(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToInt
 
HashtableOfObjectToIntArray - Class in org.eclipse.jdt.internal.compiler.util
Hashtable of {Object --> int[] }
HashtableOfObjectToIntArray() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToIntArray
 
HashtableOfObjectToIntArray(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToIntArray
 
HashtableOfPackage - Class in org.eclipse.jdt.internal.compiler.util
 
HashtableOfPackage() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfPackage
 
HashtableOfPackage(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfPackage
 
HashtableOfType - Class in org.eclipse.jdt.internal.compiler.util
 
HashtableOfType() - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfType
 
HashtableOfType(int) - Constructor for class org.eclipse.jdt.internal.compiler.util.HashtableOfType
 
hasIncompatibleSuperType(ReferenceBinding) - Method in class org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
Returns true if the two types have an incompatible common supertype, e.g.
hasInconsistentToplevelHierarchies - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasJavaNature(IProject) - Static method in class org.eclipse.jdt.internal.core.JavaProject
Returns true if the given project is accessible and it has a java nature, otherwise false.
hasListenerFor(int) - Method in class org.eclipse.core.internal.events.ResourceChangeListenerList
 
hasLocalChange(IResource, IProgressMonitor) - Method in class org.eclipse.core.resources.mapping.RemoteResourceMappingContext
For three-way comparisons, this method indicates whether local modifications have been made to the given resource.
hasLocals() - Method in class org.jmlspecs.jml4.fspv.theory.ast.TheoryMethodDeclaration
 
HasLocalType - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
hasMemberTypes() - Method in class org.eclipse.jdt.internal.compiler.lookup.BinaryTypeBinding
 
hasMemberTypes() - Method in class org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
 
hasMemberTypes() - Method in class org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
 
hasMemberTypes() - Method in class org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
 
HasMissingType - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasModifiedResource() - Method in class org.eclipse.jdt.internal.core.JavaModelOperation
Returns whether this operation has performed any resource modifications.
hasMoreElements() - Method in class org.eclipse.jdt.internal.core.LRUCacheEnumerator
Returns true if more elements exist.
hasMoreTokens() - Method in class org.eclipse.jdt.internal.core.util.MementoTokenizer
 
hasName() - Method in class org.jmlspecs.jml4.esc.vc.lang.VC
 
hasNature(String) - Method in class org.eclipse.core.internal.resources.Project
 
hasNature(String) - Method in class org.eclipse.core.internal.resources.ProjectDescription
 
hasNature(String) - Method in interface org.eclipse.core.resources.IProject
Returns whether the project nature specified by the given nature extension id has been added to this project.
hasNature(String) - Method in interface org.eclipse.core.resources.IProjectDescription
Returns whether the project nature specified by the given nature extension id has been added to the described project.
hasNewFields() - Method in class org.jmlspecs.jml4.rac.MethodDeclarationTranslator
Returns true if new field declarations have been generated during the last translation.
hasNewFields() - Method in class org.jmlspecs.jml4.rac.MethodSpecificationTranslator
Returns true if new field declarations have been generated during the last translation.
hasNewMethods() - Method in class org.jmlspecs.jml4.rac.MethodDeclarationTranslator
Returns true if new method declarations have been generated during the last translation.
hasNewMethods() - Method in class org.jmlspecs.jml4.rac.MethodSpecificationTranslator
Returns true if new method declarations have been generated during the last translation.
hasNext() - Method in class org.eclipse.core.internal.utils.ArrayIterator
Returns true if this enumeration contains more elements.
HasNext - Static variable in class org.eclipse.jdt.internal.compiler.codegen.ConstantPool
 
HasNextSignature - Static variable in class org.eclipse.jdt.internal.compiler.codegen.ConstantPool
 
HasNoMemberTypes - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasNonKeywordExpr() - Method in class org.jmlspecs.jml4.ast.JmlClause
 
HasNonPrivateConstructor - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasPackageDeclaration() - Method in class org.eclipse.jdt.internal.core.search.matching.OrPattern
Returns whether the pattern has one or several package declaration or not.
HasParameterAnnotations - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasPendingMemberValueName - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredAnnotation
 
hasPrefixOf(String) - Method in class org.eclipse.core.internal.localstore.PrefixPool
Test if the String pool contains any one that is a prefix of the given String s.
hasPrivateChanges(ProjectDescription) - Method in class org.eclipse.core.internal.resources.ProjectDescription
Returns true if any private attributes of the description have changed.
hasProblems() - Method in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasProblems() - Method in class org.eclipse.jdt.internal.eval.EvaluationResult
Returns whether there are problems in the code snippet or the global variable definition.
hasPublicChanges(ProjectDescription) - Method in class org.eclipse.core.internal.resources.ProjectDescription
Returns true if any public attributes of the description have changed.
hasRecordedChanges() - Method in class org.eclipse.jdt.core.dom.rewrite.ImportRewrite
Returns true if imports have been recorded to be added or removed.
hasRedundantSuffix() - Method in class org.jmlspecs.jml4.compiler.parser.JmlIdentifier
 
hasRemoteChange(IResource, IProgressMonitor) - Method in class org.eclipse.core.resources.mapping.RemoteResourceMappingContext
For two-way comparisons, return whether the contents of the corresponding remote differs from the content of the local file in the context of the current operation.
hasResolvedBindings() - Method in class org.eclipse.jdt.core.dom.AST
Returns true if the ast tree was created with bindings, false otherwise
hasResourceChanged() - Method in interface org.eclipse.jdt.core.ICompilationUnit
Returns whether the resource of this working copy has changed since the inception of this working copy.
hasResourceChanged() - Method in class org.eclipse.jdt.internal.core.CompilationUnit
 
hasRestrictedAccess() - Method in class org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
 
hasRun - Variable in class org.eclipse.jdt.core.tests.model.ClasspathInitializerTests.NullContainerInitializer
 
hasSameValue(Constant) - Method in class org.eclipse.jdt.internal.compiler.impl.Constant
Returns true if both constants have the same type and the same actual value
hasSavedContent(IProject) - Method in class org.eclipse.core.internal.localstore.FileSystemResourceManager
Returns whether the project has any local content on disk.
hasSavedDescription(IProject) - Method in class org.eclipse.core.internal.localstore.FileSystemResourceManager
Returns whether the project has a project description file on disk.
hasSavedProject(IProject) - Method in class org.eclipse.core.internal.resources.LocalMetaArea
 
hasSavedWorkspace() - Method in class org.eclipse.core.internal.resources.LocalMetaArea
 
hasSideEffects() - Method in class org.jmlspecs.jml4.util.HasSideEffectsVisitor
 
HasSideEffectsVisitor - Class in org.jmlspecs.jml4.util
 
HasSideEffectsVisitor() - Constructor for class org.jmlspecs.jml4.util.HasSideEffectsVisitor
 
hasSignatures() - Method in class org.eclipse.jdt.internal.core.search.matching.JavaSearchPattern
Returns whether the pattern has signatures or not.
hasSignatures() - Method in class org.eclipse.jdt.internal.core.search.matching.OrPattern
Returns whether the pattern has signatures or not.
hasSource() - Method in class org.eclipse.jdt.internal.core.JavaProject
Answers true if the project potentially contains any source.
hasStarted() - Method in class org.eclipse.core.tests.resources.usecase.ConcurrentOperation
Returns only when we get out of the STARTED_NONE state.
hasStatementsRecovery() - Method in class org.eclipse.jdt.core.dom.AST
Returns true if the ast tree was created with statements recovery, false otherwise
hasStructuralChanges(byte[]) - Method in class org.eclipse.jdt.internal.compiler.classfmt.ClassFileReader
Check if the receiver has structural changes compare to the byte array in argument.
hasStructuralChanges(byte[], boolean, boolean) - Method in class org.eclipse.jdt.internal.compiler.classfmt.ClassFileReader
Check if the receiver has structural changes compare to the byte array in argument.
hasSubpackages() - Method in interface org.eclipse.jdt.core.IPackageFragment
Returns whether this package fragment's name is a prefix of other package fragments in this package fragment's root.
hasSubpackages() - Method in class org.eclipse.jdt.internal.core.PackageFragment
 
hasSubstitutedParameters() - Method in class org.eclipse.jdt.internal.compiler.lookup.MethodBinding
Returns true if method got substituted parameter types (see ParameterizedMethodBinding)
hasSubstitutedParameters() - Method in class org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
Returns true if some parameters got substituted.
hasSubstitutedParameters() - Method in class org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
Returns true if some parameters got substituted.
hasSubstitutedReturnType() - Method in class org.eclipse.jdt.internal.compiler.lookup.MethodBinding
 
hasSubstitutedReturnType() - Method in class org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
Returns true if the return type got substituted.
hasSubstitutedReturnType() - Method in class org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
Returns true if the return type got substituted.
hasSummary() - Method in class org.eclipse.test.internal.performance.results.BuildResults
Returns whether the build has a summary or not.
hasSummary() - Method in class org.eclipse.test.internal.performance.results.ScenarioResults
Returns whether one of the scenario's config has a summary or not.
hasSyntaxError - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasTasks() - Method in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasTemporaryCache() - Method in class org.eclipse.jdt.internal.core.JavaModelManager
 
hasTextOnTagLine() - Method in class org.eclipse.jdt.internal.formatter.FormatJavadocBlock
Returns whether the text is on the same line of the tag or not.
hasTypeArguments() - Method in class org.eclipse.jdt.internal.core.search.matching.JavaSearchPattern
Returns whether the pattern includes type arguments information or not.
hasTypeName() - Method in class org.eclipse.jdt.internal.core.util.BindingKeyParser
 
hasTypeParameters() - Method in class org.eclipse.jdt.internal.core.search.matching.JavaSearchPattern
Returns whether the pattern includes type parameters information or not.
HasTypeVariable - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
HasUnresolvedEnclosingType - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
HasUnresolvedMemberTypes - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
HasUnresolvedSuperclass - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
HasUnresolvedSuperinterfaces - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasUnresolvedTypeArgument() - Method in class org.eclipse.jdt.internal.compiler.lookup.InferenceContext
Returns true if any unresolved variable is detected, i.e.
HasUnresolvedTypeVariables - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hasUnsavedChanges() - Method in interface org.eclipse.jdt.core.IBuffer
Returns whether this buffer has been modified since it was opened or since it was last saved.
hasUnsavedChanges() - Method in interface org.eclipse.jdt.core.IOpenable
Returns true if this element is open and: its buffer has unsaved changes, or one of its descendants has unsaved changes, or a working copy has been created on one of this element's children and has not yet destroyed
hasUnsavedChanges - Variable in class org.eclipse.jdt.core.tests.model.OverflowingCacheTests.OverflowingTestBuffer
True if this buffer has unsaved changes, otherwise false.
hasUnsavedChanges() - Method in class org.eclipse.jdt.core.tests.model.OverflowingCacheTests.OverflowingTestBuffer
 
hasUnsavedChanges() - Method in class org.eclipse.jdt.core.tests.model.OverflowingCacheTests.OverflowingTestOpenable
 
hasUnsavedChanges() - Method in class org.eclipse.jdt.core.tests.model.TestBuffer
 
hasUnsavedChanges() - Method in class org.eclipse.jdt.internal.core.Buffer
 
hasUnsavedChanges() - Method in class org.eclipse.jdt.internal.core.Openable
 
hasValue() - Method in class org.eclipse.jdt.internal.eval.EvaluationResult
Returns whether this result has a value.
hasVoidReturnType(MethodBinding) - Static method in class org.jmlspecs.jml4.rac.RacTranslator
Does the given method have void return type?
hasVoidReturnType(JmlMethodDeclaration) - Static method in class org.jmlspecs.jml4.rac.RacTranslator
Does the given method have void return type?
hasWarnings() - Method in class org.eclipse.jdt.internal.compiler.CompilationResult
 
hasWarnings() - Method in class org.eclipse.jdt.internal.eval.EvaluationResult
Returns whether there are warnings in the code snippet or the global variable definition.
haveSymlinks() - Method in class org.eclipse.core.tests.filesystem.SymlinkTest
 
header - Variable in class org.eclipse.jdt.internal.compiler.ClassFile
 
header - Variable in class org.jmlspecs.jml4.ast.JmlSpecCaseBody
 
headerOffset - Variable in class org.eclipse.jdt.internal.compiler.ClassFile
 
headerToString(AbstractMethodDeclaration) - Static method in class org.jmlspecs.jml4.rac.WrapperMethodGenerator
Returns the string representation of the header of the given method.
Helper - Annotation Type in org.jmlspecs.annotation
 
HELPER - Static variable in class org.jmlspecs.jml4.ast.JmlModifier
 
helper - Variable in class org.jmlspecs.jml4.fspv.TheoryTranslator
 
HELPER - Static variable in interface org.jmlspecs.jml4.rac.RacConstants
 
HIDDEN - Static variable in interface org.eclipse.core.resources.IResource
Update flag constant (bit mask value 0x1000) indicating that a resource should be marked as a hidden resource.
hiddenCatchBlock(ReferenceBinding, ASTNode) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
HiddenResourceTest - Class in org.eclipse.core.tests.resources
 
HiddenResourceTest() - Constructor for class org.eclipse.core.tests.resources.HiddenResourceTest
 
HiddenResourceTest(String) - Constructor for class org.eclipse.core.tests.resources.HiddenResourceTest
 
hiddenVariableDepth - Variable in class org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration
 
HidingEnclosingType - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
hierarchy_creating - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
hierarchy_creatingOnType - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
hierarchy_nullFocusType - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
hierarchy_nullProject - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
hierarchy_nullRegion - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
HierarchyBinaryType - Class in org.eclipse.jdt.internal.core.hierarchy
 
HierarchyBinaryType(int, char[], char[], char[], char[][], char) - Constructor for class org.eclipse.jdt.internal.core.hierarchy.HierarchyBinaryType
 
HierarchyBuilder - Class in org.eclipse.jdt.internal.core.hierarchy
 
HierarchyBuilder(TypeHierarchy) - Constructor for class org.eclipse.jdt.internal.core.hierarchy.HierarchyBuilder
 
HierarchyCircularity - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
hierarchyCircularity(SourceTypeBinding, ReferenceBinding, TypeReference) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
HierarchyCircularitySelfReference - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
HierarchyHasProblems - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
HierarchyHasProblems - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
hierarchyHasProblems(SourceTypeBinding) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
HierarchyOnWorkingCopiesTests - Class in org.eclipse.jdt.core.tests.model
 
HierarchyOnWorkingCopiesTests(String) - Constructor for class org.eclipse.jdt.core.tests.model.HierarchyOnWorkingCopiesTests
 
HierarchyResolver - Class in org.eclipse.jdt.internal.core.hierarchy
 
HierarchyResolver(INameEnvironment, Map, HierarchyBuilder, IProblemFactory) - Constructor for class org.eclipse.jdt.internal.core.hierarchy.HierarchyResolver
 
HierarchyResolver(LookupEnvironment, HierarchyBuilder) - Constructor for class org.eclipse.jdt.internal.core.hierarchy.HierarchyResolver
 
hierarchyResolver - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
HierarchyScope - Class in org.eclipse.jdt.internal.core.search
Scope limited to the subtype and supertype hierarchy of a given type.
HierarchyScope(IType, WorkingCopyOwner) - Constructor for class org.eclipse.jdt.internal.core.search.HierarchyScope
 
HierarchyType - Class in org.eclipse.jdt.internal.core.hierarchy
Partial implementation of an IGenericType used to answer hierarchies.
HierarchyType(IType, char[], int, char[], char[][]) - Constructor for class org.eclipse.jdt.internal.core.hierarchy.HierarchyType
 
high - Variable in class org.jmlspecs.jml4.ast.JmlArrayIndexRangeExpression
 
HIGH_NIBBLE_MASK - Static variable in class org.eclipse.core.internal.utils.UniversalUniqueIdentifier
 
HIGH_SURROGATE_MAX_VALUE - Static variable in class org.eclipse.jdt.internal.compiler.parser.Scanner
 
HIGH_SURROGATE_MAX_VALUE - Static variable in class org.eclipse.jdt.internal.core.util.PublicScanner
 
HIGH_SURROGATE_MIN_VALUE - Static variable in class org.eclipse.jdt.internal.compiler.parser.Scanner
 
HIGH_SURROGATE_MIN_VALUE - Static variable in class org.eclipse.jdt.internal.core.util.PublicScanner
 
highestComplianceLevels() - Static method in class org.eclipse.jdt.core.tests.util.AbstractCompilerTest
 
history_copyToNull - Static variable in class org.eclipse.core.internal.utils.Messages
 
history_copyToSelf - Static variable in class org.eclipse.core.internal.utils.Messages
 
history_errorContentDescription - Static variable in class org.eclipse.core.internal.utils.Messages
 
history_notValid - Static variable in class org.eclipse.core.internal.utils.Messages
 
history_problemsCleaning - Static variable in class org.eclipse.core.internal.utils.Messages
 
HistoryBucket - Class in org.eclipse.core.internal.localstore
 
HistoryBucket() - Constructor for class org.eclipse.core.internal.localstore.HistoryBucket
 
HistoryBucket.HistoryEntry - Class in org.eclipse.core.internal.localstore
A entry in the bucket index.
HistoryBucket.HistoryEntry(IPath, byte[][]) - Constructor for class org.eclipse.core.internal.localstore.HistoryBucket.HistoryEntry
 
HistoryBucket.HistoryEntry(IPath, HistoryBucket.HistoryEntry) - Constructor for class org.eclipse.core.internal.localstore.HistoryBucket.HistoryEntry
 
HistoryBucketTest - Class in org.eclipse.core.tests.internal.localstore
 
HistoryBucketTest(String) - Constructor for class org.eclipse.core.tests.internal.localstore.HistoryBucketTest
 
HistoryStore2 - Class in org.eclipse.core.internal.localstore
 
HistoryStore2(Workspace, IFileStore, int) - Constructor for class org.eclipse.core.internal.localstore.HistoryStore2
 
HistoryStoreConversionTest - Class in org.eclipse.core.tests.internal.localstore
Tests for the conversion from the old to the new local history implementation.
HistoryStoreConversionTest(String) - Constructor for class org.eclipse.core.tests.internal.localstore.HistoryStoreConversionTest
 
HistoryStorePerformanceTest - Class in org.eclipse.core.tests.resources.usecase
 
HistoryStorePerformanceTest() - Constructor for class org.eclipse.core.tests.resources.usecase.HistoryStorePerformanceTest
 
HistoryStorePerformanceTest(String) - Constructor for class org.eclipse.core.tests.resources.usecase.HistoryStorePerformanceTest
 
HistoryStoreTest - Class in org.eclipse.core.tests.internal.localstore
This class defines all tests for the HistoryStore Class.
HistoryStoreTest() - Constructor for class org.eclipse.core.tests.internal.localstore.HistoryStoreTest
 
HistoryStoreTest(String) - Constructor for class org.eclipse.core.tests.internal.localstore.HistoryStoreTest
 
HOARESTATE - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
hoareTriplet - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplLemma
 
HREF_TAG - Static variable in interface org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants
 
HTML_CLOSE_PREFIX - Static variable in interface org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters
Html tag close prefix
HTML_EXTENSION - Static variable in interface org.eclipse.jdt.internal.core.JavadocConstants
 
HTML_TAG_POSTFIX - Static variable in interface org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters
Html tag postfix
HTML_TAG_PREFIX - Static variable in interface org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters
Html tag prefix
HTMLEntity2JavaReader - Class in org.eclipse.jdt.internal.formatter.comment
SubstitutionTextReader that will substitute plain text values for html entities encountered in the original text.
HTMLEntity2JavaReader(Reader) - Constructor for class org.eclipse.jdt.internal.formatter.comment.HTMLEntity2JavaReader
Creates a new instance that will read from reader

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 _