Hierarchy For All Packages

Package Hierarchies:

org.eclipse.core.internal.dtree, org.eclipse.core.internal.events, org.eclipse.core.internal.localstore, org.eclipse.core.internal.properties, org.eclipse.core.internal.propertytester, org.eclipse.core.internal.refresh, org.eclipse.core.internal.resources, org.eclipse.core.internal.resources.mapping, org.eclipse.core.internal.resources.refresh.win32, org.eclipse.core.internal.utils, org.eclipse.core.internal.watson, org.eclipse.core.resources, org.eclipse.core.resources.ant, org.eclipse.core.resources.mapping, org.eclipse.core.resources.refresh, org.eclipse.core.resources.team, org.eclipse.core.tests.filesystem, org.eclipse.core.tests.harness, org.eclipse.core.tests.internal.alias, org.eclipse.core.tests.internal.builders, org.eclipse.core.tests.internal.dtree, org.eclipse.core.tests.internal.filesystem.broken, org.eclipse.core.tests.internal.filesystem.ram, org.eclipse.core.tests.internal.filesystem.wrapper, org.eclipse.core.tests.internal.localstore, org.eclipse.core.tests.internal.mapping, org.eclipse.core.tests.internal.properties, org.eclipse.core.tests.internal.resources, org.eclipse.core.tests.internal.utils, org.eclipse.core.tests.internal.watson, org.eclipse.core.tests.resources, org.eclipse.core.tests.resources.content, org.eclipse.core.tests.resources.perf, org.eclipse.core.tests.resources.refresh, org.eclipse.core.tests.resources.regression, org.eclipse.core.tests.resources.session, org.eclipse.core.tests.resources.usecase, org.eclipse.core.tests.session, org.eclipse.core.tests.session.samples, org.eclipse.jdt.core, org.eclipse.jdt.core.compiler, org.eclipse.jdt.core.compiler.batch, org.eclipse.jdt.core.dom, org.eclipse.jdt.core.dom.rewrite, org.eclipse.jdt.core.eval, org.eclipse.jdt.core.formatter, org.eclipse.jdt.core.jdom, org.eclipse.jdt.core.search, org.eclipse.jdt.core.tests, org.eclipse.jdt.core.tests.builder, org.eclipse.jdt.core.tests.compiler.parser, org.eclipse.jdt.core.tests.compiler.regression, org.eclipse.jdt.core.tests.dom, org.eclipse.jdt.core.tests.eval, org.eclipse.jdt.core.tests.eval.target, org.eclipse.jdt.core.tests.formatter, org.eclipse.jdt.core.tests.formatter.comment, org.eclipse.jdt.core.tests.junit.extension, org.eclipse.jdt.core.tests.model, org.eclipse.jdt.core.tests.performance, org.eclipse.jdt.core.tests.performance.util, org.eclipse.jdt.core.tests.rewrite.describing, org.eclipse.jdt.core.tests.rewrite.modifying, org.eclipse.jdt.core.tests.runtime, org.eclipse.jdt.core.tests.util, org.eclipse.jdt.core.util, org.eclipse.jdt.internal.antadapter, org.eclipse.jdt.internal.codeassist, org.eclipse.jdt.internal.codeassist.complete, org.eclipse.jdt.internal.codeassist.impl, org.eclipse.jdt.internal.codeassist.select, org.eclipse.jdt.internal.compiler, org.eclipse.jdt.internal.compiler.ast, org.eclipse.jdt.internal.compiler.batch, org.eclipse.jdt.internal.compiler.classfmt, org.eclipse.jdt.internal.compiler.codegen, org.eclipse.jdt.internal.compiler.env, org.eclipse.jdt.internal.compiler.flow, org.eclipse.jdt.internal.compiler.impl, org.eclipse.jdt.internal.compiler.lookup, org.eclipse.jdt.internal.compiler.parser, org.eclipse.jdt.internal.compiler.parser.diagnose, org.eclipse.jdt.internal.compiler.problem, org.eclipse.jdt.internal.compiler.util, org.eclipse.jdt.internal.core, org.eclipse.jdt.internal.core.builder, org.eclipse.jdt.internal.core.dom, org.eclipse.jdt.internal.core.dom.rewrite, org.eclipse.jdt.internal.core.eval, org.eclipse.jdt.internal.core.hierarchy, org.eclipse.jdt.internal.core.index, org.eclipse.jdt.internal.core.jdom, org.eclipse.jdt.internal.core.search, org.eclipse.jdt.internal.core.search.indexing, org.eclipse.jdt.internal.core.search.matching, org.eclipse.jdt.internal.core.search.processing, org.eclipse.jdt.internal.core.util, org.eclipse.jdt.internal.eval, org.eclipse.jdt.internal.formatter, org.eclipse.jdt.internal.formatter.align, org.eclipse.jdt.internal.formatter.comment, org.eclipse.jdt.internal.formatter.old, org.eclipse.perfmsr.core, org.eclipse.test.internal.performance, org.eclipse.test.internal.performance.data, org.eclipse.test.internal.performance.db, org.eclipse.test.internal.performance.eval, org.eclipse.test.internal.performance.results, org.eclipse.test.internal.performance.tests, org.eclipse.test.performance, org.jmlspecs.annotation, org.jmlspecs.eclipse.jdt.core.tests, org.jmlspecs.eclipse.jdt.core.tests.dbc, org.jmlspecs.eclipse.jdt.core.tests.esc, org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy, org.jmlspecs.eclipse.jdt.core.tests.fspv, org.jmlspecs.eclipse.jdt.core.tests.jml2, org.jmlspecs.eclipse.jdt.core.tests.jml2rac, org.jmlspecs.eclipse.jdt.core.tests.jml5, org.jmlspecs.eclipse.jdt.core.tests.nonnull, org.jmlspecs.eclipse.jdt.core.tests.rac, org.jmlspecs.eclipse.jdt.core.tests.util, org.jmlspecs.eclipse.jdt.internal.compiler.util, org.jmlspecs.eclipse.jdt.internal.esc2, org.jmlspecs.eclipse.jdt.ui, org.jmlspecs.eclipse.jdt.ui.preferences, org.jmlspecs.jml2.checker, org.jmlspecs.jml2.compiler, org.jmlspecs.jml2.util, org.jmlspecs.jml4.ast, org.jmlspecs.jml4.compiler, org.jmlspecs.jml4.compiler.parser, org.jmlspecs.jml4.esc, org.jmlspecs.jml4.esc.gc, org.jmlspecs.jml4.esc.gc.lang, org.jmlspecs.jml4.esc.gc.lang.expr, org.jmlspecs.jml4.esc.gc.lang.simple, org.jmlspecs.jml4.esc.gc.lang.simple.expr, org.jmlspecs.jml4.esc.gc.lang.sugared, org.jmlspecs.jml4.esc.gc.lang.sugared.expr, org.jmlspecs.jml4.esc.provercoordinator.prover, org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3, org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle, org.jmlspecs.jml4.esc.provercoordinator.prover.simplify, org.jmlspecs.jml4.esc.provercoordinator.strategy, org.jmlspecs.jml4.esc.result.lang, org.jmlspecs.jml4.esc.util, org.jmlspecs.jml4.esc.vc, org.jmlspecs.jml4.esc.vc.lang, org.jmlspecs.jml4.fspv, org.jmlspecs.jml4.fspv.phases, org.jmlspecs.jml4.fspv.simpl, org.jmlspecs.jml4.fspv.simpl.ast, org.jmlspecs.jml4.fspv.theory, org.jmlspecs.jml4.fspv.theory.ast, org.jmlspecs.jml4.lookup, org.jmlspecs.jml4.nonnull, org.jmlspecs.jml4.rac, org.jmlspecs.jml4.rac.quantifiedexpression, org.jmlspecs.jml4.rac.runtime, org.jmlspecs.jml4.util, org.jmlspecs.samples.stacks

Class Hierarchy

• java.lang.Object
  • org.eclipse.jdt.internal.compiler.AbstractAnnotationProcessorManager
  • org.eclipse.jdt.core.tests.dom.AbstractASTTests.ASTResult
  • org.eclipse.jdt.core.tests.dom.AbstractASTTests.MarkerInfo
  • org.eclipse.jdt.internal.compiler.parser.AbstractCommentParser (implements org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants)
    • org.eclipse.jdt.internal.compiler.parser.JavadocParser
      • org.eclipse.jdt.internal.codeassist.complete.CompletionJavadocParser
      • org.eclipse.jdt.internal.formatter.FormatterCommentParser (implements org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
      • org.eclipse.jdt.internal.codeassist.select.SelectionJavadocParser
      • org.eclipse.jdt.internal.compiler.SourceJavadocParser
  • org.eclipse.core.internal.dtree.AbstractDataTree
    • org.eclipse.core.internal.dtree.DataTree
    • org.eclipse.core.internal.dtree.DeltaDataTree
  • org.eclipse.core.internal.dtree.AbstractDataTreeNode
    • org.eclipse.core.internal.dtree.DataTreeNode
      • org.eclipse.core.internal.dtree.DataDeltaNode
    • org.eclipse.core.internal.dtree.DeletedNode
    • org.eclipse.core.internal.dtree.NoDataDeltaNode
  • org.eclipse.jface.text.AbstractDocument (implements org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocumentExtension, org.eclipse.jface.text.IDocumentExtension2, org.eclipse.jface.text.IDocumentExtension3, org.eclipse.jface.text.IDocumentExtension4, org.eclipse.jface.text.IRepairableDocument, org.eclipse.jface.text.IRepairableDocumentExtension)
    • org.eclipse.jface.text.Document
      • org.eclipse.jdt.internal.core.DocumentAdapter
  • org.eclipse.jdt.internal.core.builder.AbstractImageBuilder (implements org.eclipse.jdt.internal.core.builder.ICompilationUnitLocator, org.eclipse.jdt.internal.compiler.ICompilerRequestor)
    • org.eclipse.jdt.internal.core.builder.BatchImageBuilder
    • org.eclipse.jdt.internal.core.builder.IncrementalImageBuilder
  • org.eclipse.jdt.internal.core.search.indexing.AbstractIndexer (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
    • org.eclipse.jdt.internal.core.search.indexing.BinaryIndexer (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
    • org.eclipse.jdt.internal.core.search.indexing.SourceIndexer (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.core.tests.model.AbstractJavaModelTests.BasicProblemRequestor (implements org.eclipse.jdt.core.IProblemRequestor)
  • org.eclipse.jdt.core.tests.model.AbstractJavaModelTests.ProblemRequestor (implements org.eclipse.jdt.core.IProblemRequestor)
  • org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
    • org.eclipse.jdt.internal.core.JavaCorePreferenceInitializer
    • org.eclipse.core.internal.resources.PreferenceInitializer
  • org.eclipse.jdt.core.tests.runtime.AbstractReader
    • org.eclipse.jdt.core.tests.runtime.NullConsoleReader
  • org.eclipse.test.internal.performance.results.AbstractResults (implements java.lang.Comparable<T>)
    • org.eclipse.test.internal.performance.results.BuildResults
    • org.eclipse.test.internal.performance.results.ComponentResults
    • org.eclipse.test.internal.performance.results.ConfigResults
    • org.eclipse.test.internal.performance.results.PerformanceResults
    • org.eclipse.test.internal.performance.results.ScenarioResults
  • org.eclipse.jdt.internal.core.search.AbstractSearchScope (implements org.eclipse.jdt.core.search.IJavaSearchScope)
    • org.eclipse.jdt.internal.core.search.AbstractJavaSearchScope
      • org.eclipse.jdt.internal.core.search.JavaSearchScope
      • org.eclipse.jdt.internal.core.search.JavaWorkspaceScope
    • org.eclipse.jdt.internal.core.search.HierarchyScope (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.internal.compiler.env.AccessRestriction
  • org.eclipse.jdt.internal.compiler.env.AccessRule
    • org.eclipse.jdt.internal.core.ClasspathAccessRule (implements org.eclipse.jdt.core.IAccessRule)
  • org.eclipse.jdt.internal.compiler.env.AccessRuleSet
  • org.eclipse.core.internal.resources.AliasManager (implements org.eclipse.core.internal.events.ILifecycleListener, org.eclipse.core.internal.resources.IManager, org.eclipse.core.resources.IResourceChangeListener)
  • org.eclipse.core.internal.resources.AliasManager.AddToCollectionDoit
  • org.eclipse.jdt.internal.formatter.align.Alignment
  • org.eclipse.test.internal.performance.tests.AllTests
  • org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding
    • org.eclipse.jdt.internal.compiler.lookup.UnresolvedAnnotationBinding
  • org.eclipse.jdt.internal.compiler.lookup.AnnotationHolder
  • org.eclipse.jdt.internal.antadapter.AntAdapterMessages
  • org.eclipse.core.internal.utils.ArrayIterator (implements java.util.Iterator<E>)
  • junit.framework.Assert
    • org.eclipse.core.tests.resources.MarkerAttributeChangeListener (implements org.eclipse.core.resources.IResourceChangeListener)
    • org.eclipse.jdt.core.tests.compiler.regression.Requestor (implements org.eclipse.jdt.internal.compiler.ICompilerRequestor)
    • org.eclipse.core.tests.resources.ResourceDeltaVerifier (implements org.eclipse.core.resources.IResourceChangeListener)
      • org.eclipse.core.tests.resources.CharsetTest.CharsetVerifier
    • org.eclipse.core.tests.resources.ResourceVisitorVerifier (implements org.eclipse.core.resources.IResourceVisitor)
    • junit.framework.TestCase (implements junit.framework.Test)
      • org.eclipse.jdt.core.tests.model.AllJavaModelTests
      • org.eclipse.jdt.core.tests.performance.AllPerformanceTests
      • org.eclipse.core.tests.resources.session.AllTests
      • org.eclipse.core.tests.resources.AllTests
      • org.eclipse.core.tests.internal.dtree.AllTests
      • org.eclipse.core.tests.internal.properties.AllTests
      • org.eclipse.core.tests.internal.mapping.AllTests
      • org.eclipse.core.tests.resources.usecase.AllTests
      • org.eclipse.core.tests.internal.watson.AllTests
      • org.eclipse.core.tests.resources.refresh.AllTests
      • org.eclipse.core.tests.internal.utils.AllTests
      • org.eclipse.core.tests.internal.resources.AllTests
      • org.eclipse.core.tests.internal.alias.AllTests
      • org.eclipse.core.tests.resources.regression.AllTests
      • org.eclipse.core.tests.resources.content.AllTests
      • org.eclipse.core.tests.internal.builders.AllTests
      • org.eclipse.core.tests.filesystem.AllTests
      • org.eclipse.core.tests.internal.localstore.AllTests
      • org.jmlspecs.eclipse.jdt.core.tests.rac.AllTestSuites
      • org.eclipse.core.tests.resources.AutomatedTests
      • org.eclipse.core.tests.internal.utils.CacheTest
      • org.eclipse.core.tests.harness.CoreTest
        • org.eclipse.core.tests.resources.regression.Bug_134364
        • org.eclipse.core.tests.resources.content.ContentTypeTest
          • org.eclipse.core.tests.resources.content.ContentDescriptionTest
          • org.eclipse.core.tests.resources.content.IContentTypeManagerTest
          • org.eclipse.core.tests.resources.content.SpecificContextTest
          • org.eclipse.core.tests.resources.content.TestBug94498
          • org.eclipse.core.tests.resources.content.XMLContentDescriberTest
        • org.eclipse.core.tests.filesystem.FileSystemTest
          • org.eclipse.core.tests.filesystem.CreateDirectoryTest
          • org.eclipse.core.tests.filesystem.DeleteTest
          • org.eclipse.core.tests.filesystem.EFSTest
          • org.eclipse.core.tests.filesystem.FileCacheTest
          • org.eclipse.core.tests.filesystem.OpenOutputStreamTest
          • org.eclipse.core.tests.filesystem.PutInfoTest
          • org.eclipse.core.tests.filesystem.SymlinkTest
          • org.eclipse.core.tests.filesystem.URIUtilTest
        • org.eclipse.core.tests.internal.localstore.PrefixPoolTest
        • org.eclipse.core.tests.resources.ResourceTest
          • org.eclipse.core.tests.internal.builders.AbstractBuilderTest
            • org.eclipse.core.tests.resources.regression.Bug_147232 (implements org.eclipse.core.resources.IResourceChangeListener)
            • org.eclipse.core.tests.internal.builders.BuildDeltaVerificationTest
            • org.eclipse.core.tests.internal.builders.BuilderCycleTest
            • org.eclipse.core.tests.internal.builders.BuilderEventTest
            • org.eclipse.core.tests.internal.builders.BuilderNatureTest
            • org.eclipse.core.tests.internal.builders.BuilderTest
            • org.eclipse.core.tests.internal.builders.CustomBuildTriggerTest
            • org.eclipse.core.tests.internal.builders.EmptyDeltaTest
            • org.eclipse.core.tests.resources.regression.IProjectTest
            • org.eclipse.core.tests.internal.builders.MultiProjectBuildTest
          • org.eclipse.core.tests.internal.alias.BasicAliasTest
          • org.eclipse.core.tests.resources.perf.BenchFileStore
          • org.eclipse.core.tests.resources.perf.BenchMiscWorkspace
          • org.eclipse.core.tests.resources.perf.BenchWorkspace
          • org.eclipse.core.tests.internal.localstore.BucketTreeTests
          • org.eclipse.core.tests.resources.regression.Bug_006708
          • org.eclipse.core.tests.resources.regression.Bug_025457
          • org.eclipse.core.tests.resources.regression.Bug_026294
          • org.eclipse.core.tests.resources.regression.Bug_027271
          • org.eclipse.core.tests.resources.regression.Bug_028981
          • org.eclipse.core.tests.resources.regression.Bug_029116
          • org.eclipse.core.tests.resources.regression.Bug_029671
          • org.eclipse.core.tests.resources.regression.Bug_029851
          • org.eclipse.core.tests.resources.regression.Bug_032076
          • org.eclipse.core.tests.resources.regression.Bug_044106
          • org.eclipse.core.tests.resources.regression.Bug_079398
          • org.eclipse.core.tests.resources.regression.Bug_092108
          • org.eclipse.core.tests.resources.regression.Bug_097608
          • org.eclipse.core.tests.resources.regression.Bug_098740
          • org.eclipse.core.tests.resources.regression.Bug_126104
          • org.eclipse.core.tests.resources.regression.Bug_127562
          • org.eclipse.core.tests.resources.regression.Bug_132510
          • org.eclipse.core.tests.resources.regression.Bug_160251
          • org.eclipse.core.tests.resources.regression.Bug_165892
          • org.eclipse.core.tests.resources.regression.Bug_226264
          • org.eclipse.core.tests.resources.regression.Bug_231301
          • org.eclipse.core.tests.resources.regression.Bug_265810
          • org.eclipse.core.tests.internal.mapping.ChangeValidationTest
          • org.eclipse.core.tests.resources.CharsetTest
          • org.eclipse.core.tests.resources.usecase.ConcurrencyPerformanceTest
          • org.eclipse.core.tests.resources.usecase.ConcurrencyTest
          • org.eclipse.core.tests.resources.ContentDescriptionManagerTest
          • org.eclipse.core.tests.resources.perf.ContentDescriptionPerformanceTest
          • org.eclipse.core.tests.resources.ExampleWorkspaceTest
          • org.eclipse.core.tests.resources.HiddenResourceTest
          • org.eclipse.core.tests.internal.localstore.HistoryBucketTest
          • org.eclipse.core.tests.internal.localstore.HistoryStoreConversionTest
          • org.eclipse.core.tests.resources.usecase.HistoryStorePerformanceTest
          • org.eclipse.core.tests.internal.localstore.HistoryStoreTest
          • org.eclipse.core.tests.resources.IFileTest
          • org.eclipse.core.tests.resources.regression.IFileTest
          • org.eclipse.core.tests.resources.IFolderTest
          • org.eclipse.core.tests.resources.regression.IFolderTest
          • org.eclipse.core.tests.resources.IPathVariableTest
          • org.eclipse.core.tests.resources.IProjectDescriptionTest
          • org.eclipse.core.tests.resources.IProjectTest
          • org.eclipse.core.tests.resources.IResourceChangeEventTest
          • org.eclipse.core.tests.resources.IResourceChangeListenerTest
          • org.eclipse.core.tests.resources.IResourceDeltaTest
          • org.eclipse.core.tests.resources.IResourceTest
          • org.eclipse.core.tests.resources.usecase.IResourceTest
            • org.eclipse.core.tests.resources.usecase.IFileTest
            • org.eclipse.core.tests.resources.usecase.IFolderTest
            • org.eclipse.core.tests.resources.usecase.IProjectTest
          • org.eclipse.core.tests.resources.regression.IResourceTest
          • org.eclipse.core.tests.resources.ISynchronizerTest
          • org.eclipse.core.tests.resources.IWorkspaceRootTest
          • org.eclipse.core.tests.resources.usecase.IWorkspaceRunnableUseCaseTest
          • org.eclipse.core.tests.resources.IWorkspaceTest
          • org.eclipse.core.tests.resources.regression.IWorkspaceTest
          • org.eclipse.core.tests.resources.LinkedResourceTest
            • org.eclipse.core.tests.resources.LinkedResourceWithPathVariableTest
          • org.eclipse.core.tests.resources.perf.LocalHistoryPerformanceTest
          • org.eclipse.core.tests.internal.localstore.LocalStoreTest
            • org.eclipse.core.tests.internal.localstore.BlobStoreTest
            • org.eclipse.core.tests.internal.localstore.CaseSensitivityTest
            • org.eclipse.core.tests.internal.localstore.CopyTest
            • org.eclipse.core.tests.internal.localstore.DeleteTest
            • org.eclipse.core.tests.filesystem.FileStoreTest
            • org.eclipse.core.tests.internal.localstore.FileSystemResourceManagerTest (implements org.eclipse.core.internal.resources.ICoreConstants)
            • org.eclipse.core.tests.resources.regression.LocalStoreRegressionTests
            • org.eclipse.core.tests.internal.localstore.LocalSyncTest (implements org.eclipse.core.internal.resources.ICoreConstants)
            • org.eclipse.core.tests.internal.localstore.MoveTest
            • org.eclipse.core.tests.internal.properties.PropertyManagerTest
            • org.eclipse.core.tests.internal.localstore.RefreshLocalTest (implements org.eclipse.core.internal.resources.ICoreConstants)
            • org.eclipse.core.tests.internal.localstore.SafeChunkyInputOutputStreamTest
            • org.eclipse.core.tests.internal.localstore.SymlinkResourceTest
            • org.eclipse.core.tests.internal.localstore.UnifiedTreeTest
          • org.eclipse.core.tests.resources.perf.MarkerPerformanceTest
          • org.eclipse.core.tests.resources.MarkerSetTest
          • org.eclipse.core.tests.resources.MarkerTest
          • org.eclipse.core.tests.internal.resources.ModelObjectReaderWriterTest
          • org.eclipse.core.tests.resources.NatureTest
          • org.eclipse.core.tests.resources.regression.NLTest
          • org.eclipse.core.tests.resources.NonLocalLinkedResourceTest
          • org.eclipse.core.tests.internal.utils.ObjectMapTest
          • org.eclipse.core.tests.resources.OldCorePerformanceTest
            • org.eclipse.core.tests.resources.perf.BenchCopyFile
            • org.eclipse.core.tests.resources.perf.BenchElementTree
          • org.eclipse.core.tests.resources.regression.PR_1GEAB3C_Test
          • org.eclipse.core.tests.resources.regression.PR_1GH2B0N_Test
          • org.eclipse.core.tests.resources.regression.PR_1GHOM0N_Test
          • org.eclipse.core.tests.resources.ProjectOrderTest
          • org.eclipse.core.tests.internal.resources.ProjectPreferencesTest
          • org.eclipse.core.tests.internal.properties.PropertyConversionTest
          • org.eclipse.core.tests.resources.perf.PropertyManagerPerformanceTest
          • org.eclipse.core.tests.internal.localstore.RefreshLocalPerformanceTest
          • org.eclipse.core.tests.resources.refresh.RefreshProviderTest
          • org.eclipse.core.tests.resources.ResourceAttributeTest
          • org.eclipse.core.tests.internal.resources.ResourceInfoTest
          • org.eclipse.core.tests.resources.ResourceURLTest
          • org.eclipse.core.tests.internal.localstore.SafeFileInputOutputStreamTest
          • org.eclipse.core.tests.internal.alias.SyncAliasTest
          • org.eclipse.core.tests.resources.TeamPrivateMemberTest
          • org.eclipse.core.tests.internal.resources.WorkspaceConcurrencyTest
          • org.eclipse.core.tests.resources.perf.WorkspacePerformanceTest
            • org.eclipse.core.tests.resources.perf.BuilderPerformanceTest
          • org.eclipse.core.tests.internal.resources.WorkspacePreferencesTest
          • org.eclipse.core.tests.resources.WorkspaceSessionTest
            • org.eclipse.core.tests.resources.session.Bug_266907
            • org.eclipse.core.tests.resources.session.FindDeletedMembersTest
            • org.eclipse.core.tests.resources.session.ProjectPreferenceSessionTest
            • org.eclipse.core.tests.resources.session.SampleSessionTest
            • org.eclipse.core.tests.resources.usecase.SnapshotTest
              • org.eclipse.core.tests.resources.usecase.Snapshot1Test
              • org.eclipse.core.tests.resources.usecase.Snapshot2Test
              • org.eclipse.core.tests.resources.usecase.Snapshot3Test
              • org.eclipse.core.tests.resources.usecase.Snapshot4Test
              • org.eclipse.core.tests.resources.usecase.Snapshot5Test
            • org.eclipse.core.tests.resources.session.Test1GALH44
            • org.eclipse.core.tests.resources.session.TestBug208833
            • org.eclipse.core.tests.resources.session.TestBug30015
            • org.eclipse.core.tests.resources.session.TestBug6995
            • org.eclipse.core.tests.resources.session.TestBug93473
            • org.eclipse.core.tests.resources.session.TestInterestingProjectPersistence
            • org.eclipse.core.tests.resources.session.TestMissingBuilder
            • org.eclipse.core.tests.resources.regression.TestMultipleBuildersOfSameType
            • org.eclipse.core.tests.resources.session.WorkspaceDescriptionTest
            • org.eclipse.core.tests.resources.session.WorkspaceSerializationTest
              • org.eclipse.core.tests.resources.session.Test1G1N9GZ
              • org.eclipse.core.tests.resources.session.TestBug113943
              • org.eclipse.core.tests.resources.session.TestBug12575
              • org.eclipse.core.tests.resources.session.TestBug20127
              • org.eclipse.core.tests.resources.session.TestBuilderDeltaSerialization
              • org.eclipse.core.tests.resources.session.TestClosedProjectLocation
              • org.eclipse.core.tests.resources.session.TestCloseNoSave
              • org.eclipse.core.tests.resources.session.TestCreateLinkedResourceInHiddenProject
              • org.eclipse.core.tests.resources.session.TestMasterTableCleanup
              • org.eclipse.core.tests.resources.session.TestMultiSnap
              • org.eclipse.core.tests.resources.session.TestSave
              • org.eclipse.core.tests.resources.session.TestSaveCreateProject
              • org.eclipse.core.tests.resources.session.TestSaveSnap
              • org.eclipse.core.tests.resources.session.TestSaveWithClosedProject
              • org.eclipse.core.tests.resources.session.TestSnapSaveSnap
          • org.eclipse.core.tests.resources.WorkspaceTest
      • org.eclipse.core.tests.internal.dtree.DataTreeTest
        • org.eclipse.core.tests.internal.dtree.DeltaDataTreeTest
      • org.eclipse.test.internal.performance.tests.DBTests
      • org.eclipse.core.tests.harness.ExampleTest
      • org.eclipse.core.tests.resources.content.LazyInputStreamTest
      • org.eclipse.core.tests.resources.content.LazyReaderTest
      • org.eclipse.core.tests.session.samples.MultipleRunsTest
      • org.eclipse.core.tests.session.samples.MultipleRunsTest2
      • org.eclipse.jdt.core.tests.performance.OneTest
      • org.eclipse.test.internal.performance.tests.PerformanceMeterFactoryTest
      • org.eclipse.test.performance.PerformanceTestCase
        • org.eclipse.jdt.core.tests.junit.extension.TestCase
          • org.eclipse.jdt.core.tests.util.AbstractCompilerTest
            • org.eclipse.jdt.core.tests.compiler.parser.AbstractCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.AllocationExpressionCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.AnnotationCompletionParserTest
              • org.eclipse.jdt.core.tests.compiler.parser.ClassLiteralAccessCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.CompletionParserTest
              • org.eclipse.jdt.core.tests.compiler.parser.CompletionParserTest2
              • org.eclipse.jdt.core.tests.compiler.parser.CompletionParserTestKeyword
              • org.eclipse.jdt.core.tests.compiler.parser.CompletionRecoveryTest
              • org.eclipse.jdt.core.tests.compiler.parser.DietCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.EnumCompletionParserTest
              • org.eclipse.jdt.core.tests.compiler.parser.ExplicitConstructorInvocationCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.FieldAccessCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.GenericsCompletionParserTest
              • org.eclipse.jdt.core.tests.compiler.parser.InnerTypeCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.JavadocCompletionParserTest (implements org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants)
              • org.eclipse.jdt.core.tests.compiler.parser.LabelStatementCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.MethodInvocationCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.NameReferenceCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.ReferenceTypeCompletionTest
              • org.eclipse.jdt.core.tests.compiler.parser.SingleCompletionTest
            • org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest (implements org.eclipse.jdt.core.tests.junit.extension.StopableTestCase)
              • org.eclipse.jdt.core.tests.compiler.regression.AbstractComparableTest
                • org.eclipse.jdt.core.tests.compiler.regression.AmbiguousMethodTest
                • org.eclipse.jdt.core.tests.compiler.regression.AnnotationTest
                • org.eclipse.jdt.core.tests.compiler.regression.AutoBoxingTest
                • org.eclipse.jdt.core.tests.compiler.regression.Compliance_1_5
                • org.eclipse.jdt.core.tests.compiler.regression.EnclosingMethodAttributeTest
                • org.eclipse.jdt.core.tests.compiler.regression.EnumTest
                • org.eclipse.jdt.core.tests.compiler.regression.ForeachStatementTest
                • org.eclipse.jdt.core.tests.compiler.regression.GenericTypeTest
                • org.eclipse.jdt.core.tests.compiler.regression.MethodVerifyTest
                • org.eclipse.jdt.core.tests.compiler.regression.StaticImportTest
                • org.eclipse.jdt.core.tests.compiler.regression.VarargsTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.AnnotatedLoopTest
              • org.eclipse.jdt.core.tests.compiler.regression.ArrayTest
              • org.eclipse.jdt.core.tests.compiler.regression.AssertionTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.AssignableTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.AssignableTestCompiler
              • org.eclipse.jdt.core.tests.compiler.regression.AssignmentTest
              • org.eclipse.jdt.core.tests.compiler.regression.ASTImplTests
              • org.eclipse.jdt.core.tests.compiler.regression.BatchCompilerTest
              • org.eclipse.jdt.core.tests.compiler.regression.BooleanTest
              • org.eclipse.jdt.core.tests.compiler.regression.CastTest
              • org.eclipse.jdt.core.tests.compiler.regression.CharOperationTest
              • org.eclipse.jdt.core.tests.compiler.regression.ClassFileComparatorTest
              • org.eclipse.jdt.core.tests.compiler.regression.ClassFileReaderTest_1_4
              • org.eclipse.jdt.core.tests.compiler.regression.ClassFileReaderTest_1_5
              • org.eclipse.jdt.core.tests.compiler.regression.CollisionCase
              • org.eclipse.jdt.core.tests.compiler.regression.CompilerInvocationTests
              • org.eclipse.jdt.core.tests.compiler.regression.Compliance_1_3
              • org.eclipse.jdt.core.tests.compiler.regression.Compliance_1_4
              • org.eclipse.jdt.core.tests.compiler.regression.Compliance_CLDC
              • org.eclipse.jdt.core.tests.compiler.parser.ComplianceDiagnoseTest
              • org.eclipse.jdt.core.tests.compiler.regression.ConditionalExpressionTest
              • org.eclipse.jdt.core.tests.compiler.regression.ConstantTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.ConstraintsTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.DataGroupTestCompiler
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.DbcTestCompiler
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.DbcTestRuntime
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.DbcTestRuntime_2
              • org.eclipse.jdt.core.tests.compiler.regression.DebugAttributeTest
              • org.eclipse.jdt.core.tests.compiler.regression.Deprecated15Test
              • org.eclipse.jdt.core.tests.compiler.regression.DeprecatedTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.EnumTest
              • org.jmlspecs.eclipse.jdt.core.tests.esc.EscTest
                • org.jmlspecs.eclipse.jdt.core.tests.esc.ArrayTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.FieldTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.InitialTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.QuantifierTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.ReportedBugsTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.SanityTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.SimplifyTests
                • org.jmlspecs.eclipse.jdt.core.tests.esc.WhileTests
              • org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.EuclidTests
              • org.eclipse.jdt.core.tests.compiler.regression.ExternalizeStringLiterals15Test
              • org.eclipse.jdt.core.tests.compiler.regression.ExternalizeStringLiteralsTest
              • org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.FactorialTests
              • org.eclipse.jdt.core.tests.compiler.regression.FieldAccessTest
              • org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.FindTests
              • org.eclipse.jdt.core.tests.compiler.regression.FlowAnalysisTest
              • org.eclipse.jdt.core.tests.compiler.regression.ForStatementTest
              • org.eclipse.jdt.core.tests.compiler.regression.GenericTypeSignatureTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.ImpliesTestRuntime
              • org.eclipse.jdt.core.tests.compiler.regression.InnerEmulationTest
              • org.eclipse.jdt.core.tests.compiler.regression.InternalHexFloatTest
              • org.eclipse.jdt.core.tests.compiler.regression.InternalScannerTest
              • org.eclipse.jdt.core.tests.compiler.regression.JavadocTest
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocBugsTest
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTest_1_3
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTest_1_4
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTest_1_5
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestForClass
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestForConstructor
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestForField
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestForInterface
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestForMethod
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestMixed
                • org.eclipse.jdt.core.tests.compiler.regression.JavadocTestOptions
              • org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5BasicTests
              • org.jmlspecs.eclipse.jdt.core.tests.util.JmlTestCase
                • org.jmlspecs.eclipse.jdt.core.tests.jml2.JML2TestCase
                • org.jmlspecs.eclipse.jdt.core.tests.nonnull.Jml5StyleNullity
                • org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5StyleNullity
                • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NullTypeSystemTestCompiler
              • org.eclipse.jdt.core.tests.compiler.regression.LineNumberAttributeTest
              • org.eclipse.jdt.core.tests.compiler.regression.LocalVariableTest
              • org.eclipse.jdt.core.tests.compiler.regression.LookupTest
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NNTS_ArrayTestCompiler
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NNTS_MonoTestCompiler
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NNTS_MonoTestRuntime
              • org.eclipse.jdt.core.tests.compiler.regression.NonFatalErrorTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.NowarnTest
              • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceTest
                • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTests
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NullTypeSystemTestJml2
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.NullTypeSystemTestRuntime
              • org.eclipse.jdt.core.tests.compiler.regression.NumericTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.OldTest
              • org.eclipse.jdt.core.tests.compiler.parser.ParserTest
              • org.eclipse.jdt.core.tests.compiler.regression.ProblemConstructorTest
              • org.eclipse.jdt.core.tests.compiler.regression.ProblemTypeAndMethodTest
              • org.eclipse.jdt.core.tests.compiler.regression.ProgrammingProblemsTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.QuantifierTest
              • org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.QueensTests
              • org.jmlspecs.eclipse.jdt.core.tests.rac.RacTestCompiler
                • org.jmlspecs.eclipse.jdt.core.tests.rac.AstMergerTest
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.bugs
                • org.jmlspecs.eclipse.jdt.core.tests.rac.ClassLevelSpecificationTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.ConstructorSpecificationTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.DesugarSpecificationTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.ExpressionTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.GenericTypeTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.GhostOrModelFieldTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.InheritanceTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.InlineAssertionTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.InnerClassTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.InterfaceTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.Java5Test
                • org.jmlspecs.eclipse.jdt.core.tests.rac.KnownFailureFrontEndTest
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.KnownFailures
                • org.jmlspecs.eclipse.jdt.core.tests.rac.KnownFailureTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.Level0Test
                • org.jmlspecs.eclipse.jdt.core.tests.rac.Level1Test
                • org.jmlspecs.eclipse.jdt.core.tests.rac.MethodSpecificationTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.OtherTests
                • org.jmlspecs.eclipse.jdt.core.tests.rac.QuantifiedExpressionTest
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.racgen
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.racopt
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.RacProblems
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.racref
                • org.jmlspecs.eclipse.jdt.core.tests.jml2rac.racrun
                • org.jmlspecs.eclipse.jdt.core.tests.rac.Samples
                • org.jmlspecs.eclipse.jdt.core.tests.rac.SignalsClauseTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.ViolationReportingTest
                • org.jmlspecs.eclipse.jdt.core.tests.rac.WrapperMethodGeneratorTest
              • org.eclipse.jdt.core.tests.compiler.regression.RuntimeTests
              • org.jmlspecs.eclipse.jdt.core.tests.nonnull.SanityTests
              • org.eclipse.jdt.core.tests.compiler.regression.ScannerTest
              • org.eclipse.jdt.core.tests.compiler.regression.SerialVersionUIDTests
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.SetComprehensionTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.SetStatementTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.SignalsTestCompiler
              • org.eclipse.jdt.core.tests.compiler.regression.StackMapAttributeTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.SubtypeExpressionTest
              • org.eclipse.jdt.core.tests.compiler.regression.SuperTypeTest
              • org.eclipse.jdt.core.tests.compiler.regression.SwitchTest
              • org.eclipse.jdt.core.tests.compiler.regression.TryStatementTest
              • org.jmlspecs.eclipse.jdt.core.tests.dbc.TypeTest
              • org.eclipse.jdt.core.tests.compiler.regression.UtilTest
              • org.jmlspecs.eclipse.jdt.core.tests.fspv.WhileTests
              • org.eclipse.jdt.core.tests.compiler.regression.XLargeTest
            • org.eclipse.jdt.core.tests.compiler.parser.AbstractSelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.AnnotationSelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.EnumSelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.ExplicitConstructorInvocationSelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.GenericsSelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.SelectionJavadocTest
              • org.eclipse.jdt.core.tests.compiler.parser.SelectionTest
              • org.eclipse.jdt.core.tests.compiler.parser.SelectionTest2
            • org.eclipse.jdt.core.tests.compiler.parser.AnnotationDietRecoveryTest
            • org.eclipse.jdt.core.tests.compiler.parser.DietRecoveryTest
            • org.eclipse.jdt.core.tests.compiler.parser.DocumentElementParserTest
            • org.eclipse.jdt.core.tests.compiler.parser.DualParseSyntaxErrorTest
            • org.eclipse.jdt.core.tests.compiler.parser.EnumDietRecoveryTest
            • org.eclipse.jdt.core.tests.eval.EvaluationTest (implements org.eclipse.jdt.core.tests.junit.extension.StopableTestCase)
              • org.eclipse.jdt.core.tests.eval.CodeSnippetTest
              • org.eclipse.jdt.core.tests.eval.DebugEvaluationTest
              • org.eclipse.jdt.core.tests.eval.NegativeCodeSnippetTest (implements org.eclipse.jdt.internal.compiler.lookup.ProblemReasons, org.eclipse.jdt.internal.compiler.problem.ProblemSeverities)
              • org.eclipse.jdt.core.tests.eval.NegativeVariableTest (implements org.eclipse.jdt.internal.compiler.lookup.ProblemReasons, org.eclipse.jdt.internal.compiler.problem.ProblemSeverities)
              • org.eclipse.jdt.core.tests.eval.SanityTestEvaluationContext
              • org.eclipse.jdt.core.tests.eval.SanityTestEvaluationResult
              • org.eclipse.jdt.core.tests.eval.TestAll
              • org.eclipse.jdt.core.tests.eval.VariableTest
            • org.eclipse.jdt.core.tests.compiler.parser.GenericDietRecoveryTest
            • org.eclipse.jdt.core.tests.compiler.parser.SourceElementParserTest (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
            • org.eclipse.jdt.core.tests.compiler.parser.StatementRecoveryTest
            • org.eclipse.jdt.core.tests.compiler.parser.StatementRecoveryTest_1_5
            • org.eclipse.jdt.core.tests.compiler.parser.SyntaxErrorTest
          • org.eclipse.jdt.core.tests.dom.ASTMatcherTest
          • org.eclipse.jdt.core.tests.dom.ASTParserTest
          • org.eclipse.jdt.core.tests.dom.ASTStructuralPropertyTest
          • org.eclipse.jdt.core.tests.dom.ASTTest
          • org.eclipse.jdt.core.tests.dom.ASTVisitorTest
          • org.eclipse.jdt.core.tests.builder.BuilderTests
            • org.eclipse.jdt.core.tests.builder.AbstractMethodTests
            • org.eclipse.jdt.core.tests.builder.BasicBuildTests
            • org.eclipse.jdt.core.tests.builder.BuildpathTests
            • org.eclipse.jdt.core.tests.builder.CopyResourceTests
            • org.eclipse.jdt.core.tests.builder.DependencyTests
            • org.eclipse.jdt.core.tests.builder.EfficiencyTests
            • org.eclipse.jdt.core.tests.builder.ErrorsTests
            • org.eclipse.jdt.core.tests.builder.ExecutionTests
            • org.eclipse.jdt.core.tests.builder.GetResourcesTests
            • org.eclipse.jdt.core.tests.builder.IncrementalTests
            • org.eclipse.jdt.core.tests.builder.Java50Tests
            • org.eclipse.jdt.core.tests.builder.MultiProjectTests
            • org.eclipse.jdt.core.tests.builder.MultiSourceFolderAndOutputFolderTests
            • org.eclipse.jdt.core.tests.builder.OutputFolderTests
            • org.eclipse.jdt.core.tests.builder.PackageInfoTest
            • org.eclipse.jdt.core.tests.builder.PackageTests
            • org.eclipse.jdt.core.tests.builder.ParticipantBuildTests
            • org.eclipse.jdt.core.tests.builder.StaticFinalTests
          • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceTests
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceASTTests
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceBuildTests
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceCompletionTests
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceFormatterTests
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceModelTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceSearchTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
              • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceCompleteSearchTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
            • org.eclipse.jdt.core.tests.performance.FullSourceWorkspaceTypeHierarchyTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
          • org.eclipse.jdt.core.tests.model.SuiteOfTestCases
            • org.eclipse.jdt.core.tests.model.AbstractJavaModelTests
              • org.eclipse.jdt.core.tests.model.AbstractJavaModelCompletionTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.AbstractJavadocCompletionModelTest (implements org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants)
                  • org.eclipse.jdt.core.tests.model.JavadocBugsCompletionModelTest
                  • org.eclipse.jdt.core.tests.model.JavadocFieldCompletionModelTest
                  • org.eclipse.jdt.core.tests.model.JavadocMethodCompletionModelTest
                  • org.eclipse.jdt.core.tests.model.JavadocPackageCompletionModelTest
                  • org.eclipse.jdt.core.tests.model.JavadocTextCompletionModelTest
                  • org.eclipse.jdt.core.tests.model.JavadocTypeCompletionModelTest
                • org.eclipse.jdt.core.tests.model.CompletionContextTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionContextTests_1_5 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionTests_1_5 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionWithMissingTypesTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionWithMissingTypesTests_1_5 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.JavadocCompletionContextTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.JavadocCompletionContextTests_1_5 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.SnippetCompletionContextTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
              • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingCopyTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingInsertTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingMoveTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingOtherTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingRemoveTest
                • org.eclipse.jdt.core.tests.rewrite.modifying.ASTRewritingModifyingReplaceTest
              • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingExpressionsTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingGroupNodeTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingInsertBoundTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingJavadocTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingMethodDeclTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingMoveCodeTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingRevertTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingStatementsTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingTrackingTest
                • org.eclipse.jdt.core.tests.rewrite.describing.ASTRewritingTypeDeclTest
                • org.eclipse.jdt.core.tests.rewrite.describing.LineCommentOffsetsTest
                • org.eclipse.jdt.core.tests.rewrite.describing.SourceModifierTest
              • org.eclipse.jdt.core.tests.model.BindingKeyTests
              • org.eclipse.jdt.core.tests.model.CodeCorrectionTests
              • org.eclipse.jdt.core.tests.model.CreateImportsTests
              • org.eclipse.jdt.core.tests.model.CreateMembersTests
              • org.eclipse.jdt.core.tests.model.CreateMethodSourceExamplesTests
              • org.eclipse.jdt.core.tests.model.CreateTypeSourceExamplesTests
              • org.eclipse.jdt.core.tests.formatter.FormatterRegressionTests
                • org.eclipse.jdt.core.tests.formatter.FormatterCommentsMassiveTests
                • org.eclipse.jdt.core.tests.formatter.FormatterCommentsTests
                  • org.eclipse.jdt.core.tests.formatter.FormatterCommentsBugsTest
                  • org.eclipse.jdt.core.tests.formatter.FormatterCommentsClearBlankLinesTests
                  • org.eclipse.jdt.core.tests.formatter.FormatterJavadocDontIndentTagsDescriptionTests
                  • org.eclipse.jdt.core.tests.formatter.FormatterJavadocDontIndentTagsTests
              • org.eclipse.jdt.core.tests.rewrite.describing.ImportRewriteTest
              • org.eclipse.jdt.core.tests.model.JavaConventionTests
              • org.eclipse.jdt.core.tests.model.ModifyingResourceTests
                • org.eclipse.jdt.core.tests.dom.AbstractASTTests (implements org.eclipse.jdt.core.tests.dom.DefaultMarkedNodeLabelProviderOptions)
                  • org.eclipse.jdt.core.tests.dom.APIDocumentationTests
                  • org.eclipse.jdt.core.tests.dom.ASTModelBridgeTests
                  • org.eclipse.jdt.core.tests.dom.BatchASTCreationTests
                  • org.eclipse.jdt.core.tests.dom.CompatibilityRulesTests
                  • org.eclipse.jdt.core.tests.dom.ConverterTestSetup
                    • org.eclipse.jdt.core.tests.dom.ASTConverter15Test
                    • org.eclipse.jdt.core.tests.dom.ASTConverter16Test
                    • org.eclipse.jdt.core.tests.dom.ASTConverterAST3Test
                    • org.eclipse.jdt.core.tests.dom.ASTConverterBindingsTest
                    • org.eclipse.jdt.core.tests.dom.ASTConverterBugsTest
                      • org.eclipse.jdt.core.tests.dom.ASTConverterBugsTestJLS3
                    • org.eclipse.jdt.core.tests.dom.ASTConverterJavadocTest
                    • org.eclipse.jdt.core.tests.dom.ASTConverterRecoveryTest
                    • org.eclipse.jdt.core.tests.dom.ASTConverterTest
                    • org.eclipse.jdt.core.tests.dom.ASTConverterTest2
                    • org.eclipse.jdt.core.tests.dom.ASTConverterTestAST3_2
                    • org.eclipse.jdt.core.tests.dom.ASTPositionsTest
                • org.eclipse.jdt.core.tests.model.AbstractJavaSearchTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                  • org.eclipse.jdt.core.tests.model.JavaSearchBugsTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                  • org.eclipse.jdt.core.tests.model.JavaSearchTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                    • org.eclipse.jdt.core.tests.model.AbstractJavaSearchGenericTests
                      • org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorEquivalentTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorExactTests
                      • org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodEquivalentTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodExactTests
                      • org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeEquivalentTests
                        • org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeExactTests
                    • org.eclipse.jdt.core.tests.model.JavaSearchFineGrainTests
                    • org.eclipse.jdt.core.tests.model.JavaSearchGenericFieldTests
                    • org.eclipse.jdt.core.tests.model.JavaSearchJavadocTests
                    • org.eclipse.jdt.core.tests.model.WorkingCopySearchTests
                • org.eclipse.jdt.core.tests.model.AccessRestrictionsTests
                • org.eclipse.jdt.core.tests.model.AttachedJavadocTests
                • org.eclipse.jdt.core.tests.model.AttachSourceTests
                • org.eclipse.jdt.core.tests.model.BufferTests (implements org.eclipse.jdt.core.IBufferChangedListener)
                • org.eclipse.jdt.core.tests.model.ClassFileTests
                • org.eclipse.jdt.core.tests.model.ClassNameTests
                • org.eclipse.jdt.core.tests.model.ClasspathInitializerTests
                • org.eclipse.jdt.core.tests.model.ClasspathTests
                • org.eclipse.jdt.core.tests.model.CompilationUnitTests
                • org.eclipse.jdt.core.tests.model.CompletionTests2 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CompletionWithMissingTypesTests2 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
                • org.eclipse.jdt.core.tests.model.CopyMoveTests
                  • org.eclipse.jdt.core.tests.model.CopyMoveElementsTests
                  • org.eclipse.jdt.core.tests.model.CopyMoveResourcesTests
                  • org.eclipse.jdt.core.tests.model.RenameTests
                • org.eclipse.jdt.core.tests.model.CreateCompilationUnitTests
                • org.eclipse.jdt.core.tests.model.CreatePackageTests
                • org.eclipse.jdt.core.tests.model.DeleteTests
                • org.eclipse.jdt.core.tests.model.EncodingTests
                • org.eclipse.jdt.core.tests.model.ExclusionPatternsTests
                • org.eclipse.jdt.core.tests.model.ExistenceTests
                • org.eclipse.jdt.core.tests.model.ExternalJarDeltaTests
                • org.eclipse.jdt.core.tests.model.FactoryTests
                • org.eclipse.jdt.core.tests.model.GetSourceTests
                • org.eclipse.jdt.core.tests.model.InclusionPatternsTests
                • org.eclipse.jdt.core.tests.model.JavaElementDeltaTests
                • org.eclipse.jdt.core.tests.model.JavaLikeExtensionsTests
                • org.eclipse.jdt.core.tests.model.JavaModelTests
                • org.eclipse.jdt.core.tests.model.JavaProjectTests
                • org.eclipse.jdt.core.tests.model.JavaSearchMultipleProjectsTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                • org.eclipse.jdt.core.tests.model.JavaSearchScopeTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                • org.eclipse.jdt.core.tests.model.LocalElementTests
                • org.eclipse.jdt.core.tests.model.MementoTests
                • org.eclipse.jdt.core.tests.model.NameLookupTests2
                • org.eclipse.jdt.core.tests.model.OptionTests
                • org.eclipse.jdt.core.tests.model.OverflowingCacheTests
                • org.eclipse.jdt.core.tests.model.ReconcilerStatementsRecoveryTests
                • org.eclipse.jdt.core.tests.model.ReconcilerTests
                • org.eclipse.jdt.core.tests.model.ResolveTests2
                • org.eclipse.jdt.core.tests.model.RootManipulationsTests
                • org.eclipse.jdt.core.tests.model.SearchParticipantTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                • org.eclipse.jdt.core.tests.model.SearchTests (implements org.eclipse.jdt.core.search.IJavaSearchConstants)
                • org.eclipse.jdt.core.tests.model.SortCompilationUnitElementsTests
                • org.eclipse.jdt.core.tests.model.ThreadSafetyTests
                • org.eclipse.jdt.core.tests.model.TypeHierarchyNotificationTests (implements org.eclipse.jdt.core.ITypeHierarchyChangedListener)
                • org.eclipse.jdt.core.tests.model.TypeHierarchyTests
                • org.eclipse.jdt.core.tests.model.TypeResolveTests
                • org.eclipse.jdt.core.tests.model.WorkingCopyNotInClasspathTests
                • org.eclipse.jdt.core.tests.model.WorkingCopyOwnerTests
                • org.eclipse.jdt.core.tests.model.WorkingCopyTests
                  • org.eclipse.jdt.core.tests.model.HierarchyOnWorkingCopiesTests
              • org.eclipse.jdt.core.tests.model.NamingConventionTests
              • org.eclipse.jdt.core.tests.dom.ProfilingASTConvertionTest
              • org.eclipse.jdt.core.tests.model.ResolveTests
              • org.eclipse.jdt.core.tests.model.ResolveTests_1_5
              • org.eclipse.jdt.core.tests.model.SelectionJavadocModelTests
              • org.eclipse.jdt.core.tests.model.SignatureTests
              • org.eclipse.jdt.core.tests.model.SnippetCompletionTests (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
              • org.eclipse.jdt.core.tests.model.SnippetCompletionTests_1_5 (implements org.eclipse.jdt.internal.codeassist.RelevanceConstants)
              • org.eclipse.jdt.core.tests.model.TypeHierarchySerializationTests
            • org.eclipse.jdt.core.tests.formatter.comment.CommentTestCase
              • org.eclipse.jdt.core.tests.formatter.comment.JavaDocTestCase
              • org.eclipse.jdt.core.tests.formatter.comment.MultiLineTestCase
              • org.eclipse.jdt.core.tests.formatter.comment.SingleLineTestCase
      • org.eclipse.core.tests.internal.utils.QueueTest
      • org.eclipse.jdt.core.tests.dom.RunAllTests
      • org.eclipse.jdt.core.tests.RunBuilderTests
      • org.eclipse.jdt.core.tests.compiler.regression.RunComparableTests
      • org.eclipse.jdt.core.tests.RunCompilerTests
      • org.eclipse.jdt.core.tests.model.RunCompletionModelTests
      • org.eclipse.jdt.core.tests.compiler.parser.RunCompletionParserTests
      • org.eclipse.jdt.core.tests.dom.RunConverterTests
      • org.eclipse.jdt.core.tests.RunDOMTests
      • org.eclipse.jdt.core.tests.RunFormatterTests
      • org.eclipse.jdt.core.tests.model.RunJavaSearchGenericTests
      • org.eclipse.jdt.core.tests.model.RunJavaSearchTests
      • org.eclipse.jdt.core.tests.RunJDTCoreTests
      • org.jmlspecs.eclipse.jdt.core.tests.RunJml4_WithoutEsc4_Tests
      • org.jmlspecs.eclipse.jdt.core.tests.dbc.RunJml4DbcTests
      • org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.RunJml4EscCaseStudyTests
      • org.jmlspecs.eclipse.jdt.core.tests.esc.RunJml4EscTests
      • org.jmlspecs.eclipse.jdt.core.tests.fspv.RunJml4FspvTests
      • org.jmlspecs.eclipse.jdt.core.tests.jml2.RunJml4Jml2Tests
      • org.jmlspecs.eclipse.jdt.core.tests.nonnull.RunJml4NonNullTests
      • org.jmlspecs.eclipse.jdt.core.tests.rac.RunJml4RacTests
      • org.jmlspecs.eclipse.jdt.core.tests.RunJml4Tests
      • org.eclipse.jdt.core.tests.RunModelTests
      • org.eclipse.core.tests.session.samples.SameSessionTest
      • org.eclipse.core.tests.session.samples.SampleCrashTest
      • org.eclipse.core.tests.session.samples.SampleSessionTest
      • org.eclipse.test.internal.performance.tests.SimplePerformanceMeterTest
      • org.eclipse.jdt.core.tests.compiler.regression.TestAll
      • org.eclipse.jdt.core.tests.compiler.parser.TestAll
      • org.eclipse.core.tests.session.TestDescriptor
      • org.eclipse.core.tests.session.samples.UISampleSessionTest
      • org.eclipse.test.internal.performance.tests.VariationsTests
      • org.eclipse.core.tests.internal.watson.WatsonTest
        • org.eclipse.core.tests.internal.watson.ElementTreeDeltaChainTest
        • org.eclipse.core.tests.internal.watson.ElementTreeIteratorTest
        • org.eclipse.core.tests.internal.watson.ElementTreeSerializationTest
          • org.eclipse.core.tests.internal.watson.DeltaChainFlatteningTest
          • org.eclipse.core.tests.internal.watson.DeltaFlatteningTest
          • org.eclipse.core.tests.internal.watson.TreeFlatteningTest
  • org.eclipse.test.internal.performance.data.Assert
  • org.eclipse.test.internal.performance.eval.AssertChecker
    • org.eclipse.test.internal.performance.eval.AbsoluteBandChecker
    • org.eclipse.test.internal.performance.eval.RelativeBandChecker
  • org.jmlspecs.jml4.rac.AssertionMethod
    • org.jmlspecs.jml4.rac.InvariantLikeMethod
      • org.jmlspecs.jml4.rac.ConstraintMethod
      • org.jmlspecs.jml4.rac.InvariantMethod
    • org.jmlspecs.jml4.rac.PrePostconditionMethod
      • org.jmlspecs.jml4.rac.PostconditionMethod
        • org.jmlspecs.jml4.rac.ExceptionalPostconditionMethod
      • org.jmlspecs.jml4.rac.PreconditionMethod
  • org.eclipse.jdt.core.dom.Assignment.Operator
  • org.eclipse.jdt.internal.codeassist.impl.AssistOptions
  • org.eclipse.jdt.core.dom.AST
  • org.eclipse.jdt.core.dom.ASTMatcher
  • org.jmlspecs.jml4.rac.AstMerger
  • org.eclipse.jdt.internal.compiler.ast.ASTNode (implements org.eclipse.jdt.internal.compiler.lookup.TypeConstants, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
    • org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration (implements org.eclipse.jdt.internal.compiler.problem.ProblemSeverities, org.eclipse.jdt.internal.compiler.impl.ReferenceContext)
      • org.eclipse.jdt.internal.compiler.ast.Clinit
        • org.jmlspecs.jml4.ast.JmlClinit
      • org.eclipse.jdt.internal.compiler.ast.ConstructorDeclaration
        • org.jmlspecs.jml4.ast.JmlConstructorDeclaration (implements org.jmlspecs.jml4.ast.JmlAbstractMethodDeclaration)
          • org.jmlspecs.jml4.rac.RacConstructorDeclaration
      • org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
        • org.eclipse.jdt.internal.compiler.ast.AnnotationMethodDeclaration
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodName
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodReturnType
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodTypeParameter
        • org.jmlspecs.jml4.ast.JmlMethodDeclaration (implements org.jmlspecs.jml4.ast.JmlAbstractMethodDeclaration)
          • org.jmlspecs.jml4.rac.RacMethodDeclaration
    • org.eclipse.jdt.internal.compiler.ast.CompilationUnitDeclaration (implements org.eclipse.jdt.internal.compiler.problem.ProblemSeverities, org.eclipse.jdt.internal.compiler.impl.ReferenceContext)
      • org.jmlspecs.jml4.ast.JmlCompilationUnitDeclaration
    • org.eclipse.jdt.internal.compiler.ast.ImportReference
      • org.eclipse.jdt.internal.codeassist.complete.CompletionOnImportReference
      • org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword2 (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword)
      • org.eclipse.jdt.internal.codeassist.complete.CompletionOnPackageReference
      • org.eclipse.jdt.internal.codeassist.select.SelectionOnImportReference
      • org.eclipse.jdt.internal.codeassist.select.SelectionOnPackageReference
    • org.eclipse.jdt.internal.compiler.ast.Javadoc
      • org.eclipse.jdt.internal.codeassist.complete.CompletionJavadoc
      • org.eclipse.jdt.internal.formatter.FormatJavadoc
      • org.eclipse.jdt.internal.codeassist.select.SelectionJavadoc
    • org.jmlspecs.jml4.ast.JmlClause (implements org.jmlspecs.jml4.compiler.JmlConstants)
      • org.jmlspecs.jml4.ast.JmlAssignableClause
      • org.jmlspecs.jml4.ast.JmlDivergesClause
      • org.jmlspecs.jml4.ast.JmlEnsuresClause
      • org.jmlspecs.jml4.ast.JmlInDataGroupClause (implements org.jmlspecs.jml4.ast.JmlDataGroupClause)
      • org.jmlspecs.jml4.ast.JmlLoopInvariant
      • org.jmlspecs.jml4.ast.JmlLoopVariant
      • org.jmlspecs.jml4.ast.JmlMapsIntoClause (implements org.jmlspecs.jml4.ast.JmlDataGroupClause)
      • org.jmlspecs.jml4.ast.JmlRequiresClause
      • org.jmlspecs.jml4.ast.JmlSignalsClause
      • org.jmlspecs.jml4.ast.JmlSignalsOnlyClause
      • org.jmlspecs.jml4.ast.JmlTypeBodyDeclaration
        • org.jmlspecs.jml4.ast.JmlConstraintClause
        • org.jmlspecs.jml4.ast.JmlInitiallyClause
        • org.jmlspecs.jml4.ast.JmlInvariantForType
        • org.jmlspecs.jml4.ast.JmlRepresentsClause
    • org.jmlspecs.jml4.ast.JmlGroupName
    • org.jmlspecs.jml4.ast.JmlLoopAnnotations
    • org.jmlspecs.jml4.ast.JmlMapsMemberRefExpr
    • org.jmlspecs.jml4.ast.JmlMemberFieldRef
    • org.jmlspecs.jml4.ast.JmlMethodSpecification
    • org.jmlspecs.jml4.ast.JmlName
    • org.jmlspecs.jml4.ast.JmlSpecCase
    • org.jmlspecs.jml4.ast.JmlSpecCaseBody
    • org.jmlspecs.jml4.ast.JmlSpecCaseHeader
    • org.jmlspecs.jml4.ast.JmlSpecCaseRest
      • org.jmlspecs.jml4.ast.JmlSpecCaseBlock
      • org.jmlspecs.jml4.ast.JmlSpecCaseRestAsClauseSeq
    • org.eclipse.jdt.internal.compiler.ast.MemberValuePair
      • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMemberValueName
      • org.eclipse.jdt.internal.codeassist.select.SelectionOnNameOfMemberValuePair
    • org.eclipse.jdt.internal.compiler.ast.Statement
      • org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
        • org.eclipse.jdt.internal.compiler.ast.FieldDeclaration
          • org.eclipse.jdt.internal.formatter.CodeFormatterVisitor.MultiFieldDeclaration
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnFieldName
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnFieldType
          • org.eclipse.jdt.internal.compiler.ast.Initializer
          • org.jmlspecs.jml4.ast.JmlFieldDeclaration
            • org.jmlspecs.jml4.rac.RacFieldDeclaration
          • org.eclipse.jdt.internal.codeassist.select.SelectionOnFieldType
        • org.eclipse.jdt.internal.compiler.ast.LocalDeclaration
          • org.eclipse.jdt.internal.compiler.ast.Argument
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnArgumentName
            • org.eclipse.jdt.internal.codeassist.select.SelectionOnArgumentName
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnLocalName
          • org.jmlspecs.jml4.ast.JmlLocalDeclaration
          • org.eclipse.jdt.internal.codeassist.select.SelectionOnLocalName
        • org.eclipse.jdt.internal.compiler.ast.TypeParameter
      • org.eclipse.jdt.internal.compiler.ast.AssertStatement
        • org.jmlspecs.jml4.ast.JmlAssertOrAssumeStatement
          • org.jmlspecs.jml4.ast.JmlAssertStatement
          • org.jmlspecs.jml4.ast.JmlAssumeStatement
      • org.eclipse.jdt.internal.compiler.ast.Block
      • org.eclipse.jdt.internal.compiler.ast.BranchStatement
        • org.eclipse.jdt.internal.compiler.ast.BreakStatement
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnBrankStatementLabel
        • org.eclipse.jdt.internal.compiler.ast.ContinueStatement
      • org.eclipse.jdt.internal.compiler.ast.CaseStatement
      • org.eclipse.jdt.internal.compiler.ast.DoStatement
        • org.jmlspecs.jml4.ast.JmlDoStatement
      • org.eclipse.jdt.internal.compiler.ast.EmptyStatement
      • org.eclipse.jdt.internal.compiler.ast.ExplicitConstructorCall (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnExplicitConstructorCall
        • org.jmlspecs.jml4.ast.JmlExplicitConstructorCall
        • org.eclipse.jdt.internal.codeassist.select.SelectionOnExplicitConstructorCall
      • org.eclipse.jdt.internal.compiler.ast.Expression
        • org.eclipse.jdt.internal.compiler.ast.AllocationExpression (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
          • org.eclipse.jdt.internal.eval.CodeSnippetAllocationExpression (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
          • org.eclipse.jdt.internal.compiler.ast.JavadocAllocationExpression
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocAllocationExpression (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
          • org.jmlspecs.jml4.ast.JmlAllocationExpression
          • org.eclipse.jdt.internal.compiler.ast.QualifiedAllocationExpression
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedAllocationExpression
            • org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedAllocationExpression
        • org.eclipse.jdt.internal.compiler.ast.Annotation
          • org.eclipse.jdt.internal.compiler.ast.MarkerAnnotation
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMarkerAnnotationName
          • org.eclipse.jdt.internal.compiler.ast.NormalAnnotation
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnAnnotationMemberValuePair
          • org.eclipse.jdt.internal.compiler.ast.SingleMemberAnnotation
        • org.eclipse.jdt.internal.compiler.ast.ArrayAllocationExpression
        • org.eclipse.jdt.internal.compiler.ast.ArrayInitializer
        • org.eclipse.jdt.internal.compiler.ast.Assignment
          • org.eclipse.jdt.internal.compiler.ast.CompoundAssignment (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds)
            • org.eclipse.jdt.internal.compiler.ast.PostfixExpression
            • org.eclipse.jdt.internal.compiler.ast.PrefixExpression
          • org.jmlspecs.jml4.ast.JmlAssignment
            • org.jmlspecs.jml4.ast.JmlSetStatement
        • org.eclipse.jdt.internal.compiler.ast.CastExpression
          • org.jmlspecs.jml4.ast.JmlCastExpression
            • org.jmlspecs.jml4.ast.JmlCastExpressionWithoutType
        • org.eclipse.jdt.internal.compiler.ast.ClassLiteralAccess
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnClassLiteralAccess
        • org.eclipse.jdt.internal.compiler.ast.JavadocArgumentExpression
        • org.jmlspecs.jml4.ast.JmlArrayIndexRangeExpression
          • org.jmlspecs.jml4.ast.JmlAllRangeExpression
        • org.jmlspecs.jml4.ast.JmlFreshExpression
        • org.jmlspecs.jml4.ast.JmlInformalExpression
        • org.jmlspecs.jml4.ast.JmlKeywordExpression
        • org.jmlspecs.jml4.ast.JmlMultiReferenceExpression
          • org.jmlspecs.jml4.ast.JmlArrayRangeStoreRef
          • org.jmlspecs.jml4.ast.JmlFieldDotStarStoreRef
          • org.jmlspecs.jml4.ast.JmlNameDotStarStoreRef
          • org.jmlspecs.jml4.ast.JmlStoreRefListExpression
        • org.jmlspecs.jml4.ast.JmlQuantifiedExpression
        • org.jmlspecs.jml4.ast.JmlResultReference
        • org.jmlspecs.jml4.ast.JmlSetComprehension
        • org.jmlspecs.jml4.ast.JmlSubtypeExpression
        • org.eclipse.jdt.internal.compiler.ast.Literal
          • org.eclipse.jdt.internal.compiler.ast.MagicLiteral
            • org.eclipse.jdt.internal.compiler.ast.FalseLiteral
            • org.eclipse.jdt.internal.compiler.ast.NullLiteral
            • org.eclipse.jdt.internal.compiler.ast.TrueLiteral
          • org.eclipse.jdt.internal.compiler.ast.NumberLiteral
            • org.eclipse.jdt.internal.compiler.ast.CharLiteral
            • org.eclipse.jdt.internal.compiler.ast.DoubleLiteral
            • org.eclipse.jdt.internal.compiler.ast.FloatLiteral
            • org.eclipse.jdt.internal.compiler.ast.IntLiteral
              • org.eclipse.jdt.internal.compiler.ast.IntLiteralMinValue
            • org.eclipse.jdt.internal.compiler.ast.LongLiteral
              • org.eclipse.jdt.internal.compiler.ast.LongLiteralMinValue
          • org.eclipse.jdt.internal.compiler.ast.StringLiteral
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnStringLiteral
            • org.eclipse.jdt.internal.compiler.ast.ExtendedStringLiteral
            • org.eclipse.jdt.internal.compiler.ast.StringLiteralConcatenation
        • org.eclipse.jdt.internal.compiler.ast.MessageSend (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
          • org.eclipse.jdt.internal.eval.CodeSnippetMessageSend (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMessageSend
          • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMessageSendName
          • org.eclipse.jdt.internal.compiler.ast.JavadocMessageSend
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocMessageSend (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
          • org.jmlspecs.jml4.ast.JmlMessageSend
          • org.eclipse.jdt.internal.codeassist.select.SelectionOnMessageSend
        • org.eclipse.jdt.internal.compiler.ast.OperatorExpression (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds)
          • org.eclipse.jdt.internal.compiler.ast.BinaryExpression
            • org.eclipse.jdt.internal.compiler.ast.AND_AND_Expression
            • org.eclipse.jdt.internal.compiler.ast.CombinedBinaryExpression
            • org.eclipse.jdt.internal.compiler.ast.EqualExpression
            • org.eclipse.jdt.internal.compiler.ast.OR_OR_Expression
          • org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
            • org.jmlspecs.jml4.ast.JmlConditionalExpression
          • org.eclipse.jdt.internal.compiler.ast.InstanceOfExpression
          • org.eclipse.jdt.internal.compiler.ast.UnaryExpression
            • org.jmlspecs.jml4.ast.JmlUnaryExpression
              • org.jmlspecs.jml4.ast.JmlElemtypeExpression
              • org.jmlspecs.jml4.ast.JmlOldExpression
              • org.jmlspecs.jml4.ast.JmlOperationOverStoreRefList
              • org.jmlspecs.jml4.ast.JmlTypeExpression
              • org.jmlspecs.jml4.ast.JmlTypeofExpression
        • org.eclipse.jdt.internal.compiler.ast.Reference
          • org.eclipse.jdt.internal.compiler.ast.ArrayReference
            • org.jmlspecs.jml4.ast.DepricateJmlRangeArrayReference
            • org.jmlspecs.jml4.ast.JmlArrayReference
          • org.eclipse.jdt.internal.compiler.ast.FieldReference (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
            • org.eclipse.jdt.internal.eval.CodeSnippetFieldReference (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnMemberAccess
            • org.eclipse.jdt.internal.compiler.ast.JavadocFieldReference
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocFieldReference (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
            • org.jmlspecs.jml4.ast.JmlFieldReference
            • org.eclipse.jdt.internal.codeassist.select.SelectionOnFieldReference
          • org.jmlspecs.jml4.ast.JmlStoreRefExpression
          • org.eclipse.jdt.internal.compiler.ast.NameReference (implements org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
            • org.eclipse.jdt.internal.compiler.ast.QualifiedNameReference
              • org.eclipse.jdt.internal.eval.CodeSnippetQualifiedNameReference (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedNameReference
              • org.jmlspecs.jml4.ast.JmlQualifiedNameReference
              • org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedNameReference
            • org.eclipse.jdt.internal.compiler.ast.SingleNameReference (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds)
              • org.eclipse.jdt.internal.eval.CodeSnippetSingleNameReference (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword3 (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword)
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnSingleNameReference
              • org.eclipse.jdt.internal.compiler.ast.JavadocSingleNameReference
                • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocParamNameReference (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
                • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocTag (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc, org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants)
              • org.jmlspecs.jml4.ast.JmlSingleNameReference
              • org.eclipse.jdt.internal.codeassist.select.SelectionOnSingleNameReference
          • org.eclipse.jdt.internal.compiler.ast.ThisReference
            • org.eclipse.jdt.internal.eval.CodeSnippetThisReference (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
            • org.eclipse.jdt.internal.compiler.ast.QualifiedThisReference
              • org.eclipse.jdt.internal.compiler.ast.QualifiedSuperReference
                • org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedSuperReference
            • org.eclipse.jdt.internal.compiler.ast.SuperReference
              • org.eclipse.jdt.internal.eval.CodeSnippetSuperReference (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
              • org.eclipse.jdt.internal.codeassist.select.SelectionOnSuperReference
        • org.eclipse.jdt.internal.compiler.ast.TypeReference
          • org.eclipse.jdt.internal.compiler.ast.JavadocImplicitTypeReference
          • org.eclipse.jdt.internal.compiler.ast.QualifiedTypeReference
            • org.eclipse.jdt.internal.compiler.ast.ArrayQualifiedTypeReference
              • org.eclipse.jdt.internal.compiler.ast.JavadocArrayQualifiedTypeReference
              • org.jmlspecs.jml4.ast.JmlArrayQualifiedTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
              • org.eclipse.jdt.internal.compiler.ast.ParameterizedQualifiedTypeReference
                • org.eclipse.jdt.internal.codeassist.complete.CompletionOnParameterizedQualifiedTypeReference
                • org.jmlspecs.jml4.ast.JmlParameterizedQualifiedTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
                • org.eclipse.jdt.internal.codeassist.select.SelectionOnParameterizedQualifiedTypeReference
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedTypeReference
            • org.eclipse.jdt.internal.compiler.ast.JavadocQualifiedTypeReference
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocQualifiedTypeReference (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
            • org.jmlspecs.jml4.ast.JmlQualifiedTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
            • org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedTypeReference
          • org.eclipse.jdt.internal.compiler.ast.SingleTypeReference
            • org.eclipse.jdt.internal.compiler.ast.ArrayTypeReference
              • org.eclipse.jdt.internal.compiler.ast.JavadocArraySingleTypeReference
              • org.jmlspecs.jml4.ast.JmlArrayTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
              • org.eclipse.jdt.internal.compiler.ast.ParameterizedSingleTypeReference
                • org.jmlspecs.jml4.ast.JmlParameterizedSingleTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
                • org.eclipse.jdt.internal.codeassist.select.SelectionOnParameterizedSingleTypeReference
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword1 (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword)
            • org.eclipse.jdt.internal.codeassist.complete.CompletionOnSingleTypeReference
            • org.eclipse.jdt.internal.compiler.ast.JavadocSingleTypeReference
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocSingleTypeReference (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
              • org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocTypeParamReference (implements org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc)
            • org.jmlspecs.jml4.ast.JmlSingleTypeReference (implements org.jmlspecs.jml4.ast.JmlTypeReference)
            • org.eclipse.jdt.internal.codeassist.select.SelectionOnSingleTypeReference
            • org.eclipse.jdt.internal.compiler.ast.Wildcard
              • org.jmlspecs.jml4.ast.JmlWildcard (implements org.jmlspecs.jml4.ast.JmlTypeReference)
      • org.eclipse.jdt.internal.compiler.ast.ForeachStatement
        • org.jmlspecs.jml4.ast.JmlForeachStatement
      • org.eclipse.jdt.internal.compiler.ast.ForStatement
        • org.jmlspecs.jml4.ast.JmlForStatement
      • org.eclipse.jdt.internal.compiler.ast.IfStatement
      • org.eclipse.jdt.internal.compiler.ast.LabeledStatement
      • org.eclipse.jdt.internal.compiler.ast.ReturnStatement
        • org.eclipse.jdt.internal.eval.CodeSnippetReturnStatement (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.lookup.InvocationSite)
        • org.eclipse.jdt.internal.compiler.ast.JavadocReturnStatement
        • org.jmlspecs.jml4.ast.JmlReturnStatement
      • org.eclipse.jdt.internal.compiler.ast.SubRoutineStatement
        • org.eclipse.jdt.internal.compiler.ast.SynchronizedStatement
        • org.eclipse.jdt.internal.compiler.ast.TryStatement
      • org.eclipse.jdt.internal.compiler.ast.SwitchStatement
      • org.eclipse.jdt.internal.compiler.ast.ThrowStatement
      • org.eclipse.jdt.internal.compiler.ast.TypeDeclaration (implements org.eclipse.jdt.internal.compiler.problem.ProblemSeverities, org.eclipse.jdt.internal.compiler.impl.ReferenceContext)
        • org.eclipse.jdt.internal.eval.CodeSnippetTypeDeclaration
        • org.eclipse.jdt.internal.codeassist.complete.CompletionOnAnnotationOfType
        • org.jmlspecs.jml4.ast.JmlTypeDeclaration
          • org.jmlspecs.jml4.rac.RacTypeDeclaration
      • org.eclipse.jdt.internal.compiler.ast.WhileStatement
        • org.jmlspecs.jml4.ast.JmlWhileStatement
  • org.eclipse.jdt.core.dom.ASTNode
    • org.eclipse.jdt.core.dom.AnonymousClassDeclaration
    • org.eclipse.jdt.core.dom.BodyDeclaration
      • org.eclipse.jdt.core.dom.AbstractTypeDeclaration
        • org.eclipse.jdt.core.dom.AnnotationTypeDeclaration
        • org.eclipse.jdt.core.dom.EnumDeclaration
        • org.eclipse.jdt.core.dom.TypeDeclaration
      • org.eclipse.jdt.core.dom.AnnotationTypeMemberDeclaration
      • org.eclipse.jdt.core.dom.EnumConstantDeclaration
      • org.eclipse.jdt.core.dom.FieldDeclaration
      • org.eclipse.jdt.core.dom.Initializer
      • org.eclipse.jdt.core.dom.MethodDeclaration
    • org.eclipse.jdt.core.dom.CatchClause
    • org.eclipse.jdt.core.dom.Comment
      • org.eclipse.jdt.core.dom.BlockComment
      • org.eclipse.jdt.core.dom.Javadoc
      • org.eclipse.jdt.core.dom.LineComment
    • org.eclipse.jdt.core.dom.CompilationUnit
    • org.eclipse.jdt.core.dom.Expression
      • org.eclipse.jdt.core.dom.Annotation (implements org.eclipse.jdt.core.dom.IExtendedModifier)
        • org.eclipse.jdt.core.dom.MarkerAnnotation
        • org.eclipse.jdt.core.dom.NormalAnnotation
        • org.eclipse.jdt.core.dom.SingleMemberAnnotation
      • org.eclipse.jdt.core.dom.ArrayAccess
      • org.eclipse.jdt.core.dom.ArrayCreation
      • org.eclipse.jdt.core.dom.ArrayInitializer
      • org.eclipse.jdt.core.dom.Assignment
      • org.eclipse.jdt.core.dom.BooleanLiteral
      • org.eclipse.jdt.core.dom.CastExpression
      • org.eclipse.jdt.core.dom.CharacterLiteral
      • org.eclipse.jdt.core.dom.ClassInstanceCreation
      • org.eclipse.jdt.core.dom.ConditionalExpression
      • org.eclipse.jdt.core.dom.FieldAccess
      • org.eclipse.jdt.core.dom.InfixExpression
      • org.eclipse.jdt.core.dom.InstanceofExpression
      • org.eclipse.jdt.core.dom.MethodInvocation
      • org.eclipse.jdt.core.dom.Name
        • org.eclipse.jdt.core.dom.QualifiedName
        • org.eclipse.jdt.core.dom.SimpleName
      • org.eclipse.jdt.core.dom.NullLiteral
      • org.eclipse.jdt.core.dom.NumberLiteral
      • org.eclipse.jdt.core.dom.ParenthesizedExpression
      • org.eclipse.jdt.core.dom.PostfixExpression
      • org.eclipse.jdt.core.dom.PrefixExpression
      • org.eclipse.jdt.core.dom.StringLiteral
      • org.eclipse.jdt.core.dom.SuperFieldAccess
      • org.eclipse.jdt.core.dom.SuperMethodInvocation
      • org.eclipse.jdt.core.dom.ThisExpression
      • org.eclipse.jdt.core.dom.TypeLiteral
      • org.eclipse.jdt.core.dom.VariableDeclarationExpression
    • org.eclipse.jdt.core.dom.ImportDeclaration
    • org.eclipse.jdt.core.dom.MemberRef
    • org.eclipse.jdt.core.dom.MemberValuePair
    • org.eclipse.jdt.core.dom.MethodRef
    • org.eclipse.jdt.core.dom.MethodRefParameter
    • org.eclipse.jdt.core.dom.Modifier (implements org.eclipse.jdt.core.dom.IExtendedModifier)
    • org.eclipse.jdt.core.dom.PackageDeclaration
    • org.eclipse.jdt.core.dom.Statement
      • org.eclipse.jdt.core.dom.AssertStatement
      • org.eclipse.jdt.core.dom.Block
      • org.eclipse.jdt.core.dom.BreakStatement
      • org.eclipse.jdt.core.dom.ConstructorInvocation
      • org.eclipse.jdt.core.dom.ContinueStatement
      • org.eclipse.jdt.core.dom.DoStatement
      • org.eclipse.jdt.core.dom.EmptyStatement
      • org.eclipse.jdt.core.dom.EnhancedForStatement
      • org.eclipse.jdt.core.dom.ExpressionStatement
      • org.eclipse.jdt.core.dom.ForStatement
      • org.eclipse.jdt.core.dom.IfStatement
      • org.eclipse.jdt.core.dom.LabeledStatement
      • org.eclipse.jdt.core.dom.ReturnStatement
      • org.eclipse.jdt.core.dom.SuperConstructorInvocation
      • org.eclipse.jdt.core.dom.SwitchCase
      • org.eclipse.jdt.core.dom.SwitchStatement
      • org.eclipse.jdt.core.dom.SynchronizedStatement
      • org.eclipse.jdt.core.dom.ThrowStatement
      • org.eclipse.jdt.core.dom.TryStatement
      • org.eclipse.jdt.core.dom.TypeDeclarationStatement
      • org.eclipse.jdt.core.dom.VariableDeclarationStatement
      • org.eclipse.jdt.core.dom.WhileStatement
    • org.eclipse.jdt.core.dom.TagElement
    • org.eclipse.jdt.core.dom.TextElement
    • org.eclipse.jdt.core.dom.Type
      • org.eclipse.jdt.core.dom.ArrayType
      • org.eclipse.jdt.core.dom.ParameterizedType
      • org.eclipse.jdt.core.dom.PrimitiveType
      • org.eclipse.jdt.core.dom.QualifiedType
      • org.eclipse.jdt.core.dom.SimpleType
      • org.eclipse.jdt.core.dom.WildcardType
    • org.eclipse.jdt.core.dom.TypeParameter
    • org.eclipse.jdt.core.dom.VariableDeclaration
      • org.eclipse.jdt.core.dom.SingleVariableDeclaration
      • org.eclipse.jdt.core.dom.VariableDeclarationFragment
  • org.eclipse.jdt.internal.core.util.ASTNodeFinder
  • org.eclipse.jdt.core.dom.ASTParser
  • org.eclipse.jdt.core.dom.ASTRequestor
    • org.eclipse.jdt.core.tests.dom.AbstractASTTests.BindingRequestor
    • org.eclipse.jdt.core.tests.dom.BatchASTCreationTests.TestASTRequestor
  • org.eclipse.jdt.core.dom.rewrite.ASTRewrite
  • org.eclipse.jdt.internal.compiler.ASTVisitor
    • org.jmlspecs.jml4.esc.gc.Ast2SugaredVisitor
    • org.eclipse.jdt.internal.formatter.CodeFormatterVisitor
    • org.eclipse.jdt.internal.codeassist.complete.CompletionNodeDetector
    • org.jmlspecs.jml4.rac.DefaultRacAstVisitor (implements org.jmlspecs.jml4.rac.RacAstVisitor)
      • org.jmlspecs.jml4.rac.AstDirtyBitsRestorer
      • org.jmlspecs.jml4.rac.AstDirtyBitsRetriever
      • org.jmlspecs.jml4.rac.DesugarSpec
      • org.jmlspecs.jml4.rac.JmlNullifier
      • org.jmlspecs.jml4.rac.ResolutionNullifier
    • org.jmlspecs.jml4.util.HasSideEffectsVisitor
    • org.jmlspecs.jml4.rac.InlineAssertionMerger
    • org.jmlspecs.jml4.rac.InlineAssertionVisitor
    • org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser.ClassButNoMethodDeclarationVisitor
      • org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser.ClassAndMethodDeclarationVisitor
    • org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser.NoClassNoMethodDeclarationVisitor
      • org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser.MethodButNoClassDeclarationVisitor
    • org.eclipse.jdt.internal.codeassist.MissingTypesGuesser
    • org.jmlspecs.jml4.compiler.ReferenceCounterVisitor
    • org.eclipse.jdt.internal.compiler.SourceElementNotifier.LocalDeclarationVisitor
    • org.eclipse.jdt.internal.core.search.matching.SuperTypeNamesCollector.TypeDeclarationVisitor
    • org.eclipse.jdt.internal.codeassist.ThrownExceptionFinder
    • org.jmlspecs.jml4.fspv.TraceAstVisitor
      • org.jmlspecs.jml4.fspv.phases.TheoryTranslation
      • org.jmlspecs.jml4.fspv.TheoryTranslator
    • org.eclipse.jdt.internal.codeassist.UnresolvedReferenceNameFinder
  • org.eclipse.jdt.core.dom.ASTVisitor
    • org.eclipse.jdt.internal.core.dom.rewrite.ASTRewriteAnalyzer
    • org.eclipse.jdt.internal.core.dom.rewrite.ASTRewriteFlattener
    • org.eclipse.jdt.internal.core.util.DOMFinder
    • org.eclipse.jdt.internal.core.dom.NaiveASTFlattener
      • org.eclipse.jdt.core.tests.dom.MarkedASTFlattener
  • org.eclipse.jdt.internal.core.BasicCompilationUnit (implements org.eclipse.jdt.internal.compiler.env.ICompilationUnit)
  • org.eclipse.jdt.internal.core.search.BasicSearchEngine
  • org.eclipse.jdt.core.compiler.batch.BatchCompiler
  • org.eclipse.jdt.internal.core.BatchInitializationMonitor (implements org.eclipse.core.runtime.IProgressMonitor)
  • org.eclipse.jdt.internal.compiler.lookup.Binding
    • org.eclipse.jdt.internal.compiler.lookup.ImportBinding
      • org.eclipse.jdt.internal.compiler.lookup.ImportConflictBinding
    • org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      • org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
        • org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding (implements org.eclipse.jdt.internal.compiler.lookup.Substitution)
      • org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding
      • org.eclipse.jdt.internal.compiler.lookup.SyntheticMethodBinding
      • org.eclipse.jdt.internal.compiler.lookup.UpdatedMethodBinding
    • org.eclipse.jdt.internal.compiler.lookup.PackageBinding (implements org.eclipse.jdt.internal.compiler.lookup.TypeConstants)
      • org.eclipse.jdt.internal.compiler.lookup.ProblemPackageBinding
    • org.eclipse.jdt.internal.compiler.lookup.ProblemBinding
    • org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      • org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
      • org.eclipse.jdt.internal.compiler.lookup.BaseTypeBinding
      • org.jmlspecs.jml4.lookup.JmlSpecialTypeBinding
      • org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding (implements org.eclipse.jdt.internal.compiler.env.IDependent)
        • org.eclipse.jdt.internal.compiler.lookup.BinaryTypeBinding
          • org.eclipse.jdt.internal.compiler.lookup.MissingTypeBinding
        • org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding (implements org.eclipse.jdt.internal.compiler.lookup.Substitution)
          • org.eclipse.jdt.internal.compiler.lookup.RawTypeBinding
        • org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding
        • org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
          • org.eclipse.jdt.internal.compiler.lookup.NestedTypeBinding
            • org.eclipse.jdt.internal.compiler.lookup.LocalTypeBinding
            • org.eclipse.jdt.internal.compiler.lookup.MemberTypeBinding
        • org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding
          • org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
        • org.eclipse.jdt.internal.compiler.lookup.UnresolvedReferenceBinding
        • org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
    • org.eclipse.jdt.internal.compiler.lookup.VariableBinding
      • org.eclipse.jdt.internal.compiler.lookup.FieldBinding
        • org.eclipse.jdt.internal.compiler.lookup.ParameterizedFieldBinding
        • org.eclipse.jdt.internal.compiler.lookup.ProblemFieldBinding
        • org.eclipse.jdt.internal.compiler.lookup.SyntheticFieldBinding
      • org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding
        • org.eclipse.jdt.internal.compiler.lookup.BinaryLocalVariableBinding
        • org.eclipse.jdt.internal.compiler.lookup.SyntheticArgumentBinding
  • org.eclipse.jdt.core.BindingKey
  • org.eclipse.jdt.internal.core.util.BindingKeyParser
    • org.eclipse.jdt.internal.core.util.BindingKeyResolver
    • org.eclipse.jdt.internal.core.util.JavaElementFinder
    • org.eclipse.jdt.internal.core.util.KeyKind
    • org.eclipse.jdt.internal.core.util.KeyToSignature
  • org.eclipse.core.internal.utils.BitMask
  • org.eclipse.core.internal.localstore.BlobStore
  • org.jmlspecs.samples.stacks.BoundedStack (implements org.jmlspecs.samples.stacks.BoundedStackInterface)
  • org.eclipse.core.internal.localstore.Bucket
    • org.eclipse.core.internal.localstore.HistoryBucket
    • org.eclipse.core.internal.properties.PropertyBucket
  • org.eclipse.core.internal.localstore.Bucket.Entry
    • org.eclipse.core.internal.localstore.HistoryBucket.HistoryEntry
    • org.eclipse.core.internal.properties.PropertyBucket.PropertyEntry
  • org.eclipse.core.internal.localstore.Bucket.Visitor
  • org.eclipse.core.internal.localstore.BucketTree
  • org.eclipse.jdt.internal.core.Buffer (implements org.eclipse.jdt.core.IBuffer)
    • org.eclipse.jdt.internal.core.NullBuffer
  • org.eclipse.jdt.internal.core.BufferManager
  • org.eclipse.core.internal.events.BuilderPersistentInfo
  • org.eclipse.core.tests.internal.builders.BuildEventListener (implements org.eclipse.core.resources.IResourceChangeListener)
  • org.eclipse.core.internal.events.BuildManager (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.events.ILifecycleListener, org.eclipse.core.internal.resources.IManager)
  • org.eclipse.jdt.internal.core.builder.BuildNotifier
  • org.eclipse.core.tests.harness.BundleTestingHelper
  • org.eclipse.jdt.core.util.ByteCodeVisitorAdapter (implements org.eclipse.jdt.core.util.IBytecodeVisitor)
  • org.eclipse.core.internal.utils.Cache
  • org.eclipse.core.internal.utils.Cache.Entry (implements org.eclipse.core.internal.utils.KeyedHashSet.KeyedElement)
  • org.eclipse.jdt.internal.compiler.codegen.CachedIndexEntry
  • org.jmlspecs.jml4.esc.provercoordinator.prover.CachedVcs
  • org.eclipse.jdt.core.tests.model.CancelCounter (implements org.eclipse.core.runtime.IProgressMonitor)
  • org.eclipse.jdt.core.tests.model.Canceler (implements org.eclipse.core.runtime.IProgressMonitor)
  • org.eclipse.jdt.core.compiler.CategorizedProblem (implements org.eclipse.jdt.core.compiler.IProblem)
    • org.eclipse.jdt.internal.compiler.problem.DefaultProblem
  • org.jmlspecs.jml4.esc.gc.lang.CfgBlock
  • org.jmlspecs.jml4.esc.gc.lang.expr.CfgExpression
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgArrayAllocationExpression
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgAssignable
      • org.jmlspecs.jml4.esc.gc.lang.expr.CfgArrayReference
      • org.jmlspecs.jml4.esc.gc.lang.expr.CfgFieldReference
      • org.jmlspecs.jml4.esc.gc.lang.expr.CfgVariable
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgBinaryExpression
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgBooleanConstant
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgConditionalExpression
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgFieldStore
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgIntegerConstant
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgQuantifiedExpression
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgThisReference
      • org.jmlspecs.jml4.esc.gc.lang.expr.CfgSuperReference
    • org.jmlspecs.jml4.esc.gc.lang.expr.CfgUnaryExpression
      • org.jmlspecs.jml4.esc.gc.lang.expr.CfgNotExpression
  • org.jmlspecs.jml4.esc.gc.lang.expr.CfgOperator
  • org.jmlspecs.jml4.esc.gc.lang.expr.CfgQuantifier
  • org.jmlspecs.jml4.esc.gc.lang.CfgStatement
    • org.jmlspecs.jml4.esc.gc.lang.CfgAssert
    • org.jmlspecs.jml4.esc.gc.lang.CfgAssume
    • org.jmlspecs.jml4.esc.gc.lang.CfgGoto
    • org.jmlspecs.jml4.esc.gc.lang.CfgSequence
    • org.jmlspecs.jml4.esc.gc.lang.CfgStatementBlock
    • org.jmlspecs.jml4.esc.gc.lang.CfgVarDecl
  • org.jmlspecs.jml4.esc.gc.CfgSubstitutionVisitor (implements org.jmlspecs.jml4.esc.gc.CfgExpressionVisitor)
  • org.eclipse.jdt.internal.core.hierarchy.ChangeCollector
  • org.eclipse.core.tests.internal.mapping.ChangeDescription
  • org.eclipse.core.internal.resources.mapping.ChangeDescription
  • org.eclipse.jdt.internal.core.util.CharArrayBuffer
  • org.eclipse.jdt.internal.compiler.codegen.CharArrayCache
  • org.eclipse.jdt.core.compiler.CharOperation
  • org.eclipse.core.internal.resources.CharsetManager (implements org.eclipse.core.internal.resources.IManager)
  • org.eclipse.jdt.internal.compiler.ClassFile (implements org.eclipse.jdt.internal.compiler.lookup.TypeConstants, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
    • org.eclipse.jdt.internal.eval.CodeSnippetClassFile
  • org.eclipse.jdt.core.util.ClassFileBytesDisassembler
    • org.eclipse.jdt.internal.core.util.Disassembler
  • org.eclipse.jdt.internal.core.search.matching.ClassFileMatchLocator (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
  • org.eclipse.jdt.internal.compiler.ClassFilePool
  • org.eclipse.jdt.internal.core.util.ClassFileStruct
    • org.eclipse.jdt.internal.core.util.Annotation (implements org.eclipse.jdt.core.util.IAnnotation)
    • org.eclipse.jdt.internal.core.util.AnnotationComponent (implements org.eclipse.jdt.core.util.IAnnotationComponent)
    • org.eclipse.jdt.internal.core.util.AnnotationComponentValue (implements org.eclipse.jdt.core.util.IAnnotationComponentValue)
    • org.eclipse.jdt.internal.core.util.ClassFileAttribute (implements org.eclipse.jdt.core.util.IClassFileAttribute)
      • org.eclipse.jdt.internal.core.util.AnnotationDefaultAttribute (implements org.eclipse.jdt.core.util.IAnnotationDefaultAttribute)
      • org.eclipse.jdt.internal.core.util.CodeAttribute (implements org.eclipse.jdt.core.util.ICodeAttribute)
      • org.eclipse.jdt.internal.core.util.ConstantValueAttribute (implements org.eclipse.jdt.core.util.IConstantValueAttribute)
      • org.eclipse.jdt.internal.core.util.EnclosingMethodAttribute (implements org.eclipse.jdt.core.util.IEnclosingMethodAttribute)
      • org.eclipse.jdt.internal.core.util.ExceptionAttribute (implements org.eclipse.jdt.core.util.IExceptionAttribute)
      • org.eclipse.jdt.internal.core.util.InnerClassesAttribute (implements org.eclipse.jdt.core.util.IInnerClassesAttribute)
      • org.eclipse.jdt.internal.core.util.LineNumberAttribute (implements org.eclipse.jdt.core.util.ILineNumberAttribute)
      • org.eclipse.jdt.internal.core.util.LocalVariableAttribute (implements org.eclipse.jdt.core.util.ILocalVariableAttribute)
      • org.eclipse.jdt.internal.core.util.LocalVariableTypeAttribute (implements org.eclipse.jdt.core.util.ILocalVariableTypeTableAttribute)
      • org.eclipse.jdt.internal.core.util.RuntimeInvisibleAnnotationsAttribute (implements org.eclipse.jdt.core.util.IRuntimeInvisibleAnnotationsAttribute)
      • org.eclipse.jdt.internal.core.util.RuntimeInvisibleParameterAnnotationsAttribute (implements org.eclipse.jdt.core.util.IRuntimeInvisibleParameterAnnotationsAttribute)
      • org.eclipse.jdt.internal.core.util.RuntimeVisibleAnnotationsAttribute (implements org.eclipse.jdt.core.util.IRuntimeVisibleAnnotationsAttribute)
      • org.eclipse.jdt.internal.core.util.RuntimeVisibleParameterAnnotationsAttribute (implements org.eclipse.jdt.core.util.IRuntimeVisibleParameterAnnotationsAttribute)
      • org.eclipse.jdt.internal.core.util.SignatureAttribute (implements org.eclipse.jdt.core.util.ISignatureAttribute)
      • org.eclipse.jdt.internal.core.util.SourceFileAttribute (implements org.eclipse.jdt.core.util.ISourceAttribute)
      • org.eclipse.jdt.internal.core.util.StackMapAttribute (implements org.eclipse.jdt.core.util.IStackMapAttribute)
      • org.eclipse.jdt.internal.core.util.StackMapTableAttribute (implements org.eclipse.jdt.core.util.IStackMapTableAttribute)
    • org.eclipse.jdt.internal.core.util.ClassFileReader (implements org.eclipse.jdt.core.util.IClassFileReader)
    • org.eclipse.jdt.internal.core.util.ConstantPool (implements org.eclipse.jdt.core.util.IConstantPool)
    • org.eclipse.jdt.internal.core.util.DefaultStackMapFrame (implements org.eclipse.jdt.core.util.IStackMapFrame)
    • org.eclipse.jdt.internal.core.util.ExceptionTableEntry (implements org.eclipse.jdt.core.util.IExceptionTableEntry)
    • org.eclipse.jdt.internal.core.util.FieldInfo (implements org.eclipse.jdt.core.util.IFieldInfo)
    • org.eclipse.jdt.internal.core.util.InnerClassesAttributeEntry (implements org.eclipse.jdt.core.util.IInnerClassesAttributeEntry)
    • org.eclipse.jdt.internal.core.util.LocalVariableTableEntry (implements org.eclipse.jdt.core.util.ILocalVariableTableEntry)
    • org.eclipse.jdt.internal.core.util.LocalVariableTypeTableEntry (implements org.eclipse.jdt.core.util.ILocalVariableTypeTableEntry)
    • org.eclipse.jdt.internal.core.util.MethodInfo (implements org.eclipse.jdt.core.util.IMethodInfo)
    • org.eclipse.jdt.internal.core.util.ParameterAnnotation (implements org.eclipse.jdt.core.util.IParameterAnnotation)
    • org.eclipse.jdt.internal.core.util.StackMapFrame (implements org.eclipse.jdt.core.util.IStackMapFrame)
    • org.eclipse.jdt.internal.core.util.VerificationInfo (implements org.eclipse.jdt.core.util.IVerificationTypeInfo)
  • org.eclipse.jdt.internal.compiler.classfmt.ClassFileStruct
    • org.eclipse.jdt.internal.compiler.classfmt.AnnotationInfo (implements org.eclipse.jdt.internal.compiler.env.IBinaryAnnotation)
    • org.eclipse.jdt.internal.compiler.classfmt.ClassFileReader (implements org.eclipse.jdt.internal.compiler.env.IBinaryType)
    • org.eclipse.jdt.internal.compiler.classfmt.FieldInfo (implements java.lang.Comparable<T>, org.eclipse.jdt.internal.compiler.env.IBinaryField)
      • org.eclipse.jdt.internal.compiler.classfmt.FieldInfoWithAnnotation
    • org.eclipse.jdt.internal.compiler.classfmt.InnerClassInfo (implements org.eclipse.jdt.internal.compiler.env.IBinaryNestedType)
    • org.eclipse.jdt.internal.compiler.classfmt.MethodInfo (implements java.lang.Comparable<T>, org.eclipse.jdt.internal.compiler.env.IBinaryMethod)
      • org.eclipse.jdt.internal.compiler.classfmt.AnnotationMethodInfo
        • org.eclipse.jdt.internal.compiler.classfmt.AnnotationMethodInfoWithAnnotations
      • org.eclipse.jdt.internal.compiler.classfmt.MethodInfoWithAnnotations
  • java.lang.ClassLoader
    • org.eclipse.jdt.core.tests.eval.target.CodeSnippetClassLoader
    • org.eclipse.jdt.core.tests.util.VerifyTests.VerifyClassLoader
  • org.eclipse.jdt.internal.core.ClasspathAttribute (implements org.eclipse.jdt.core.IClasspathAttribute)
  • org.eclipse.jdt.internal.core.ClasspathChange
  • org.eclipse.jdt.core.ClasspathContainerInitializer
    • org.eclipse.jdt.core.tests.model.ContainerInitializer
    • org.eclipse.jdt.internal.core.UserLibraryClasspathContainerInitializer
  • org.eclipse.jdt.internal.core.ClasspathEntry (implements org.eclipse.jdt.core.IClasspathEntry)
  • org.eclipse.jdt.core.tests.model.ClasspathInitializerTests.DefaultVariableInitializer (implements org.eclipse.jdt.core.tests.model.VariablesInitializer.ITestInitializer)
  • org.eclipse.jdt.core.tests.model.ClasspathInitializerTests.NullContainerInitializer (implements org.eclipse.jdt.core.tests.model.ContainerInitializer.ITestInitializer)
  • org.eclipse.jdt.internal.compiler.batch.ClasspathJar.ManifestAnalyzer
  • org.eclipse.jdt.internal.core.builder.ClasspathLocation
    • org.eclipse.jdt.internal.core.builder.ClasspathDirectory
    • org.eclipse.jdt.internal.core.builder.ClasspathJar
    • org.eclipse.jdt.internal.core.search.matching.ClasspathSourceDirectory
  • org.eclipse.jdt.internal.compiler.batch.ClasspathLocation (implements org.eclipse.jdt.internal.compiler.batch.FileSystem.Classpath, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
    • org.eclipse.jdt.internal.compiler.batch.ClasspathDirectory
    • org.eclipse.jdt.internal.compiler.batch.ClasspathJar
      • org.eclipse.jdt.internal.compiler.batch.ClasspathSourceJar
  • org.eclipse.jdt.core.tests.model.ClasspathTests.TestContainer (implements org.eclipse.jdt.core.IClasspathContainer)
  • org.eclipse.jdt.internal.core.ClasspathValidation
  • org.eclipse.jdt.core.ClasspathVariableInitializer
    • org.eclipse.jdt.core.tests.model.VariablesInitializer
  • org.eclipse.jdt.internal.compiler.env.ClassSignature
  • org.jmlspecs.jml4.rac.CodeBuffer
  • org.eclipse.jdt.core.tests.model.CodeCorrectionTestsRequestor (implements org.eclipse.jdt.core.ICorrectionRequestor)
  • org.eclipse.jdt.core.formatter.CodeFormatter
    • org.eclipse.jdt.internal.formatter.DefaultCodeFormatter
  • org.eclipse.jdt.internal.formatter.old.CodeFormatter (implements org.eclipse.jdt.core.ICodeFormatter, org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
  • org.eclipse.jdt.core.formatter.CodeFormatterApplication (implements org.eclipse.equinox.app.IApplication)
  • org.eclipse.jdt.internal.eval.CodeSnippetEnvironment (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.env.INameEnvironment)
  • org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
  • org.eclipse.jdt.core.tests.eval.target.CodeSnippetRunner
  • org.eclipse.jdt.internal.eval.CodeSnippetSkeleton (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.env.IBinaryType)
  • org.eclipse.jdt.internal.eval.CodeSnippetSkeleton.BinaryMethodSkeleton (implements org.eclipse.jdt.internal.compiler.env.IBinaryMethod)
  • org.eclipse.jdt.internal.compiler.codegen.CodeStream
    • org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
  • org.eclipse.jdt.internal.formatter.comment.CommentFormatterUtil
  • org.eclipse.jdt.core.tests.formatter.comment.CommentFormatterUtil
  • org.eclipse.jdt.internal.formatter.comment.CommentLine (implements org.eclipse.jdt.internal.formatter.comment.IBorderAttributes)
    • org.eclipse.jdt.internal.formatter.comment.MultiCommentLine (implements org.eclipse.jdt.internal.formatter.comment.ICommentAttributes, org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters, org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
      • org.eclipse.jdt.internal.formatter.comment.JavaDocLine
    • org.eclipse.jdt.internal.formatter.comment.SingleCommentLine
  • org.eclipse.core.tests.resources.Comparator
  • org.eclipse.jdt.core.compiler.CompilationParticipant
    • org.jmlspecs.eclipse.jdt.ui.EscjavaCompilationParticipant
    • org.eclipse.jdt.core.tests.builder.TestBuilderParticipant
    • org.eclipse.jdt.core.tests.model.TestCompilationParticipant
  • org.eclipse.jdt.internal.core.builder.CompilationParticipantResult
    • org.eclipse.jdt.core.compiler.BuildContext
  • org.eclipse.jdt.core.compiler.CompilationProgress
  • org.eclipse.jdt.internal.compiler.CompilationResult
  • org.eclipse.jdt.internal.compiler.batch.CompilationUnit (implements org.eclipse.jdt.internal.compiler.env.ICompilationUnit)
    • org.eclipse.jdt.internal.core.util.ResourceCompilationUnit
  • org.eclipse.jdt.internal.core.jdom.CompilationUnit (implements org.eclipse.jdt.internal.compiler.env.ICompilationUnit)
  • org.eclipse.jdt.core.util.CompilationUnitSorter
  • org.eclipse.jdt.internal.compiler.Compiler (implements org.eclipse.jdt.internal.compiler.impl.ITypeRequestor, org.eclipse.jdt.internal.compiler.problem.ProblemSeverities)
    • org.eclipse.jdt.internal.eval.CodeSnippetCompiler
    • org.eclipse.jdt.internal.core.CompilationUnitProblemFinder
    • org.jmlspecs.jml4.rac.RacCompiler
  • org.jmlspecs.jml4.compiler.CompilerExtensionManager
  • org.eclipse.jdt.internal.compiler.impl.CompilerOptions
    • org.jmlspecs.jml4.compiler.JmlCompilerOptions
    • org.jmlspecs.jml4.rac.RacOptions
  • org.eclipse.jdt.internal.compiler.impl.CompilerStats (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.core.CompletionFlags
  • org.eclipse.jdt.core.CompletionRequestor
    • org.eclipse.jdt.internal.codeassist.CompletionRequestorWrapper
    • org.eclipse.jdt.core.tests.model.CompletionTestsRequestor
    • org.eclipse.jdt.core.tests.model.CompletionTestsRequestor2
  • org.eclipse.jdt.core.CompletionRequestorAdapter (implements org.eclipse.jdt.core.ICompletionRequestor)
  • org.eclipse.jdt.core.tests.model.CompletionTests2.CompletionContainerInitializer (implements org.eclipse.jdt.core.tests.model.ContainerInitializer.ITestInitializer)
  • org.eclipse.jdt.core.tests.model.CompletionTests2.CompletionContainerInitializer.DefaultContainer (implements org.eclipse.jdt.core.IClasspathContainer)
  • org.eclipse.jdt.internal.compiler.util.CompoundNameVector
  • org.eclipse.core.tests.resources.usecase.ConcurrentOperation (implements org.eclipse.core.resources.IWorkspaceRunnable, java.lang.Runnable)
    • org.eclipse.core.tests.resources.usecase.ConcurrentOperation01
  • org.eclipse.jdt.internal.compiler.ConfigurableOption
  • org.eclipse.jdt.internal.compiler.impl.Constant (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
    • org.eclipse.jdt.internal.compiler.impl.BooleanConstant
    • org.eclipse.jdt.internal.compiler.impl.ByteConstant
    • org.eclipse.jdt.internal.compiler.impl.CharConstant
    • org.eclipse.jdt.internal.compiler.impl.DoubleConstant
    • org.eclipse.jdt.internal.compiler.impl.FloatConstant
    • org.eclipse.jdt.internal.compiler.impl.IntConstant
    • org.eclipse.jdt.internal.compiler.impl.LongConstant
    • org.eclipse.jdt.internal.compiler.impl.ShortConstant
    • org.eclipse.jdt.internal.compiler.impl.StringConstant
  • org.eclipse.jdt.internal.compiler.codegen.ConstantPool (implements org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
  • org.eclipse.jdt.internal.core.util.ConstantPoolEntry (implements org.eclipse.jdt.core.util.IConstantPoolEntry)
  • org.eclipse.core.internal.resources.ContentDescriptionManager (implements org.eclipse.core.runtime.content.IContentTypeManager.IContentTypeChangeListener, org.eclipse.core.internal.events.ILifecycleListener, org.eclipse.core.internal.resources.IManager, org.eclipse.core.runtime.IRegistryChangeListener)
  • org.eclipse.core.internal.utils.Convert
  • org.eclipse.core.internal.resources.refresh.win32.Convert
  • org.eclipse.core.internal.localstore.CopyVisitor (implements org.eclipse.core.internal.localstore.IUnifiedTreeVisitor)
  • org.eclipse.jdt.core.CorrectionEngine (implements org.eclipse.jdt.internal.compiler.lookup.ProblemReasons)
  • org.jmlspecs.jml4.esc.util.Counter
  • org.eclipse.test.internal.performance.data.DataPoint
  • org.eclipse.core.internal.dtree.DataTreeLookup
  • org.eclipse.core.internal.dtree.DataTreeReader
  • org.eclipse.core.internal.dtree.DataTreeWriter
  • org.eclipse.test.internal.performance.db.DB
  • org.eclipse.test.internal.performance.results.DB_Results
  • org.eclipse.test.internal.performance.db.DBHelpers
  • org.jmlspecs.jml4.rac.Debugger
  • org.eclipse.jdt.internal.core.util.DefaultBytecodeVisitor (implements org.eclipse.jdt.core.util.IBytecodeVisitor)
  • org.eclipse.jdt.core.formatter.DefaultCodeFormatterConstants
  • org.eclipse.jdt.internal.formatter.DefaultCodeFormatterOptions
  • org.apache.tools.ant.taskdefs.compilers.DefaultCompilerAdapter (implements org.apache.tools.ant.taskdefs.compilers.CompilerAdapter)
    • org.eclipse.jdt.core.JDTCompilerAdapter
  • org.jmlspecs.jml4.compiler.DefaultCompilerExtension (implements org.jmlspecs.jml4.compiler.ICompilerExtension)
    • org.jmlspecs.jml4.esc.Esc
    • org.jmlspecs.eclipse.jdt.internal.esc2.ESC2Wrapper
      • org.jmlspecs.eclipse.jdt.internal.esc2.EscJava2Wrapper
    • org.jmlspecs.jml4.fspv.Fspv
    • org.jmlspecs.jml2.checker.JML2CheckerWrapper
    • org.jmlspecs.jml2.compiler.JML2CompilerWrapper
    • org.jmlspecs.jml4.compiler.JmlCompilerExtension
  • org.eclipse.jdt.core.tests.model.DefaultContainerInitializer (implements org.eclipse.jdt.core.tests.model.ContainerInitializer.ITestInitializer)
  • org.eclipse.jdt.core.tests.model.DefaultContainerInitializer.DefaultContainer (implements org.eclipse.jdt.core.IClasspathContainer)
  • org.eclipse.core.internal.watson.DefaultElementComparator (implements org.eclipse.core.internal.watson.IElementComparator)
  • org.eclipse.jdt.internal.compiler.DefaultErrorHandlingPolicies
  • org.xml.sax.helpers.DefaultHandler (implements org.xml.sax.ContentHandler, org.xml.sax.DTDHandler, org.xml.sax.EntityResolver, org.xml.sax.ErrorHandler)
    • org.eclipse.jdt.core.tests.formatter.DecodeCodeFormatterPreferences
    • org.eclipse.core.internal.resources.ProjectDescriptionReader (implements org.eclipse.core.internal.resources.IModelObjectConstants)
  • org.eclipse.jdt.internal.compiler.problem.DefaultProblemFactory (implements org.eclipse.jdt.internal.compiler.IProblemFactory)
    • org.eclipse.jdt.internal.core.CancelableProblemFactory
    • org.eclipse.jdt.internal.codeassist.CompletionEngine.CompletionProblemFactory
    • org.eclipse.jdt.internal.core.builder.ProblemFactory
  • org.eclipse.core.internal.localstore.DeleteVisitor (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.localstore.IUnifiedTreeVisitor)
  • org.eclipse.core.tests.resources.DeltaDebugListener (implements org.eclipse.core.resources.IResourceChangeListener)
  • org.eclipse.jdt.internal.core.DeltaProcessingState (implements org.eclipse.core.resources.IResourceChangeListener)
  • org.eclipse.jdt.internal.core.DeltaProcessor
  • org.eclipse.jdt.internal.core.DeltaProcessor.RootInfo
  • org.jmlspecs.jml4.esc.gc.DesugaringVisitor
  • org.jmlspecs.jml4.esc.gc.DesugarLoopVisitor (implements org.jmlspecs.jml4.esc.gc.SugaredStatementVisitor)
  • org.eclipse.jdt.internal.compiler.parser.diagnose.DiagnoseParser (implements org.eclipse.jdt.internal.compiler.parser.ParserBasicInformation, org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
  • org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider)
    • org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage)
      • org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage (implements org.eclipse.ui.IWorkbenchPreferencePage, org.eclipse.ui.IWorkbenchPropertyPage)
        • org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
    • org.eclipse.jface.wizard.WizardPage (implements org.eclipse.jface.wizard.IWizardPage)
      • org.eclipse.jdt.ui.wizards.NewElementWizardPage
        • org.eclipse.jdt.ui.wizards.NewContainerWizardPage
          • org.eclipse.jdt.ui.wizards.NewTypeWizardPage
            • org.jmlspecs.eclipse.jdt.ui.NewJmlSpecCreationPage
  • java.util.Dictionary<K,V>
    • java.util.Hashtable<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • java.util.Properties
        • org.eclipse.test.internal.performance.db.Variations
  • org.eclipse.test.internal.performance.data.Dim (implements org.eclipse.test.performance.Dimension)
  • org.eclipse.test.internal.performance.data.DimensionMessages
  • org.eclipse.jdt.internal.core.index.DiskIndex
  • org.eclipse.jdt.core.jdom.DOMFactory (implements org.eclipse.jdt.core.jdom.IDOMFactory)
  • org.eclipse.jdt.internal.core.jdom.DOMNode (implements org.eclipse.jdt.core.jdom.IDOMNode)
  • org.eclipse.jdt.internal.compiler.codegen.DoubleCache
  • org.eclipse.core.internal.preferences.EclipsePreferences (implements org.eclipse.core.runtime.preferences.IEclipsePreferences, org.eclipse.core.runtime.preferences.IScope)
    • org.eclipse.core.internal.resources.ProjectPreferences
  • org.eclipse.core.tests.harness.EclipseTestHarnessApplication (implements org.eclipse.core.runtime.IPlatformRunnable)
  • org.eclipse.jdt.core.tests.builder.EfficiencyCompilerRequestor (implements org.eclipse.jdt.internal.compiler.IDebugRequestor)
  • org.eclipse.core.internal.watson.ElementTree
  • org.eclipse.core.internal.watson.ElementTreeIterator (implements org.eclipse.core.internal.watson.IPathRequestor)
  • org.eclipse.core.internal.watson.ElementTreeReader
  • org.eclipse.core.internal.watson.ElementTreeWriter
  • org.eclipse.jdt.internal.compiler.lookup.ElementValuePair
  • org.eclipse.jdt.internal.compiler.classfmt.ElementValuePairInfo (implements org.eclipse.jdt.internal.compiler.env.IBinaryElementValuePair)
  • org.eclipse.test.internal.performance.eval.EmptyEvaluator (implements org.eclipse.test.internal.performance.eval.IEvaluator)
    • org.eclipse.test.internal.performance.eval.Evaluator
  • org.eclipse.jdt.internal.codeassist.impl.Engine (implements org.eclipse.jdt.internal.compiler.impl.ITypeRequestor)
    • org.eclipse.jdt.internal.codeassist.CompletionEngine (implements org.eclipse.jdt.internal.codeassist.ISearchRequestor, org.eclipse.jdt.internal.codeassist.RelevanceConstants, org.eclipse.jdt.internal.compiler.util.SuffixConstants, org.eclipse.jdt.internal.compiler.parser.TerminalTokens, org.eclipse.jdt.internal.compiler.lookup.TypeConstants)
    • org.eclipse.jdt.internal.codeassist.SelectionEngine (implements org.eclipse.jdt.internal.codeassist.ISearchRequestor)
  • org.eclipse.jdt.internal.core.index.EntryResult
  • org.eclipse.jdt.internal.compiler.env.EnumConstantSignature
  • javafe.util.ErrorSet.StandardReporter (implements javafe.util.ErrorSet.Reporter)
    • org.jmlspecs.eclipse.jdt.internal.esc2.Esc2ProblemReporter
  • org.jmlspecs.eclipse.jdt.ui.EscjavaAction (implements org.eclipse.ui.IObjectActionDelegate, org.eclipse.ui.IWorkbenchWindowActionDelegate)
    • org.jmlspecs.eclipse.jdt.ui.EscjavaAction.Check
    • org.jmlspecs.eclipse.jdt.ui.EscjavaAction.Clear
    • org.jmlspecs.eclipse.jdt.ui.EscjavaAction.ESC
    • org.jmlspecs.eclipse.jdt.ui.EscjavaAction.GoToDecl
  • org.jmlspecs.eclipse.jdt.ui.EscjavaMarker
  • org.eclipse.jdt.internal.eval.EvaluationContext (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.internal.core.eval.EvaluationContextWrapper (implements org.eclipse.jdt.core.eval.IEvaluationContext)
  • org.eclipse.jdt.internal.eval.EvaluationResult
  • org.eclipse.jdt.core.tests.eval.EvaluationTest.Requestor (implements org.eclipse.jdt.internal.eval.IRequestor)
  • org.eclipse.jdt.internal.eval.Evaluator
    • org.eclipse.jdt.internal.eval.CodeSnippetEvaluator (implements org.eclipse.jdt.internal.eval.EvaluationConstants)
    • org.eclipse.jdt.internal.eval.VariablesEvaluator (implements org.eclipse.jdt.internal.eval.EvaluationConstants)
  • java.util.EventObject (implements java.io.Serializable)
    • org.eclipse.jdt.core.BufferChangedEvent
    • org.eclipse.jdt.core.ElementChangedEvent
    • org.eclipse.core.internal.events.PathVariableChangeEvent (implements org.eclipse.core.resources.IPathVariableChangeEvent)
    • org.eclipse.core.internal.events.ResourceChangeEvent (implements org.eclipse.core.resources.IResourceChangeEvent)
  • org.jmlspecs.jml4.rac.ExpressionTranslator
    • org.jmlspecs.jml4.rac.InlineAssertionTranslator
    • org.jmlspecs.jml4.rac.InvariantTranslator (implements org.jmlspecs.jml4.rac.TypeAssertionTranslator)
    • org.jmlspecs.jml4.rac.PostStateExpressionTranslator
      • org.jmlspecs.jml4.rac.ConstraintTranslator (implements org.jmlspecs.jml4.rac.TypeAssertionTranslator)
      • org.jmlspecs.jml4.rac.PostconditionTranslator
        • org.jmlspecs.jml4.rac.ExceptionalPostconditionTranslator
      • org.jmlspecs.jml4.rac.PreconditionTranslator
  • org.eclipse.jdt.internal.core.ExternalFolderChange
  • org.eclipse.jdt.internal.core.ExternalFoldersManager
  • org.eclipse.jdt.internal.compiler.batch.FileFinder
  • org.eclipse.core.resources.team.FileModificationValidationContext
  • org.eclipse.core.resources.team.FileModificationValidator (implements org.eclipse.core.resources.IFileModificationValidator)
  • org.eclipse.core.internal.localstore.FileStoreRoot
  • org.eclipse.jdt.internal.compiler.batch.FileSystem (implements org.eclipse.jdt.internal.compiler.env.INameEnvironment, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
    • org.eclipse.jdt.internal.compiler.batch.JmlFileSystem
  • org.eclipse.jdt.internal.compiler.batch.FileSystem.ClasspathNormalizer
  • org.eclipse.core.tests.harness.FileSystemComparator
  • org.eclipse.core.tests.harness.FileSystemHelper
  • org.eclipse.core.internal.localstore.FileSystemResourceManager (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.resources.IManager)
  • org.eclipse.core.internal.utils.FileUtil
  • org.eclipse.jdt.core.Flags
  • org.eclipse.jdt.internal.compiler.codegen.FloatCache
  • org.eclipse.jdt.internal.compiler.util.FloatUtil
  • org.eclipse.jdt.internal.compiler.flow.FlowContext (implements org.eclipse.jdt.internal.compiler.lookup.TypeConstants)
    • org.eclipse.jdt.internal.compiler.flow.ExceptionHandlingFlowContext
      • org.eclipse.jdt.internal.compiler.flow.InitializationFlowContext
    • org.eclipse.jdt.internal.compiler.flow.FinallyFlowContext
    • org.eclipse.jdt.internal.compiler.flow.InsideSubRoutineFlowContext
    • org.eclipse.jdt.internal.compiler.flow.SwitchFlowContext
      • org.eclipse.jdt.internal.compiler.flow.LabelFlowContext
      • org.eclipse.jdt.internal.compiler.flow.LoopingFlowContext
  • org.eclipse.jdt.internal.compiler.flow.FlowInfo
    • org.eclipse.jdt.internal.compiler.flow.ConditionalFlowInfo
    • org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo
      • org.eclipse.jdt.internal.compiler.flow.NullInfoRegistry
  • org.eclipse.jdt.internal.formatter.FormatJavadocNode (implements org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants)
    • org.eclipse.jdt.internal.formatter.FormatJavadocBlock (implements org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
    • org.eclipse.jdt.internal.formatter.FormatJavadocReference
    • org.eclipse.jdt.internal.formatter.FormatJavadocText (implements org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
  • org.jmlspecs.jml4.esc.gc.lang.GcProgram
  • org.jmlspecs.jml4.esc.GcTranslator
  • org.eclipse.jdt.internal.eval.GlobalVariable
  • org.eclipse.jdt.internal.core.util.HandleFactory
  • org.eclipse.jdt.internal.core.util.HashSetOfArray (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.core.util.HashSetOfCharArrayArray (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashSetOfInt (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.core.util.HashtableOfArrayToObject (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashtableOfInt
  • org.eclipse.jdt.internal.compiler.util.HashtableOfIntValues (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashtableOfLong
  • org.eclipse.jdt.internal.compiler.util.HashtableOfObject (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToInt (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToIntArray (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.HashtableOfPackage
  • org.eclipse.jdt.internal.compiler.util.HashtableOfType
  • org.eclipse.jdt.internal.core.hierarchy.HierarchyBinaryType (implements org.eclipse.jdt.internal.compiler.env.IBinaryType)
  • org.eclipse.jdt.internal.core.hierarchy.HierarchyBuilder
    • org.eclipse.jdt.internal.core.hierarchy.IndexBasedHierarchyBuilder (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
    • org.eclipse.jdt.internal.core.hierarchy.RegionBasedHierarchyBuilder
  • org.eclipse.jdt.internal.core.hierarchy.HierarchyResolver (implements org.eclipse.jdt.internal.compiler.impl.ITypeRequestor)
  • org.eclipse.jdt.internal.core.hierarchy.HierarchyType (implements org.eclipse.jdt.internal.compiler.env.IGenericType)
  • org.eclipse.core.internal.localstore.HistoryStore2 (implements org.eclipse.core.internal.localstore.IHistoryStore)
  • org.eclipse.jdt.core.tests.eval.target.IDEInterface
  • org.eclipse.jdt.core.dom.rewrite.ImportRewrite
  • org.eclipse.jdt.core.dom.rewrite.ImportRewrite.ImportRewriteContext
  • org.eclipse.jdt.internal.core.dom.rewrite.ImportRewriteAnalyzer
  • org.jmlspecs.jml4.esc.gc.IncarnationMap
  • org.eclipse.jdt.core.formatter.IndentManipulation
  • org.eclipse.jdt.internal.core.index.Index
  • org.eclipse.jdt.internal.core.search.IndexQueryRequestor
    • org.eclipse.jdt.internal.core.search.PathCollector
  • org.eclipse.jdt.internal.core.search.indexing.IndexRequest (implements org.eclipse.jdt.internal.core.search.processing.IJob)
    • org.eclipse.jdt.internal.core.search.indexing.IndexAllProject
    • org.eclipse.jdt.internal.core.search.indexing.IndexBinaryFolder
    • org.eclipse.jdt.internal.core.search.indexing.SaveIndex
  • org.eclipse.jdt.internal.core.search.IndexSelector
  • org.eclipse.jdt.internal.compiler.lookup.InferenceContext
  • org.eclipse.jdt.core.dom.InfixExpression.Operator
  • org.eclipse.jdt.core.tests.compiler.regression.InMemoryNameEnvironment (implements org.eclipse.jdt.internal.compiler.env.INameEnvironment)
  • org.eclipse.jdt.internal.compiler.lookup.InnerEmulationDependency
  • java.io.InputStream (implements java.io.Closeable)
    • java.io.FilterInputStream
      • org.eclipse.core.internal.localstore.SafeFileInputStream
    • org.eclipse.core.internal.localstore.SafeChunkyInputStream
    • org.eclipse.jdt.core.tests.runtime.VMInputStream
  • org.eclipse.jdt.internal.compiler.codegen.IntegerCache
  • org.eclipse.core.internal.events.InternalBuilder
    • org.eclipse.core.resources.IncrementalProjectBuilder (implements org.eclipse.core.runtime.IExecutableExtension)
      • org.eclipse.jdt.internal.core.builder.JavaBuilder
      • org.eclipse.core.tests.resources.usecase.SignaledBuilder
      • org.eclipse.core.tests.resources.regression.SimpleBuilder
      • org.eclipse.core.tests.internal.builders.TestBuilder
        • org.eclipse.core.tests.internal.builders.BrokenBuilder
        • org.eclipse.core.tests.internal.builders.ClearMarkersBuilder
        • org.eclipse.core.tests.internal.builders.CustomTriggerBuilder
        • org.eclipse.core.tests.internal.builders.CycleBuilder
        • org.eclipse.core.tests.internal.builders.DeltaVerifierBuilder
        • org.eclipse.core.tests.internal.builders.EmptyDeltaBuilder
        • org.eclipse.core.tests.internal.builders.ExceptionBuilder
        • org.eclipse.core.tests.internal.builders.RefreshLocalJavaFileBuilder
        • org.eclipse.core.tests.internal.builders.SnowBuilder
        • org.eclipse.core.tests.internal.builders.SortBuilder
  • org.eclipse.jdt.internal.codeassist.InternalCompletionContext
    • org.eclipse.jdt.core.CompletionContext
  • org.eclipse.jdt.internal.codeassist.InternalCompletionProposal
    • org.eclipse.jdt.core.CompletionProposal
  • org.eclipse.jdt.internal.codeassist.InternalExtendedCompletionContext
  • org.eclipse.jdt.internal.core.InternalNamingConventions
  • org.eclipse.core.internal.refresh.InternalRefreshProvider
    • org.eclipse.core.resources.refresh.RefreshProvider
      • org.eclipse.core.tests.resources.refresh.TestRefreshProvider (implements org.eclipse.core.resources.refresh.IRefreshMonitor)
      • org.eclipse.core.internal.resources.refresh.win32.Win32RefreshProvider
  • org.eclipse.jdt.internal.core.search.indexing.InternalSearchDocument
    • org.eclipse.jdt.core.search.SearchDocument
      • org.eclipse.jdt.internal.core.search.JavaSearchDocument
        • org.eclipse.jdt.internal.core.search.matching.MatchLocator.WorkingCopyDocument
      • org.eclipse.jdt.core.tests.model.SearchParticipantTests.TestSearchDocument
  • org.eclipse.jdt.internal.core.search.matching.InternalSearchPattern
    • org.eclipse.jdt.core.search.SearchPattern
      • org.eclipse.jdt.internal.core.search.matching.JavaSearchPattern (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
        • org.eclipse.jdt.internal.core.search.matching.ConstructorPattern
        • org.eclipse.jdt.internal.core.search.matching.IntersectingPattern
          • org.eclipse.jdt.internal.core.search.matching.AndPattern
          • org.eclipse.jdt.internal.core.search.matching.PackageReferencePattern
          • org.eclipse.jdt.internal.core.search.matching.TypeReferencePattern
            • org.eclipse.jdt.internal.core.search.matching.DeclarationOfReferencedTypesPattern
        • org.eclipse.jdt.internal.core.search.matching.MethodPattern
          • org.eclipse.jdt.internal.core.search.matching.DeclarationOfReferencedMethodsPattern
        • org.eclipse.jdt.internal.core.search.matching.MultiTypeDeclarationPattern
        • org.eclipse.jdt.internal.core.search.matching.PackageDeclarationPattern
        • org.eclipse.jdt.internal.core.search.matching.SuperTypeReferencePattern
        • org.eclipse.jdt.internal.core.search.matching.TypeDeclarationPattern
          • org.eclipse.jdt.internal.core.search.matching.QualifiedTypeDeclarationPattern
          • org.eclipse.jdt.internal.core.search.matching.SecondaryTypeDeclarationPattern
        • org.eclipse.jdt.internal.core.search.matching.TypeParameterPattern
        • org.eclipse.jdt.internal.core.search.matching.VariablePattern
          • org.eclipse.jdt.internal.core.search.matching.FieldPattern
            • org.eclipse.jdt.internal.core.search.matching.DeclarationOfAccessedFieldsPattern
          • org.eclipse.jdt.internal.core.search.matching.LocalVariablePattern
      • org.eclipse.jdt.internal.core.search.matching.OrPattern (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
  • org.eclipse.core.internal.resources.InternalTeamHook
    • org.eclipse.core.resources.team.TeamHook
  • org.eclipse.jdt.internal.compiler.ISourceElementRequestor.FieldInfo
  • org.eclipse.jdt.internal.compiler.ISourceElementRequestor.MethodInfo
  • org.eclipse.jdt.internal.compiler.ISourceElementRequestor.TypeInfo
  • org.eclipse.jdt.internal.compiler.ISourceElementRequestor.TypeParameterInfo
  • org.eclipse.core.resources.IWorkspace.ProjectOrder
  • org.eclipse.jdt.core.JavaConventions
  • org.eclipse.jdt.internal.core.JavaElementDeltaBuilder
  • org.eclipse.jdt.core.tests.model.JavaElementDeltaTests.DeltaListener (implements org.eclipse.jdt.core.IElementChangedListener)
  • org.eclipse.jdt.internal.core.JavaElementInfo
    • org.eclipse.jdt.internal.core.AnnotatableInfo
      • org.eclipse.jdt.internal.core.SourceFieldElementInfo (implements org.eclipse.jdt.internal.compiler.env.ISourceField)
      • org.eclipse.jdt.internal.core.SourceMethodElementInfo (implements org.eclipse.jdt.internal.compiler.env.ISourceMethod)
        • org.eclipse.jdt.internal.core.SourceConstructorInfo
        • org.eclipse.jdt.internal.core.SourceMethodInfo
          • org.eclipse.jdt.internal.core.SourceAnnotationMethodInfo
      • org.eclipse.jdt.internal.core.SourceTypeElementInfo (implements org.eclipse.jdt.internal.compiler.env.ISourceType)
    • org.eclipse.jdt.internal.core.AnnotationInfo
    • org.eclipse.jdt.internal.core.ImportDeclarationElementInfo (implements org.eclipse.jdt.internal.compiler.env.ISourceImport)
    • org.eclipse.jdt.internal.core.InitializerElementInfo
    • org.eclipse.jdt.internal.core.OpenableElementInfo
      • org.eclipse.jdt.internal.core.CompilationUnitElementInfo
        • org.eclipse.jdt.internal.core.ASTHolderCUInfo
      • org.eclipse.jdt.internal.core.JavaModelInfo
    • org.eclipse.jdt.internal.core.TypeParameterElementInfo
  • org.eclipse.jdt.internal.core.JavaElementRequestor (implements org.eclipse.jdt.internal.core.IJavaElementRequestor)
  • org.eclipse.jdt.internal.core.JavaModelCache
  • org.eclipse.jdt.internal.core.JavaModelManager (implements org.eclipse.core.runtime.content.IContentTypeManager.IContentTypeChangeListener, org.eclipse.core.resources.ISaveParticipant)
  • org.eclipse.jdt.internal.core.JavaModelManager.CompilationParticipants
  • org.eclipse.jdt.internal.core.JavaModelManager.EclipsePreferencesListener (implements org.eclipse.core.runtime.preferences.IEclipsePreferences.IPreferenceChangeListener)
  • org.eclipse.jdt.internal.core.JavaModelManager.PerProjectInfo
  • org.eclipse.jdt.internal.core.JavaModelManager.PerWorkingCopyInfo (implements org.eclipse.jdt.core.IProblemRequestor)
  • org.eclipse.jdt.internal.core.JavaModelOperation (implements org.eclipse.core.runtime.IProgressMonitor, org.eclipse.core.resources.IWorkspaceRunnable)
    • org.eclipse.jdt.internal.core.BatchOperation
    • org.eclipse.jdt.internal.core.BecomeWorkingCopyOperation
    • org.eclipse.jdt.internal.core.ChangeClasspathOperation
      • org.eclipse.jdt.internal.core.SetClasspathOperation
      • org.eclipse.jdt.internal.core.SetContainerOperation
      • org.eclipse.jdt.internal.core.SetVariablesOperation
    • org.eclipse.jdt.internal.core.CommitWorkingCopyOperation
    • org.eclipse.jdt.internal.core.CopyPackageFragmentRootOperation
      • org.eclipse.jdt.internal.core.MovePackageFragmentRootOperation
    • org.eclipse.jdt.internal.core.CreateCompilationUnitOperation
    • org.eclipse.jdt.internal.core.CreateElementInCUOperation
      • org.eclipse.jdt.internal.core.CreateImportOperation
      • org.eclipse.jdt.internal.core.CreatePackageDeclarationOperation
      • org.eclipse.jdt.internal.core.CreateTypeMemberOperation
        • org.eclipse.jdt.internal.core.CreateFieldOperation
        • org.eclipse.jdt.internal.core.CreateInitializerOperation
        • org.eclipse.jdt.internal.core.CreateMethodOperation
        • org.eclipse.jdt.internal.core.CreateTypeOperation
    • org.eclipse.jdt.internal.core.CreatePackageFragmentOperation
    • org.eclipse.jdt.internal.core.CreateTypeHierarchyOperation
    • org.eclipse.jdt.internal.core.DeletePackageFragmentRootOperation
    • org.eclipse.jdt.internal.core.DiscardWorkingCopyOperation
    • org.eclipse.jdt.internal.core.MultiOperation
      • org.eclipse.jdt.internal.core.CopyElementsOperation (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
        • org.eclipse.jdt.internal.core.MoveElementsOperation
          • org.eclipse.jdt.internal.core.RenameElementsOperation
      • org.eclipse.jdt.internal.core.CopyResourceElementsOperation (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
        • org.eclipse.jdt.internal.core.MoveResourceElementsOperation
          • org.eclipse.jdt.internal.core.RenameResourceElementsOperation
      • org.eclipse.jdt.internal.core.DeleteElementsOperation
      • org.eclipse.jdt.internal.core.DeleteResourceElementsOperation
    • org.eclipse.jdt.internal.core.ReconcileWorkingCopyOperation
    • org.eclipse.jdt.internal.core.SortElementsOperation
  • org.eclipse.jdt.internal.core.search.matching.JavaSearchNameEnvironment (implements org.eclipse.jdt.internal.compiler.env.INameEnvironment, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.core.tests.eval.JDIStackFrame (implements org.eclipse.jdt.internal.eval.EvaluationConstants, org.eclipse.jdt.core.tests.runtime.RuntimeConstants)
  • org.jmlspecs.jml4.rac.runtime.JMLAssertionError.Location
  • org.jmlspecs.jml4.ast.JmlAstUtils
  • org.jmlspecs.jml4.lookup.JmlBinaryLookup
  • org.jmlspecs.jml4.rac.runtime.JMLChecker (implements org.jmlspecs.jml4.rac.runtime.JMLOption)
  • org.jmlspecs.jml4.rac.runtime.JMLChecker.CoverageCount
  • org.jmlspecs.eclipse.jdt.core.tests.util.JmlCoreTestsUtil
  • org.jmlspecs.jml4.lookup.JmlFileFinder
  • org.jmlspecs.jml4.compiler.parser.JmlIdentifier
  • org.jmlspecs.jml4.ast.JmlModifier
  • org.jmlspecs.jml4.rac.runtime.JMLNonExecutableUtil
  • org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache
  • org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache.Key
  • org.eclipse.jdt.internal.compiler.parser.JmlParserHelper (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds, org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
  • org.jmlspecs.jml4.ast.JmlQuantifier
    • org.jmlspecs.jml4.ast.JmlBooleanQuantifier
    • org.jmlspecs.jml4.ast.JmlNumericQuantifier
  • org.jmlspecs.jml4.rac.runtime.JMLRacBigIntegerUtils
  • org.jmlspecs.jml4.rac.runtime.JMLRacUtil
  • org.jmlspecs.jml4.rac.runtime.JMLRacValue
  • org.jmlspecs.jml4.compiler.JmlScannerAnnotationState
  • org.jmlspecs.jml4.lookup.JmlSourceLookup
  • org.jmlspecs.jml4.rac.runtime.JMLSurrogate
  • org.eclipse.jdt.internal.core.search.processing.JobManager (implements java.lang.Runnable)
    • org.eclipse.jdt.internal.core.search.indexing.IndexManager (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
  • org.eclipse.core.internal.utils.KeyedHashSet
  • org.jmlspecs.jml4.esc.gc.lang.KindOfAssertion
  • org.eclipse.jdt.internal.compiler.codegen.Label
    • org.eclipse.jdt.internal.compiler.codegen.BranchLabel
      • org.eclipse.jdt.internal.compiler.codegen.CaseLabel
    • org.eclipse.jdt.internal.compiler.codegen.ExceptionLabel
  • org.eclipse.jdt.internal.compiler.parser.diagnose.LexStream (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
  • org.eclipse.jdt.internal.compiler.parser.diagnose.LexStream.Token
  • org.eclipse.core.internal.events.LifecycleEvent
  • org.eclipse.jdt.internal.core.dom.rewrite.LineCommentEndOffsets
  • org.eclipse.jdt.internal.core.dom.rewrite.LineInformation
  • org.eclipse.core.internal.resources.LinkDescription (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.core.dom.rewrite.ListRewrite
  • org.eclipse.core.internal.resources.LocalMetaArea (implements org.eclipse.core.internal.resources.ICoreConstants)
  • org.eclipse.core.tests.resources.content.LocalSelectionPolicy (implements org.eclipse.core.runtime.content.IContentTypeManager.ISelectionPolicy)
  • org.eclipse.jdt.core.tests.runtime.LocalVirtualMachine
  • org.eclipse.jdt.core.tests.runtime.LocalVMLauncher (implements org.eclipse.jdt.core.tests.runtime.RuntimeConstants)
    • org.eclipse.jdt.core.tests.runtime.J9VMLauncher (implements org.eclipse.jdt.core.tests.runtime.RuntimeConstants)
    • org.eclipse.jdt.core.tests.runtime.JRockitVMLauncher (implements org.eclipse.jdt.core.tests.runtime.RuntimeConstants)
    • org.eclipse.jdt.core.tests.runtime.StandardVMLauncher (implements org.eclipse.jdt.core.tests.runtime.RuntimeConstants)
      • org.eclipse.jdt.core.tests.runtime.DRLVMLauncher
      • org.eclipse.jdt.core.tests.runtime.MacVMLauncher
      • org.eclipse.jdt.core.tests.runtime.SideCarJ9VMLauncher
      • org.eclipse.jdt.core.tests.runtime.SideCarVMLauncher
  • org.eclipse.jdt.internal.formatter.Location
  • org.eclipse.core.internal.resources.LocationValidator
  • org.jmlspecs.eclipse.jdt.internal.compiler.util.Log
    • org.jmlspecs.eclipse.jdt.ui.Console
  • org.jmlspecs.jml4.util.Logger
  • org.eclipse.jdt.internal.compiler.codegen.LongCache
  • org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment (implements org.eclipse.jdt.internal.compiler.lookup.ProblemReasons, org.eclipse.jdt.internal.compiler.lookup.TypeConstants)
  • org.eclipse.jdt.internal.core.util.LRUCache (implements java.lang.Cloneable)
    • org.eclipse.jdt.internal.core.OverflowingLRUCache
      • org.eclipse.jdt.internal.core.BufferCache
      • org.eclipse.jdt.internal.core.ElementCache
        • org.eclipse.jdt.internal.core.VerboseElementCache
  • org.eclipse.jdt.internal.core.LRUCacheEnumerator (implements java.util.Enumeration<E>)
  • org.eclipse.jdt.internal.core.LRUCacheEnumerator.LRUEnumeratorElement
  • org.eclipse.jdt.internal.compiler.batch.Main (implements org.eclipse.jdt.internal.compiler.problem.ProblemSeverities, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
    • org.jmlspecs.jml4.rac.Main
  • org.eclipse.jdt.internal.compiler.batch.Main.Logger
  • org.eclipse.jdt.internal.compiler.batch.Main.ResourceBundleFactory
  • org.eclipse.jdt.core.tests.dom.MarkedASTFlattener.MarkedNodeLabelProvider
    • org.eclipse.jdt.core.tests.dom.MarkedASTFlattener.DefaultMarkedNodeLabelProvider (implements org.eclipse.jdt.core.tests.dom.DefaultMarkedNodeLabelProviderOptions)
  • org.eclipse.core.internal.resources.MarkerAttributeMap (implements org.eclipse.core.internal.utils.IStringPoolParticipant, java.util.Map<K,V>)
  • org.eclipse.core.internal.resources.MarkerDelta (implements org.eclipse.core.resources.IMarkerDelta, org.eclipse.core.internal.resources.IMarkerSetElement)
  • org.eclipse.core.internal.resources.MarkerInfo (implements java.lang.Cloneable, org.eclipse.core.internal.resources.IMarkerSetElement, org.eclipse.core.internal.utils.IStringPoolParticipant)
  • org.eclipse.core.internal.resources.MarkerManager (implements org.eclipse.core.internal.resources.IManager)
  • org.eclipse.core.internal.resources.MarkerReader
    • org.eclipse.core.internal.resources.MarkerReader_1
    • org.eclipse.core.internal.resources.MarkerReader_2
    • org.eclipse.core.internal.resources.MarkerReader_3
  • org.eclipse.core.tests.resources.MarkersChangeListener (implements org.eclipse.core.resources.IResourceChangeListener)
  • org.eclipse.core.internal.resources.MarkerSet (implements java.lang.Cloneable, org.eclipse.core.internal.utils.IStringPoolParticipant)
  • org.eclipse.core.internal.resources.MarkerSnapshotReader
    • org.eclipse.core.internal.resources.MarkerSnapshotReader_1
    • org.eclipse.core.internal.resources.MarkerSnapshotReader_2
  • org.eclipse.core.internal.resources.MarkerTypeDefinitionCache
  • org.eclipse.core.internal.resources.MarkerWriter
  • org.eclipse.jdt.internal.core.search.matching.MatchingNodeSet
  • org.eclipse.jdt.internal.core.search.matching.MatchLocator (implements org.eclipse.jdt.internal.compiler.impl.ITypeRequestor)
  • org.eclipse.jdt.internal.core.MemberValuePair (implements org.eclipse.jdt.core.IMemberValuePair)
  • org.eclipse.jdt.internal.core.util.MementoTokenizer
  • org.eclipse.jdt.internal.core.index.MemoryIndex
  • org.eclipse.core.tests.internal.filesystem.ram.MemoryTree
  • org.eclipse.jdt.core.dom.Message
  • org.eclipse.jdt.internal.compiler.util.Messages
  • org.jmlspecs.jml4.rac.MethodDeclarationTranslator
  • org.jmlspecs.jml4.rac.MethodSpecificationTranslator
  • org.eclipse.jdt.internal.compiler.lookup.MethodVerifier
  • org.eclipse.core.internal.resources.ModelObject (implements java.lang.Cloneable)
    • org.eclipse.core.internal.events.BuildCommand (implements org.eclipse.core.resources.ICommand)
    • org.eclipse.core.internal.resources.ProjectDescription (implements org.eclipse.core.resources.IProjectDescription)
    • org.eclipse.core.internal.resources.WorkspaceDescription (implements org.eclipse.core.resources.IWorkspaceDescription)
      • org.eclipse.core.internal.resources.WorkspacePreferences
  • org.eclipse.core.internal.resources.ModelObjectWriter (implements org.eclipse.core.internal.resources.IModelObjectConstants)
  • org.eclipse.core.internal.resources.mapping.ModelProviderDescriptor (implements org.eclipse.core.resources.mapping.IModelProviderDescriptor)
  • org.eclipse.core.internal.resources.mapping.ModelProviderManager
  • org.eclipse.jdt.core.tests.model.ModelTestsUtil
  • org.eclipse.jdt.internal.core.ModelUpdater
  • org.eclipse.jdt.core.dom.Modifier.ModifierKeyword
  • org.eclipse.core.internal.resources.MoveDeleteHook (implements org.eclipse.core.resources.team.IMoveDeleteHook)
  • org.eclipse.core.tests.resources.content.MyContentDescriber (implements org.eclipse.core.runtime.content.IContentDescriber)
  • org.eclipse.jdt.internal.core.builder.NameEnvironment (implements org.eclipse.jdt.internal.compiler.env.INameEnvironment, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.internal.compiler.env.NameEnvironmentAnswer
  • org.eclipse.jdt.internal.core.NameLookup (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.jdt.internal.core.NameLookup.Answer
  • org.eclipse.jdt.internal.core.builder.NameSet
  • org.eclipse.jdt.core.NamingConventions
  • org.eclipse.core.internal.resources.NatureManager (implements org.eclipse.core.internal.events.ILifecycleListener, org.eclipse.core.internal.resources.IManager)
  • org.eclipse.core.tests.resources.content.NaySayerContentDescriber (implements org.eclipse.core.runtime.content.ITextContentDescriber)
  • org.eclipse.osgi.util.NLS
    • org.eclipse.core.internal.utils.Messages
    • org.eclipse.jdt.internal.core.util.Messages
    • org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
  • org.eclipse.jdt.internal.compiler.parser.NLSTag
  • org.eclipse.core.internal.dtree.NodeComparison
  • org.eclipse.core.internal.events.NodeIDMap
  • org.eclipse.jdt.internal.core.dom.rewrite.NodeInfoStore
  • org.eclipse.core.internal.events.NotificationManager (implements org.eclipse.core.internal.events.ILifecycleListener, org.eclipse.core.internal.resources.IManager)
  • org.jmlspecs.jml4.nonnull.Nullity
  • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTests.State (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTransformations
  • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTransformations.Transformation
    • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTransformations.ThreeDimensionalTransformation
      • org.eclipse.jdt.core.tests.compiler.regression.NullReferenceImplTransformations.SymmetricalThreeDimensionalTransformation
  • org.eclipse.jdt.internal.compiler.codegen.ObjectCache
  • org.eclipse.core.internal.utils.ObjectMap (implements org.eclipse.core.internal.utils.IStringPoolParticipant, java.util.Map<K,V>)
  • org.eclipse.jdt.internal.compiler.util.ObjectVector
  • org.eclipse.jdt.core.util.OpcodeStringValues (implements org.eclipse.jdt.core.util.IOpcodeMnemonics)
  • org.eclipse.jdt.internal.formatter.OptimizedReplaceEdit
  • org.eclipse.jdt.internal.ui.preferences.OptionsConfigurationBlock
    • org.jmlspecs.eclipse.jdt.ui.preferences.JmlConfigurationBlock
  • org.eclipse.core.internal.resources.OS
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • org.jmlspecs.eclipse.jdt.ui.Console.StreamToConsole
    • java.io.FilterOutputStream
      • org.eclipse.core.internal.localstore.SafeChunkyOutputStream
    • org.eclipse.core.internal.localstore.SafeFileOutputStream
  • org.eclipse.jdt.core.tests.model.OverflowingCacheTests.OverflowingTestBuffer (implements org.eclipse.jdt.core.IBuffer)
  • org.eclipse.jdt.internal.compiler.parser.Parser (implements org.eclipse.jdt.internal.compiler.ast.OperatorIds, org.eclipse.jdt.internal.compiler.parser.ParserBasicInformation, org.eclipse.jdt.internal.compiler.parser.TerminalTokens, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
    • org.eclipse.jdt.internal.codeassist.impl.AssistParser
      • org.eclipse.jdt.internal.codeassist.complete.CompletionParser
      • org.eclipse.jdt.internal.codeassist.select.SelectionParser
    • org.eclipse.jdt.internal.eval.CodeSnippetParser (implements org.eclipse.jdt.internal.eval.EvaluationConstants)
    • org.eclipse.jdt.internal.core.util.CommentRecorderParser
      • org.eclipse.jdt.internal.compiler.SourceElementParser
        • org.eclipse.jdt.internal.core.search.indexing.IndexingParser
    • org.eclipse.jdt.internal.compiler.DocumentElementParser
    • org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser
    • org.jmlspecs.jml4.rac.RacParser
  • org.jmlspecs.jml4.esc.gc.PassifyVisitor
  • org.eclipse.core.internal.resources.PathVariableManager (implements org.eclipse.core.internal.resources.IManager, org.eclipse.core.resources.IPathVariableManager)
  • org.eclipse.jdt.internal.core.search.matching.PatternLocator (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants)
    • org.eclipse.jdt.internal.core.search.matching.AndLocator
    • org.eclipse.jdt.internal.core.search.matching.ConstructorLocator
    • org.eclipse.jdt.internal.core.search.matching.MethodLocator
    • org.eclipse.jdt.internal.core.search.matching.OrLocator
    • org.eclipse.jdt.internal.core.search.matching.PackageDeclarationLocator
    • org.eclipse.jdt.internal.core.search.matching.PackageReferenceLocator
    • org.eclipse.jdt.internal.core.search.matching.SuperTypeReferenceLocator
    • org.eclipse.jdt.internal.core.search.matching.TypeDeclarationLocator
    • org.eclipse.jdt.internal.core.search.matching.TypeParameterLocator
    • org.eclipse.jdt.internal.core.search.matching.TypeReferenceLocator
    • org.eclipse.jdt.internal.core.search.matching.VariableLocator
      • org.eclipse.jdt.internal.core.search.matching.FieldLocator
      • org.eclipse.jdt.internal.core.search.matching.LocalVariableLocator
  • org.eclipse.jdt.internal.core.search.PatternSearchJob (implements org.eclipse.jdt.internal.core.search.processing.IJob)
    • org.eclipse.jdt.internal.core.search.SubTypeSearchJob
  • org.eclipse.test.performance.Performance
  • org.eclipse.test.performance.PerformanceMeter
    • org.eclipse.test.internal.performance.InternalPerformanceMeter
      • org.eclipse.test.internal.performance.OSPerformanceMeter
        • org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeter
      • org.eclipse.test.internal.performance.SystemTimePerformanceMeter
    • org.eclipse.test.internal.performance.NullPerformanceMeter
  • org.eclipse.test.internal.performance.PerformanceMeterFactory
    • org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeterFactory
    • org.eclipse.test.internal.performance.OSPerformanceMeterFactory
    • org.eclipse.test.internal.performance.SystemTimePerformanceMeterFactory
  • org.eclipse.perfmsr.core.PerformanceMonitor
  • org.eclipse.core.tests.harness.PerformanceTestRunner
  • org.eclipse.core.tests.internal.watson.PhantomElementData
  • org.eclipse.core.runtime.PlatformObject (implements org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.internal.resources.FileState (implements org.eclipse.core.resources.IFileState)
    • org.eclipse.core.filesystem.provider.FileStore (implements org.eclipse.core.filesystem.IFileStore)
      • org.eclipse.core.tests.internal.filesystem.broken.BrokenFileStore
      • org.eclipse.core.tests.internal.filesystem.ram.MemoryFileStore
      • org.eclipse.jdt.core.tests.model.TestFileStore
      • org.eclipse.core.tests.internal.filesystem.wrapper.WrapperFileStore
    • org.eclipse.core.filesystem.provider.FileSystem (implements org.eclipse.core.filesystem.IFileSystem)
      • org.eclipse.core.tests.internal.filesystem.broken.BrokenFileSystem
      • org.eclipse.core.tests.internal.filesystem.ram.MemoryFileSystem
      • org.eclipse.jdt.core.tests.model.TestFileSystem
      • org.eclipse.core.tests.internal.filesystem.wrapper.WrapperFileSystem
    • org.eclipse.core.internal.jobs.InternalJob (implements java.lang.Comparable<T>)
      • org.eclipse.core.runtime.jobs.Job (implements org.eclipse.core.runtime.IAdaptable)
        • org.eclipse.core.internal.resources.CharsetDeltaJob (implements org.eclipse.core.runtime.content.IContentTypeManager.IContentTypeChangeListener)
        • org.eclipse.core.internal.resources.DelayedSnapshotJob
        • org.eclipse.core.internal.resources.InternalWorkspaceJob
          • org.eclipse.core.resources.WorkspaceJob
            • org.eclipse.core.internal.refresh.RefreshJob
            • org.eclipse.core.tests.internal.resources.TestWorkspaceJob
        • org.eclipse.core.internal.refresh.PollingMonitor (implements org.eclipse.core.resources.refresh.IRefreshMonitor)
        • org.eclipse.core.internal.utils.StringPoolJob
        • org.eclipse.core.tests.harness.TestJob
    • org.eclipse.jdt.internal.core.JarEntryResource (implements org.eclipse.jdt.core.IJarEntryResource)
      • org.eclipse.jdt.internal.core.JarEntryDirectory
      • org.eclipse.jdt.internal.core.JarEntryFile
    • org.eclipse.jdt.internal.core.JavaElement (implements org.eclipse.jdt.core.IJavaElement)
      • org.eclipse.jdt.internal.core.Openable (implements org.eclipse.jdt.core.IBufferChangedListener, org.eclipse.jdt.core.IOpenable)
        • org.eclipse.jdt.internal.core.ClassFile (implements org.eclipse.jdt.core.IClassFile, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
        • org.eclipse.jdt.internal.core.CompilationUnit (implements org.eclipse.jdt.core.ICompilationUnit, org.eclipse.jdt.internal.compiler.env.ICompilationUnit, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
          • org.eclipse.jdt.internal.codeassist.impl.AssistCompilationUnit
          • org.eclipse.jdt.internal.core.ClassFileWorkingCopy
        • org.eclipse.jdt.internal.core.JavaModel (implements org.eclipse.jdt.core.IJavaModel)
        • org.eclipse.jdt.internal.core.JavaProject (implements org.eclipse.jdt.core.IJavaProject, org.eclipse.core.resources.IProjectNature, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
          • org.eclipse.jdt.internal.core.ExternalJavaProject
        • org.eclipse.jdt.core.tests.model.OverflowingCacheTests.OverflowingTestOpenable
        • org.eclipse.jdt.internal.core.PackageFragment (implements org.eclipse.jdt.core.IPackageFragment, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
        • org.eclipse.jdt.internal.core.PackageFragmentRoot (implements org.eclipse.jdt.core.IPackageFragmentRoot)
          • org.eclipse.jdt.internal.core.ExternalPackageFragmentRoot
          • org.eclipse.jdt.internal.core.JarPackageFragmentRoot
      • org.eclipse.jdt.internal.core.SourceRefElement (implements org.eclipse.jdt.core.ISourceReference)
        • org.eclipse.jdt.internal.core.Annotation (implements org.eclipse.jdt.core.IAnnotation)
          • org.eclipse.jdt.internal.codeassist.impl.AssistAnnotation
        • org.eclipse.jdt.internal.core.ImportContainer (implements org.eclipse.jdt.core.IImportContainer)
          • org.eclipse.jdt.internal.codeassist.impl.AssistImportContainer
        • org.eclipse.jdt.internal.core.ImportDeclaration (implements org.eclipse.jdt.core.IImportDeclaration)
          • org.eclipse.jdt.internal.codeassist.impl.AssistImportDeclaration
        • org.eclipse.jdt.internal.core.LocalVariable (implements org.eclipse.jdt.core.ILocalVariable)
        • org.eclipse.jdt.internal.core.Member (implements org.eclipse.jdt.core.IMember)
          • org.eclipse.jdt.internal.core.Initializer (implements org.eclipse.jdt.core.IInitializer)
            • org.eclipse.jdt.internal.codeassist.impl.AssistInitializer
          • org.eclipse.jdt.internal.core.NamedMember
            • org.eclipse.jdt.internal.core.BinaryMember
              • org.eclipse.jdt.internal.core.BinaryType (implements org.eclipse.jdt.core.IType, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
                • org.eclipse.jdt.internal.core.ResolvedBinaryType
              • org.eclipse.jdt.internal.core.ResolvedBinaryField
              • org.eclipse.jdt.internal.core.ResolvedBinaryMethod
            • org.eclipse.jdt.internal.core.SourceField (implements org.eclipse.jdt.core.IField)
              • org.eclipse.jdt.internal.core.ResolvedSourceField
                • org.eclipse.jdt.internal.codeassist.impl.AssistSourceField
            • org.eclipse.jdt.internal.core.SourceMethod (implements org.eclipse.jdt.core.IMethod)
              • org.eclipse.jdt.internal.core.ResolvedSourceMethod
                • org.eclipse.jdt.internal.codeassist.impl.AssistSourceMethod
            • org.eclipse.jdt.internal.core.SourceType (implements org.eclipse.jdt.core.IType)
              • org.eclipse.jdt.internal.core.ResolvedSourceType
                • org.eclipse.jdt.internal.codeassist.impl.AssistSourceType
        • org.eclipse.jdt.internal.core.PackageDeclaration (implements org.eclipse.jdt.core.IPackageDeclaration)
          • org.eclipse.jdt.internal.codeassist.impl.AssistPackageDeclaration
        • org.eclipse.jdt.internal.core.TypeParameter (implements org.eclipse.jdt.core.ITypeParameter)
          • org.eclipse.jdt.internal.codeassist.impl.AssistTypeParameter
    • org.eclipse.core.internal.resources.Marker (implements org.eclipse.core.resources.IMarker)
    • org.eclipse.core.resources.mapping.ModelProvider
      • org.eclipse.core.internal.resources.mapping.ResourceModelProvider
      • org.eclipse.core.tests.internal.mapping.TestModelProvider
    • org.eclipse.jdt.internal.core.NonJavaResource (implements org.eclipse.jdt.core.IJarEntryResource)
    • org.eclipse.core.internal.resources.mapping.ProposedResourceDelta (implements org.eclipse.core.resources.IResourceDelta)
    • org.eclipse.core.internal.resources.Resource (implements java.lang.Cloneable, org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.watson.IPathRequestor, org.eclipse.core.resources.IResource)
      • org.eclipse.core.internal.resources.Container (implements org.eclipse.core.resources.IContainer)
        • org.eclipse.core.internal.resources.Folder (implements org.eclipse.core.resources.IFolder)
        • org.eclipse.core.internal.resources.Project (implements org.eclipse.core.resources.IProject)
        • org.eclipse.core.internal.resources.WorkspaceRoot (implements org.eclipse.core.resources.IWorkspaceRoot)
      • org.eclipse.core.internal.resources.File (implements org.eclipse.core.resources.IFile)
    • org.eclipse.core.internal.events.ResourceDelta (implements org.eclipse.core.resources.IResourceDelta)
    • org.eclipse.core.resources.mapping.ResourceMapping
      • org.eclipse.core.resources.mapping.CompositeResourceMapping
      • org.eclipse.core.internal.resources.mapping.ShallowResourceMapping
      • org.eclipse.core.internal.resources.mapping.SimpleResourceMapping
    • org.eclipse.core.internal.resources.mapping.ShallowContainer
    • org.eclipse.core.internal.resources.Workspace (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.resources.IWorkspace)
  • org.eclipse.core.runtime.Plugin (implements org.osgi.framework.BundleActivator)
    • org.eclipse.ui.plugin.AbstractUIPlugin
      • org.jmlspecs.eclipse.jdt.core.tests.nonnull.Activator
      • org.jmlspecs.eclipse.jdt.ui.Activator (implements org.eclipse.ui.IStartup)
    • org.eclipse.jdt.core.JavaCore
    • org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeterPlugin
    • org.eclipse.test.internal.performance.PerformanceTestPlugin
    • org.eclipse.core.resources.ResourcesPlugin
  • org.eclipse.core.internal.utils.Policy
  • org.eclipse.core.tests.internal.filesystem.ram.Policy
  • org.eclipse.core.resources.ant.Policy
  • org.eclipse.jface.text.Position
    • org.eclipse.jdt.internal.formatter.comment.CommentRange (implements org.eclipse.jdt.internal.formatter.comment.ICommentAttributes, org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters)
    • org.eclipse.jdt.internal.formatter.comment.CommentRegion (implements org.eclipse.jdt.internal.formatter.comment.IBorderAttributes, org.eclipse.jdt.internal.formatter.comment.ICommentAttributes, org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters)
      • org.eclipse.jdt.internal.formatter.comment.MultiCommentRegion (implements org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
        • org.eclipse.jdt.internal.formatter.comment.JavaDocRegion
  • org.eclipse.jdt.internal.core.search.matching.PossibleMatch (implements org.eclipse.jdt.internal.compiler.env.ICompilationUnit)
  • org.eclipse.jdt.internal.core.search.matching.PossibleMatchSet
  • org.eclipse.jdt.core.dom.PostfixExpression.Operator
  • org.jmlspecs.jml4.esc.PostProcessor
  • org.eclipse.core.runtime.preferences.PreferenceModifyListener
    • org.eclipse.jdt.internal.core.JavaCorePreferenceModifyListener
    • org.eclipse.core.tests.internal.resources.ProjectPreferenceModifyListener
  • org.eclipse.jdt.core.dom.PrefixExpression.Operator
  • org.eclipse.core.internal.localstore.PrefixPool
  • org.jmlspecs.jml4.rac.PreValueManager.Entry
    • org.jmlspecs.jml4.rac.RacOldExpression
  • org.eclipse.jdt.core.dom.PrimitiveType.Code
  • org.jmlspecs.eclipse.jdt.internal.esc2.PrintVisitor
    • org.jmlspecs.eclipse.jdt.internal.esc2.JdtAst2EscjAstVisitor
  • org.eclipse.jdt.core.tests.builder.Problem (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.internal.compiler.problem.ProblemHandler
    • org.eclipse.jdt.internal.compiler.problem.ProblemReporter
  • org.eclipse.core.tests.session.ProcessController
  • org.eclipse.jdt.internal.compiler.ProcessTaskManager (implements java.lang.Runnable)
  • org.apache.tools.ant.ProjectComponent (implements java.lang.Cloneable)
    • org.apache.tools.ant.Task
      • org.eclipse.jdt.core.CheckDebugAttributes
      • org.eclipse.core.resources.ant.ConvertPath
      • org.eclipse.core.resources.ant.IncrementalBuild
      • org.eclipse.core.resources.ant.RefreshLocalTask
  • org.eclipse.core.internal.resources.ProjectContentTypes
  • org.eclipse.core.internal.resources.ProjectNatureDescriptor (implements org.eclipse.core.resources.IProjectNatureDescriptor)
  • org.eclipse.jdt.internal.core.ProjectReferenceChange
  • org.eclipse.core.resources.ProjectScope (implements org.eclipse.core.runtime.preferences.IScopeContext)
  • org.eclipse.core.internal.properties.PropertyManager2 (implements org.eclipse.core.internal.properties.IPropertyManager)
  • org.eclipse.core.tests.internal.properties.PropertyManagerTest.StoredProperty
  • org.eclipse.core.expressions.PropertyTester (implements org.eclipse.core.expressions.IPropertyTester)
    • org.eclipse.core.internal.propertytester.ResourcePropertyTester
      • org.eclipse.core.internal.propertytester.FilePropertyTester
      • org.eclipse.core.internal.propertytester.ProjectPropertyTester
      • org.eclipse.core.internal.propertytester.ResourceMappingPropertyTester
  • org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveEntireVC (implements org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy)
  • org.jmlspecs.jml4.esc.provercoordinator.prover.ProverAdapter
    • org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3.Cvc3Adapter
    • org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle.IsabelleAdapter
    • org.jmlspecs.jml4.esc.provercoordinator.prover.simplify.SimplifyAdapter
  • org.jmlspecs.jml4.esc.ProverCoordinator
  • org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStategySeq (implements org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy)
  • org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStrategyFactory
  • org.jmlspecs.jml4.esc.provercoordinator.prover.ProverVisitor
    • org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3.Cvc3Visitor
    • org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle.IsabelleVisitor
    • org.jmlspecs.jml4.esc.provercoordinator.prover.simplify.SimplifyVisitor
  • org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveVcPiecewise (implements org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy)
  • org.eclipse.jdt.internal.core.util.PublicScanner (implements org.eclipse.jdt.core.compiler.IScanner, org.eclipse.jdt.core.compiler.ITerminalSymbols)
  • org.jmlspecs.jml4.rac.quantifiedexpression.QInterval (implements org.jmlspecs.jml4.rac.RacConstants)
  • org.eclipse.jdt.internal.core.builder.QualifiedNameSet
  • org.jmlspecs.jml4.rac.quantifiedexpression.QuantifiedExpressionTranslator
  • org.eclipse.core.internal.utils.Queue
  • org.jmlspecs.jml4.rac.quantifiedexpression.RacContext
  • org.jmlspecs.jml4.rac.RacPrettyPrinter
  • org.jmlspecs.jml4.rac.RacResult
  • org.jmlspecs.jml4.rac.RacTranslator (implements org.jmlspecs.jml4.rac.RacConstants)
    • org.jmlspecs.jml4.rac.MethodBodyTranslator
      • org.jmlspecs.jml4.rac.ConstructorBodyTranslator
    • org.jmlspecs.jml4.rac.MethodHeaderTranslator
      • org.jmlspecs.jml4.rac.ConstructorHeaderTranslator
    • org.jmlspecs.jml4.rac.TypeDeclarationTranslator
      • org.jmlspecs.jml4.rac.ClassDeclarationTranslator
      • org.jmlspecs.jml4.rac.InterfaceDeclarationTranslator
  • org.eclipse.jdt.internal.compiler.parser.diagnose.RangeUtil
  • java.io.Reader (implements java.io.Closeable, java.lang.Readable)
    • org.eclipse.jdt.internal.formatter.comment.SubstitutionTextReader
      • org.eclipse.jdt.internal.formatter.comment.HTMLEntity2JavaReader
      • org.eclipse.jdt.internal.formatter.comment.Java2HTMLEntityReader
  • org.eclipse.jdt.internal.compiler.ReadManager (implements java.lang.Runnable)
  • org.eclipse.jdt.internal.core.search.indexing.ReadWriteMonitor
  • org.eclipse.jdt.core.compiler.ReconcileContext
  • org.eclipse.jdt.internal.core.util.RecordedParsingInformation
  • org.eclipse.jdt.internal.compiler.parser.RecoveredElement
    • org.eclipse.jdt.internal.compiler.parser.RecoveredAnnotation
    • org.eclipse.jdt.internal.compiler.parser.RecoveredField
      • org.eclipse.jdt.internal.compiler.parser.RecoveredInitializer (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
    • org.eclipse.jdt.internal.compiler.parser.RecoveredImport
    • org.eclipse.jdt.internal.compiler.parser.RecoveredMethod (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
    • org.eclipse.jdt.internal.compiler.parser.RecoveredStatement
      • org.eclipse.jdt.internal.compiler.parser.RecoveredBlock (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
      • org.eclipse.jdt.internal.compiler.parser.RecoveredLocalVariable
      • org.eclipse.jdt.internal.compiler.parser.RecoveredType (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
    • org.eclipse.jdt.internal.compiler.parser.RecoveredUnit
  • org.eclipse.jdt.internal.compiler.parser.RecoveryScannerData
  • java.lang.ref.Reference<T>
    • java.lang.ref.WeakReference<T>
      • org.eclipse.jdt.internal.core.util.WeakHashSet.HashableWeakReference
      • org.eclipse.jdt.internal.core.util.WeakHashSetOfCharArray.HashableWeakReference
  • org.eclipse.jdt.internal.core.builder.ReferenceCollection
    • org.eclipse.jdt.internal.core.builder.AdditionalTypeCollection
  • org.eclipse.jdt.internal.core.util.ReferenceInfoAdapter
    • org.eclipse.jdt.internal.core.jdom.AbstractDOMBuilder (implements org.eclipse.jdt.internal.core.jdom.ILineStartFinder)
      • org.eclipse.jdt.internal.core.jdom.DOMBuilder (implements org.eclipse.jdt.internal.compiler.IDocumentElementRequestor)
      • org.eclipse.jdt.internal.core.jdom.SimpleDOMBuilder (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
    • org.eclipse.jdt.internal.core.CompilationUnitStructureRequestor (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
      • org.eclipse.jdt.internal.codeassist.CompletionUnitStructureRequestor
    • org.eclipse.jdt.internal.core.SourceMapper (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor, org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.eclipse.core.internal.localstore.RefreshLocalVisitor (implements org.eclipse.core.internal.localstore.ILocalStoreConstants, org.eclipse.core.internal.localstore.IUnifiedTreeVisitor)
    • org.eclipse.core.internal.localstore.CollectSyncStatusVisitor
      • org.eclipse.core.internal.localstore.IsSynchronizedVisitor
    • org.eclipse.core.internal.localstore.RefreshLocalAliasVisitor
  • org.eclipse.core.internal.refresh.RefreshManager (implements org.eclipse.core.internal.resources.IManager, org.eclipse.core.resources.refresh.IRefreshResult, org.eclipse.core.runtime.Preferences.IPropertyChangeListener)
  • org.eclipse.jdt.internal.core.Region (implements org.eclipse.jdt.core.IRegion)
  • org.eclipse.test.internal.performance.db.Report
  • org.eclipse.team.core.RepositoryProvider (implements org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IProjectNature)
    • org.eclipse.jdt.core.tests.model.TestPessimisticProvider
  • org.eclipse.jdt.internal.core.eval.RequestorWrapper (implements org.eclipse.jdt.internal.eval.IRequestor)
  • org.eclipse.core.internal.resources.mapping.ResourceAdapterFactory (implements org.eclipse.core.runtime.IAdapterFactory)
  • org.eclipse.core.resources.ResourceAttributes
  • org.eclipse.core.internal.resources.mapping.ResourceChangeDescriptionFactory (implements org.eclipse.core.resources.mapping.IResourceChangeDescriptionFactory)
  • org.eclipse.core.internal.events.ResourceChangeListenerList
  • org.eclipse.core.resources.mapping.ResourceChangeValidator
  • org.eclipse.core.internal.events.ResourceComparator (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.watson.IElementComparator)
  • org.eclipse.core.internal.events.ResourceDeltaFactory
  • org.eclipse.core.internal.events.ResourceDeltaInfo
  • org.eclipse.core.internal.resources.ResourceInfo (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.internal.watson.IElementTreeData, org.eclipse.core.internal.utils.IStringPoolParticipant)
    • org.eclipse.core.internal.resources.ProjectInfo
    • org.eclipse.core.internal.resources.RootInfo
  • org.eclipse.core.resources.mapping.ResourceMappingContext
    • org.eclipse.core.resources.mapping.RemoteResourceMappingContext
  • org.eclipse.core.internal.resources.ResourceProxy (implements org.eclipse.core.internal.resources.ICoreConstants, org.eclipse.core.resources.IResourceProxy)
  • org.eclipse.core.resources.team.ResourceRuleFactory (implements org.eclipse.core.resources.IResourceRuleFactory)
  • org.eclipse.core.internal.resources.ResourcesCompatibilityHelper
  • org.eclipse.core.internal.events.ResourceStats
  • org.eclipse.core.resources.mapping.ResourceTraversal
  • org.jmlspecs.jml4.esc.result.lang.Result
  • org.eclipse.jdt.internal.core.dom.rewrite.RewriteEvent
    • org.eclipse.jdt.internal.core.dom.rewrite.ListRewriteEvent
    • org.eclipse.jdt.internal.core.dom.rewrite.NodeRewriteEvent
  • org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore
  • org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore.CopySourceInfo (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore.PropertyLocation
  • org.eclipse.core.internal.resources.SafeFileTable
  • org.eclipse.test.internal.performance.data.Sample
  • org.eclipse.jdt.core.tests.dom.SampleASTs
  • org.eclipse.core.internal.resources.SaveContext (implements org.eclipse.core.resources.ISaveContext)
  • org.eclipse.core.internal.resources.SavedState (implements org.eclipse.core.resources.ISavedState)
  • org.eclipse.core.internal.resources.SaveManager (implements org.eclipse.core.internal.watson.IElementInfoFlattener, org.eclipse.core.internal.resources.IManager, org.eclipse.core.internal.utils.IStringPoolParticipant)
  • org.eclipse.core.tests.resources.session.SaveParticipantTest
  • org.eclipse.test.internal.performance.data.Scalar
  • org.eclipse.jdt.internal.compiler.parser.Scanner (implements org.eclipse.jdt.internal.compiler.parser.TerminalTokens)
    • org.eclipse.jdt.internal.core.util.CommentRecorderScanner
    • org.eclipse.jdt.internal.codeassist.complete.CompletionScanner
    • org.eclipse.jdt.internal.compiler.parser.RecoveryScanner
    • org.eclipse.jdt.internal.codeassist.select.SelectionScanner
  • org.eclipse.jdt.internal.compiler.parser.ScannerHelper
  • org.eclipse.test.internal.performance.db.Scenario
  • org.eclipse.test.internal.performance.db.Scenario.SharedState
  • org.eclipse.jdt.internal.compiler.lookup.Scope (implements org.eclipse.jdt.internal.compiler.lookup.TypeConstants, org.eclipse.jdt.internal.compiler.lookup.TypeIds)
    • org.eclipse.jdt.internal.compiler.lookup.BlockScope
      • org.eclipse.jdt.internal.eval.CodeSnippetScope
      • org.eclipse.jdt.internal.compiler.lookup.MethodScope
    • org.eclipse.jdt.internal.compiler.lookup.ClassScope
    • org.eclipse.jdt.internal.compiler.lookup.CompilationUnitScope
  • org.eclipse.jdt.internal.formatter.Scribe (implements org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants)
  • org.eclipse.jdt.internal.core.SearchableEnvironment (implements org.eclipse.jdt.core.search.IJavaSearchConstants, org.eclipse.jdt.internal.compiler.env.INameEnvironment)
    • org.eclipse.jdt.internal.core.CancelableNameEnvironment
  • org.eclipse.jdt.core.search.SearchEngine
  • org.eclipse.jdt.core.search.SearchMatch
    • org.eclipse.jdt.core.search.FieldDeclarationMatch
    • org.eclipse.jdt.core.search.LocalVariableDeclarationMatch
    • org.eclipse.jdt.core.search.LocalVariableReferenceMatch
    • org.eclipse.jdt.core.search.MethodDeclarationMatch
    • org.eclipse.jdt.core.search.PackageDeclarationMatch
    • org.eclipse.jdt.core.search.ReferenceMatch
      • org.eclipse.jdt.internal.core.search.matching.InternalReferenceMatch
        • org.eclipse.jdt.core.search.FieldReferenceMatch
        • org.eclipse.jdt.core.search.MethodReferenceMatch
        • org.eclipse.jdt.core.search.PackageReferenceMatch
        • org.eclipse.jdt.core.search.TypeReferenceMatch
    • org.eclipse.jdt.core.search.TypeDeclarationMatch
    • org.eclipse.jdt.core.search.TypeParameterDeclarationMatch
    • org.eclipse.jdt.core.search.TypeParameterReferenceMatch
  • org.eclipse.jdt.core.search.SearchParticipant
    • org.eclipse.jdt.internal.core.search.JavaSearchParticipant
    • org.eclipse.jdt.core.tests.model.SearchParticipantTests.TestSearchParticipant
  • org.eclipse.jdt.core.search.SearchRequestor
    • org.eclipse.jdt.core.tests.model.AbstractJavaSearchTests.JavaSearchResultCollector
      • org.eclipse.jdt.core.tests.model.SearchParticipantTests.TestResultCollector
  • org.eclipse.jdt.internal.core.SelectionRequestor (implements org.eclipse.jdt.internal.codeassist.ISelectionRequestor)
  • org.eclipse.jdt.core.tests.model.Semaphore
  • org.eclipse.core.tests.session.SessionTestRunner
  • org.eclipse.core.tests.session.Setup (implements java.lang.Cloneable)
  • org.eclipse.core.tests.session.SetupManager
  • org.eclipse.jdt.core.Signature
  • org.eclipse.jdt.internal.compiler.lookup.SignatureWrapper
  • org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
  • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleBlock
  • org.eclipse.jdt.internal.core.SimpleDelta
    • org.eclipse.jdt.internal.core.JavaElementDelta (implements org.eclipse.jdt.core.IJavaElementDelta)
  • org.eclipse.jdt.internal.core.util.SimpleDocument (implements org.eclipse.jface.text.IDocument)
  • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleArrayAllocationExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleAssignable
      • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleArrayReference
      • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleFieldReference
      • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleVariable
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleAssignment
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleBinaryExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleBooleanConstant
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleConditionalExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleIntegerConstant
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleMessageSend
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleOldExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimplePostfixExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleQuantifiedExpression
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleThisReference
      • org.jmlspecs.jml4.esc.gc.SimpleSuperReference
    • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleUnaryExpression
      • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleNotExpression
  • org.eclipse.jdt.internal.compiler.util.SimpleLookupTable (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.SimpleNameVector
  • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleOperator
  • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleProgram
  • org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleQuantifier
  • org.eclipse.jdt.internal.compiler.util.SimpleSet (implements java.lang.Cloneable)
  • org.eclipse.jdt.internal.compiler.util.SimpleSetOfCharArray (implements java.lang.Cloneable)
  • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleAssert
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleAssume
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleExprStatement
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleGoto
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleHavoc
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleSequence
    • org.jmlspecs.jml4.esc.gc.lang.simple.SimpleVarDecl
  • org.jmlspecs.jml4.esc.gc.SimpleSubstVisitor (implements org.jmlspecs.jml4.esc.gc.SimpleExprVisitor)
  • org.eclipse.jdt.core.tests.eval.SimpleTest
    • org.eclipse.jdt.core.tests.eval.SimpleCodeSnippetTest
    • org.eclipse.jdt.core.tests.eval.SimpleVariableTest
  • org.eclipse.jdt.internal.core.util.SimpleWordSet
  • org.jmlspecs.jml4.esc.provercoordinator.prover.simplify.SimplifyBackgroundPredicate
  • org.jmlspecs.jml4.fspv.simpl.SimplMemoryManagement
  • org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplDeclaration
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplDefinition
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplLemma
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplSpecLemma
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplProcedure
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplConstructor
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplMethod
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplProofObligation
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplTheory
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareTriplet
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplState
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareState
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplAssignment
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplBlockStatement
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplBinaryExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplAndAndExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplAndExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplDivExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplEqualExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplGreaterEqualExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplGreaterExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplLessEqualExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplLessExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplMinusExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplMultExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplNotEqualExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplPlusExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplCallExpression
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplProcExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplDefinitionReference
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplFieldReference
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplForAllExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplInvariantExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplLiteral
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplBoolLiteral
            • org.jmlspecs.jml4.fspv.simpl.ast.SimplFalseLiteral
            • org.jmlspecs.jml4.fspv.simpl.ast.SimplTrueLiteral
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplIntLiteral
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplNatLiteral
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplNullLiteral
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplNewExpression
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplVariableReference
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplHolVariableReference
          • org.jmlspecs.jml4.fspv.simpl.ast.SimplPrestateVariableReference
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplVariantExpression
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplSkipStatement
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplWhileStatement
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplBoolType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplIntType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplListType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplMapType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplNatType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplRefType
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplTypes
    • org.jmlspecs.jml4.fspv.simpl.ast.SimplVariable
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplGlobalVariable
      • org.jmlspecs.jml4.fspv.simpl.ast.SimplLocalVariable
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplArgument
        • org.jmlspecs.jml4.fspv.simpl.ast.SimplThisVariable
  • org.eclipse.jdt.internal.compiler.SourceElementNotifier
    • org.eclipse.jdt.internal.codeassist.CompletionElementNotifier
  • org.eclipse.jdt.internal.compiler.SourceElementRequestorAdapter (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
  • org.eclipse.jdt.core.tests.compiler.parser.SourceField (implements org.eclipse.jdt.internal.compiler.env.ISourceField)
    • org.eclipse.jdt.core.tests.compiler.parser.SourceInitializer
  • org.eclipse.jdt.internal.core.builder.SourceFile (implements org.eclipse.jdt.internal.compiler.env.ICompilationUnit)
  • org.eclipse.jdt.core.tests.compiler.parser.SourceImport
  • org.eclipse.jdt.internal.core.search.indexing.SourceIndexerRequestor (implements org.eclipse.jdt.internal.core.search.indexing.IIndexConstants, org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
  • org.eclipse.jdt.core.tests.compiler.parser.SourceMethod (implements org.eclipse.jdt.internal.compiler.env.ISourceMethod)
  • org.eclipse.jdt.internal.core.dom.rewrite.SourceModifier (implements org.eclipse.text.edits.ISourceModifier)
  • org.eclipse.jdt.core.tests.compiler.parser.SourcePackage
  • org.eclipse.jdt.internal.core.SourceRange (implements org.eclipse.jdt.core.ISourceRange)
  • org.eclipse.jdt.core.tests.compiler.parser.SourceType
  • org.eclipse.test.internal.performance.db.SQL
    • org.eclipse.test.internal.performance.results.SQL_Results
  • org.eclipse.jdt.internal.compiler.codegen.StackMapFrame
  • org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.ExceptionMarker (implements java.lang.Comparable<T>)
  • org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.StackDepthMarker
  • org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.StackMarker
  • org.eclipse.jdt.internal.core.builder.State
  • org.eclipse.jdt.core.tests.performance.util.Statistics
  • org.eclipse.test.internal.performance.eval.StatisticsSession
  • org.eclipse.test.internal.performance.eval.StatisticsUtil
  • org.eclipse.test.internal.performance.eval.StatisticsUtil.Percentile
  • org.eclipse.core.runtime.Status (implements org.eclipse.core.runtime.IStatus)
    • org.eclipse.jdt.internal.core.JavaModelStatus (implements org.eclipse.jdt.core.IJavaModelStatus, org.eclipse.jdt.core.IJavaModelStatusConstants, org.eclipse.core.resources.IResourceStatus)
    • org.eclipse.core.resources.mapping.ModelStatus
    • org.eclipse.core.internal.resources.ResourceStatus (implements org.eclipse.core.resources.IResourceStatus)
  • org.eclipse.jdt.core.tests.rewrite.describing.StringAsserts
  • org.eclipse.core.internal.propertytester.StringMatcher
  • org.eclipse.core.internal.utils.StringPool
  • org.eclipse.jdt.internal.core.builder.StringSet
  • org.eclipse.jdt.core.dom.StructuralPropertyDescriptor
    • org.eclipse.jdt.core.dom.ChildListPropertyDescriptor
    • org.eclipse.jdt.core.dom.ChildPropertyDescriptor
    • org.eclipse.jdt.core.dom.SimplePropertyDescriptor
  • org.eclipse.core.tests.resources.content.SubsetSelectionPolicy (implements org.eclipse.core.runtime.content.IContentTypeManager.ISelectionPolicy)
  • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredBlock
  • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredArrayAllocationExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredAssignable
      • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredArrayReference
      • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredFieldReference
      • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredVariable
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredAssignment
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredBinaryExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredBooleanConstant
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredConditionalExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredIntegerConstant
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMessageSend
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredOldExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredPostfixExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredQuantifiedExpression
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredThisReference
      • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredSuperReference
    • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredUnaryExpression
      • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredNotExpression
  • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredLoopAnnotations
  • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMethodSpecification
  • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredOperator
  • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredProgram
  • org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredQuantifier
  • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredAssert
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredAssume
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredBreakStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredContinueStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredExprStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredGoto
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredHavoc
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredIfStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredPostcondition
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredPrecondition
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredReturnStatement
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredSequence
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredVarDecl
    • org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredWhileStatement
  • org.eclipse.test.internal.performance.db.SummaryEntry
  • org.eclipse.jdt.internal.core.search.matching.SuperTypeNamesCollector
  • org.eclipse.core.internal.resources.Synchronizer (implements org.eclipse.core.resources.ISynchronizer)
  • org.eclipse.core.internal.resources.SyncInfoReader
    • org.eclipse.core.internal.resources.SyncInfoReader_2
    • org.eclipse.core.internal.resources.SyncInfoReader_3
  • org.eclipse.core.internal.resources.SyncInfoSnapReader
    • org.eclipse.core.internal.resources.SyncInfoSnapReader_3
  • org.eclipse.core.internal.resources.SyncInfoWriter
  • org.jmlspecs.jml4.esc.gc.TargetGatheringVisitor (implements org.jmlspecs.jml4.esc.gc.SimplifyingVisitor, org.jmlspecs.jml4.esc.gc.SugaredExpressionVisitor)
  • org.eclipse.jdt.core.tests.runtime.TargetInterface
  • org.eclipse.jdt.core.tests.runtime.TargetInterface.Result
  • org.eclipse.jdt.core.dom.rewrite.TargetSourceRangeComputer
  • org.eclipse.jdt.core.dom.rewrite.TargetSourceRangeComputer.SourceRange
  • org.eclipse.core.tests.internal.resources.TestActivator (implements org.osgi.framework.BundleActivator)
  • org.eclipse.core.tests.harness.TestBarrier
  • org.eclipse.jdt.core.tests.model.TestBuffer (implements org.eclipse.jdt.core.IBuffer)
  • org.eclipse.core.tests.internal.watson.TestElementComparator (implements org.eclipse.core.internal.watson.IElementComparator)
    • org.eclipse.core.tests.internal.watson.PhantomComparator (implements org.eclipse.core.internal.watson.IElementComparator)
  • org.eclipse.core.internal.dtree.TestHelper
  • org.eclipse.jdt.core.tests.builder.TestingEnvironment
  • org.eclipse.core.internal.resources.TestingSupport
  • org.eclipse.core.tests.internal.resources.TestNature (implements org.eclipse.core.resources.IProjectNature)
    • org.eclipse.core.tests.internal.resources.Bug127562Nature
    • org.eclipse.core.tests.internal.resources.Bug29116Nature
    • org.eclipse.core.tests.internal.resources.EarthNature
    • org.eclipse.core.tests.internal.resources.SimpleNature
    • org.eclipse.core.tests.internal.resources.SnowNature
    • org.eclipse.core.tests.internal.resources.WaterNature
  • org.eclipse.core.tests.resources.TestPerformer
  • org.eclipse.jdt.core.tests.model.TestProgressMonitor (implements org.eclipse.core.runtime.IProgressMonitor)
  • org.eclipse.core.tests.harness.TestProgressMonitor (implements org.eclipse.core.runtime.IProgressMonitor)
    • org.eclipse.core.tests.harness.CancelingProgressMonitor
    • org.eclipse.core.tests.harness.FussyProgressMonitor
  • org.eclipse.core.tests.harness.TestRegistryChangeListener (implements org.eclipse.core.runtime.IRegistryChangeListener)
  • junit.framework.TestResult
    • org.eclipse.core.tests.harness.PerformanceTestResult
      • org.eclipse.core.tests.harness.LoggingPerformanceTestResult
    • org.eclipse.jdt.core.tests.junit.extension.TestResult
  • org.eclipse.jdt.core.tests.compiler.parser.TestSourceElementRequestor (implements org.eclipse.jdt.internal.compiler.ISourceElementRequestor)
  • junit.framework.TestSuite (implements junit.framework.Test)
    • org.eclipse.core.tests.resources.perf.AllTests
    • org.eclipse.jdt.core.tests.formatter.comment.CommentsTestSuite
    • org.eclipse.jdt.core.tests.util.CompilerTestSetup
      • org.eclipse.jdt.core.tests.eval.EvaluationSetup
        • org.eclipse.jdt.core.tests.eval.DebugEvaluationSetup
      • org.eclipse.jdt.core.tests.compiler.regression.RegressionTestSetup
    • org.eclipse.jdt.core.tests.junit.extension.PerformanceTestSuite
    • org.eclipse.core.tests.session.samples.SampleTests
    • org.eclipse.core.tests.session.SessionTestSuite
      • org.eclipse.core.tests.session.ConfigurationSessionTestSuite
      • org.eclipse.core.tests.session.PerformanceSessionTestSuite
        • org.eclipse.core.tests.session.UIPerformanceSessionTestSuite
      • org.eclipse.core.tests.session.WorkspaceSessionTestSuite
    • org.eclipse.jdt.core.tests.model.SuiteOfTestCases.Suite
  • org.eclipse.jdt.core.tests.util.TestVerifier
  • org.jmlspecs.jml4.fspv.theory.Theory
  • org.jmlspecs.jml4.fspv.theory.TheoryExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryBinaryExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryBlockExpression
      • org.jmlspecs.jml4.fspv.theory.TheoryInvariantExpression
      • org.jmlspecs.jml4.fspv.theory.TheoryVariantExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryLiteral
    • org.jmlspecs.jml4.fspv.theory.TheoryLoopAnnotationsExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryOldExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryQuantifiedExpression
    • org.jmlspecs.jml4.fspv.theory.TheorySideEffectExpression
      • org.jmlspecs.jml4.fspv.theory.TheoryAssignmentExpression
      • org.jmlspecs.jml4.fspv.theory.TheoryPostfixExpression
      • org.jmlspecs.jml4.fspv.theory.TheoryPrefixExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryUnaryExpression
    • org.jmlspecs.jml4.fspv.theory.TheoryVariableReference
      • org.jmlspecs.jml4.fspv.theory.TheoryTempVariableReference
  • org.jmlspecs.jml4.fspv.theory.TheoryHelper
  • org.jmlspecs.jml4.fspv.theory.TheoryLemma
  • org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
    • org.jmlspecs.jml4.fspv.theory.ast.Theory
    • org.jmlspecs.jml4.fspv.theory.ast.TheoryMethodDeclaration
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryConstructorDeclaration
    • org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryBlock
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryExpression
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryAllocationExpression
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryAssignment
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryCompoundAssignment (implements org.jmlspecs.jml4.fspv.theory.ast.TheoryOperatorIds)
            • org.jmlspecs.jml4.fspv.theory.ast.TheoryPostfixExpression
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryBinaryExpression (implements org.jmlspecs.jml4.fspv.theory.ast.TheoryOperatorIds)
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryEqualExpression
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryLiteral
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryBooleanLiteral
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryIntLiteral
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryNullLiteral
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryMessageSend
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryReference
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryFieldReference
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryResultReference
          • org.jmlspecs.jml4.fspv.theory.ast.TheorySingleNameReference
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryTypeReference
          • org.jmlspecs.jml4.fspv.theory.ast.TheorySingleTypeReference
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryUnaryExpression
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryOldExpression
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryReturnStatement
      • org.jmlspecs.jml4.fspv.theory.ast.TheorySkipStatement
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryVariableDeclaration
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryFieldDeclaration
        • org.jmlspecs.jml4.fspv.theory.ast.TheoryLocalDeclaration
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryArgument
          • org.jmlspecs.jml4.fspv.theory.ast.TheoryLocalDeclarationStatement
      • org.jmlspecs.jml4.fspv.theory.ast.TheoryWhileStatement
  • org.jmlspecs.jml4.fspv.theory.TheoryOperator
  • org.jmlspecs.jml4.fspv.theory.TheoryQuantifier
  • org.jmlspecs.jml4.fspv.theory.TheoryStatement
    • org.jmlspecs.jml4.fspv.theory.TheoryAssignmentStatement
    • org.jmlspecs.jml4.fspv.theory.TheoryBindStatement
    • org.jmlspecs.jml4.fspv.theory.TheoryBlockStatement
      • org.jmlspecs.jml4.fspv.theory.TheoryLocalDeclarationBlockStatement
    • org.jmlspecs.jml4.fspv.theory.TheoryConditionalStatement
    • org.jmlspecs.jml4.fspv.theory.TheoryWhileStatement
  • org.jmlspecs.jml4.fspv.theory.TheoryType
  • org.jmlspecs.jml4.fspv.theory.TheoryVariable
  • org.jmlspecs.jml4.fspv.theory.TheoryVisitor
    • org.jmlspecs.jml4.fspv.PrestateDecorator
    • org.jmlspecs.jml4.fspv.SideEffectHandler
    • org.jmlspecs.jml4.fspv.SimplTranslator
  • org.jmlspecs.jml4.fspv.theory.ast.TheoryVisitor
    • org.jmlspecs.jml4.fspv.phases.SimplTranslation
    • org.jmlspecs.jml4.fspv.phases.SimplTranslationOld
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • junit.framework.AssertionFailedError
        • org.eclipse.core.tests.harness.FussyProgressMonitor.FussyProgressAssertionFailed
        • org.eclipse.core.tests.session.RemoteAssertionFailedError
      • org.jmlspecs.jml4.rac.runtime.JMLAssertionError
        • org.jmlspecs.jml4.rac.runtime.JMLConstraintError
        • org.jmlspecs.jml4.rac.runtime.JMLEvaluationError
        • org.jmlspecs.jml4.rac.runtime.JMLHistoryConstraintError
        • org.jmlspecs.jml4.rac.runtime.JMLIntraconditionError
          • org.jmlspecs.jml4.rac.runtime.JMLAssertError
          • org.jmlspecs.jml4.rac.runtime.JMLAssumeError
          • org.jmlspecs.jml4.rac.runtime.JMLDebugError
          • org.jmlspecs.jml4.rac.runtime.JMLHenceByError
          • org.jmlspecs.jml4.rac.runtime.JMLLoopInvariantError
          • org.jmlspecs.jml4.rac.runtime.JMLLoopVariantError
          • org.jmlspecs.jml4.rac.runtime.JMLUnreachableError
        • org.jmlspecs.jml4.rac.runtime.JMLInvariantError
        • org.jmlspecs.jml4.rac.runtime.JMLPostconditionError
          • org.jmlspecs.jml4.rac.runtime.JMLExceptionalPostconditionError
            • org.jmlspecs.jml4.rac.runtime.JMLExitExceptionalPostconditionError (implements org.jmlspecs.jml4.rac.runtime.JMLExitPostconditionError)
            • org.jmlspecs.jml4.rac.runtime.JMLInternalExceptionalPostconditionError (implements org.jmlspecs.jml4.rac.runtime.JMLInternalPostconditionError)
          • org.jmlspecs.jml4.rac.runtime.JMLNormalPostconditionError
            • org.jmlspecs.jml4.rac.runtime.JMLExitNormalPostconditionError (implements org.jmlspecs.jml4.rac.runtime.JMLExitPostconditionError)
            • org.jmlspecs.jml4.rac.runtime.JMLInternalNormalPostconditionError (implements org.jmlspecs.jml4.rac.runtime.JMLInternalPostconditionError)
        • org.jmlspecs.jml4.rac.runtime.JMLPreconditionError
          • org.jmlspecs.jml4.rac.runtime.JMLEntryPreconditionError
          • org.jmlspecs.jml4.rac.runtime.JMLInternalPreconditionError
    • java.lang.Exception
      • org.eclipse.jdt.internal.compiler.classfmt.ClassFormatException
      • org.eclipse.jdt.core.util.ClassFormatException
      • org.eclipse.core.runtime.CoreException
        • org.eclipse.jdt.core.JavaModelException
        • org.eclipse.core.internal.resources.ResourceException
      • org.eclipse.jdt.internal.eval.InstallException
      • org.eclipse.jdt.core.compiler.InvalidInputException
      • org.jmlspecs.jml4.rac.NonExecutableException
        • org.jmlspecs.jml4.rac.quantifiedexpression.NonExecutableQuantifierException
      • org.eclipse.core.tests.session.ProcessController.TimeOutException
      • org.eclipse.core.tests.session.RemoteTestException
      • java.lang.RuntimeException
        • org.eclipse.jdt.internal.compiler.problem.AbortCompilation
          • org.eclipse.jdt.internal.compiler.problem.AbortCompilationUnit
            • org.eclipse.jdt.internal.compiler.problem.AbortType
              • org.eclipse.jdt.internal.compiler.problem.AbortMethod
        • org.eclipse.jdt.internal.formatter.AbortFormatting
        • org.eclipse.jdt.internal.core.builder.AbortIncrementalBuildException
        • org.eclipse.jdt.internal.formatter.align.AlignmentException
        • org.jmlspecs.samples.stacks.BoundedStackException
        • org.eclipse.jdt.internal.codeassist.complete.CompletionNodeFound
        • org.eclipse.jdt.core.jdom.DOMException
        • org.eclipse.jdt.internal.core.builder.ImageBuilderInternalException
        • org.eclipse.jdt.internal.codeassist.complete.InvalidCursorLocation
        • org.jmlspecs.jml4.rac.runtime.JMLNonExecutableException
        • org.eclipse.jdt.internal.core.search.matching.MatchLocator.WrappedCoreException
        • org.eclipse.jdt.internal.core.builder.MissingSourceFileException
        • org.jmlspecs.jml4.fspv.NoSupportException
        • org.eclipse.core.internal.dtree.ObjectNotFoundException
        • org.eclipse.jdt.internal.codeassist.select.SelectionNodeFound
        • org.eclipse.jdt.internal.compiler.problem.ShouldNotImplement
        • org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo.AssertionFailedException
        • org.eclipse.core.internal.utils.WrappedRuntimeException
      • org.eclipse.jdt.core.tests.model.Semaphore.TimeOutException
      • org.eclipse.core.tests.session.SetupManager.SetupException
      • org.eclipse.jdt.core.tests.runtime.TargetException
  • org.eclipse.test.internal.performance.db.TimeSeries
  • org.eclipse.jdt.internal.core.dom.rewrite.TokenScanner
  • org.eclipse.jdt.core.ToolFactory
  • org.eclipse.jdt.internal.core.util.ToStringSorter
  • org.eclipse.jdt.internal.core.dom.rewrite.TrackedNodePosition (implements org.eclipse.jdt.core.dom.rewrite.ITrackedNodePosition)
  • org.jmlspecs.jml4.rac.quantifiedexpression.Translator (implements org.jmlspecs.jml4.rac.RacConstants)
    • org.jmlspecs.jml4.rac.quantifiedexpression.StaticAnalysis
  • org.jmlspecs.jml4.esc.util.Type
  • org.eclipse.jdt.internal.compiler.parser.TypeConverter
    • org.eclipse.jdt.internal.core.BinaryTypeConverter
    • org.eclipse.jdt.internal.compiler.parser.SourceTypeConverter
  • org.eclipse.jdt.internal.core.hierarchy.TypeHierarchy (implements org.eclipse.jdt.core.IElementChangedListener, org.eclipse.jdt.core.ITypeHierarchy)
    • org.eclipse.jdt.internal.core.hierarchy.RegionBasedTypeHierarchy
  • org.eclipse.jdt.core.search.TypeNameMatch
    • org.eclipse.jdt.internal.core.search.JavaSearchTypeNameMatch
  • org.eclipse.jdt.core.search.TypeNameMatchRequestor
  • org.eclipse.jdt.internal.core.search.TypeNameMatchRequestorWrapper (implements org.eclipse.jdt.internal.core.search.IRestrictedAccessTypeRequestor)
  • org.eclipse.jdt.core.search.TypeNameRequestor
    • org.eclipse.jdt.core.tests.model.SearchTests.SearchTypeNameRequestor
  • org.eclipse.jdt.internal.core.search.TypeNameRequestorWrapper (implements org.eclipse.jdt.internal.core.search.IRestrictedAccessTypeRequestor)
  • org.eclipse.jdt.internal.core.TypeVector
  • org.jmlspecs.eclipse.jdt.ui.UIUtils
  • org.eclipse.core.internal.localstore.UnifiedTree
  • org.eclipse.core.internal.localstore.UnifiedTreeNode (implements org.eclipse.core.internal.localstore.ILocalStoreConstants)
  • org.eclipse.test.internal.performance.data.Unit
  • org.eclipse.core.internal.utils.UniversalUniqueIdentifier (implements java.io.Serializable)
  • java.net.URLConnection
    • org.eclipse.core.internal.boot.PlatformURLConnection
      • org.eclipse.core.internal.resources.PlatformURLResourceConnection
  • org.eclipse.jdt.internal.core.UserLibrary
  • org.eclipse.jdt.internal.core.UserLibraryClasspathContainer (implements org.eclipse.jdt.core.IClasspathContainer)
  • org.eclipse.jdt.internal.core.UserLibraryManager
  • org.eclipse.jdt.core.tests.util.Util
  • org.jmlspecs.jml2.util.Util
  • org.eclipse.jdt.internal.core.util.Util
  • org.eclipse.jdt.internal.compiler.util.Util (implements org.eclipse.jdt.internal.compiler.util.SuffixConstants)
  • org.jmlspecs.eclipse.jdt.internal.esc2.Utils
  • org.jmlspecs.jml4.esc.util.Utils
  • org.jmlspecs.jml4.rac.VariableGenerator
  • org.eclipse.jdt.internal.eval.VariablesInfo
  • org.jmlspecs.jml4.esc.gc.VarToOldVisitor (implements org.jmlspecs.jml4.esc.gc.SugaredExpressionVisitor)
  • org.jmlspecs.jml4.esc.vc.lang.VC (implements java.lang.Comparable<T>)
    • org.jmlspecs.jml4.esc.vc.lang.VcAndNary
    • org.jmlspecs.jml4.esc.vc.lang.VcArrayAllocationExpression
    • org.jmlspecs.jml4.esc.vc.lang.VcArrayReference
    • org.jmlspecs.jml4.esc.vc.lang.VcBinaryExpression
      • org.jmlspecs.jml4.esc.vc.lang.VcAnd
      • org.jmlspecs.jml4.esc.vc.lang.VcArithExpression
      • org.jmlspecs.jml4.esc.vc.lang.VcLogicalExpression
      • org.jmlspecs.jml4.esc.vc.lang.VcOr
      • org.jmlspecs.jml4.esc.vc.lang.VcRelativeExpression
    • org.jmlspecs.jml4.esc.vc.lang.VcBooleanConstant
    • org.jmlspecs.jml4.esc.vc.lang.VcConditionalExpression
    • org.jmlspecs.jml4.esc.vc.lang.VcFieldReference
    • org.jmlspecs.jml4.esc.vc.lang.VcFieldStore
    • org.jmlspecs.jml4.esc.vc.lang.VcIntegerConstant
    • org.jmlspecs.jml4.esc.vc.lang.VcNot
    • org.jmlspecs.jml4.esc.vc.lang.VcQuantifiedExpression
    • org.jmlspecs.jml4.esc.vc.lang.VcThisReference
      • org.jmlspecs.jml4.esc.vc.lang.VcSuperReference
    • org.jmlspecs.jml4.esc.vc.lang.VcVarDecl
    • org.jmlspecs.jml4.esc.vc.lang.VcVariable
  • org.jmlspecs.jml4.esc.VcGenerator
  • org.jmlspecs.jml4.esc.vc.lang.VcOperator
  • org.jmlspecs.jml4.esc.vc.lang.VcProgram
  • org.jmlspecs.jml4.esc.vc.lang.VcQuantifier
  • org.eclipse.jdt.internal.compiler.codegen.VerificationTypeInfo
  • org.eclipse.jdt.core.tests.util.VerifyTests
  • org.eclipse.jdt.core.tests.performance.util.View
  • org.eclipse.test.internal.performance.db.View
  • org.jmlspecs.eclipse.jdt.ui.WarningDeclarationsAction (implements org.eclipse.ui.IEditorActionDelegate)
  • org.eclipse.jdt.internal.core.util.WeakHashSet
  • org.eclipse.jdt.internal.core.util.WeakHashSetOfCharArray
  • org.eclipse.core.internal.resources.refresh.win32.Win32Natives
  • org.eclipse.jface.wizard.Wizard (implements org.eclipse.jface.wizard.IWizard)
    • org.eclipse.jdt.internal.ui.wizards.NewElementWizard (implements org.eclipse.ui.INewWizard)
      • org.jmlspecs.eclipse.jdt.ui.NewJmlSpecWizard
  • org.jmlspecs.jml4.esc.vc.WlpVisitor
  • org.eclipse.jdt.core.WorkingCopyOwner
    • org.eclipse.jdt.internal.core.BufferFactoryWrapper
    • org.eclipse.jdt.internal.core.DefaultWorkingCopyOwner
    • org.eclipse.jdt.core.tests.model.WorkingCopyOwnerTests.TestWorkingCopyOwner
    • org.eclipse.jdt.core.tests.model.WorkingCopyTests.TestWorkingCopyOwner
  • org.eclipse.core.internal.resources.WorkManager (implements org.eclipse.core.internal.resources.IManager)
  • org.eclipse.jdt.internal.core.builder.WorkQueue
  • org.eclipse.core.internal.resources.WorkspaceDescriptionReader (implements org.eclipse.core.internal.resources.IModelObjectConstants)
  • org.eclipse.core.resources.WorkspaceLock
  • org.eclipse.core.internal.resources.WorkspaceTreeReader
    • org.eclipse.core.internal.resources.WorkspaceTreeReader_1
      • org.eclipse.core.internal.resources.WorkspaceTreeReader_2
  • org.jmlspecs.jml4.rac.WrapperMethodGenerator
    • org.jmlspecs.jml4.rac.WrapperConstructorGenerator
  • java.io.Writer (implements java.lang.Appendable, java.io.Closeable, java.io.Flushable)
    • java.io.PrintWriter
      • org.eclipse.jdt.internal.compiler.util.GenericXMLWriter
      • org.eclipse.jdt.core.tests.performance.NullPrintWriter
      • org.eclipse.core.internal.resources.XMLWriter
  • org.jmlspecs.jml4.esc.gc.ZeroIncarnationVisitor (implements org.jmlspecs.jml4.esc.gc.CfgExpressionVisitor)
  • org.jmlspecs.eclipse.jdt.ui.ZipEditorInput (implements org.eclipse.ui.IStorageEditorInput)

Interface Hierarchy

• org.eclipse.jdt.internal.compiler.codegen.AttributeNamesConstants
• org.jmlspecs.samples.stacks.BoundedThing
  • org.jmlspecs.samples.stacks.BoundedStackInterface
• org.jmlspecs.jml4.esc.gc.CfgExpressionVisitor
• org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
• java.lang.Cloneable
  • org.eclipse.jdt.core.jdom.IDOMCompilationUnit
  • org.eclipse.jdt.core.jdom.IDOMField
  • org.eclipse.jdt.core.jdom.IDOMImport
  • org.eclipse.jdt.core.jdom.IDOMInitializer
  • org.eclipse.jdt.core.jdom.IDOMMember
    • org.eclipse.jdt.core.jdom.IDOMField
    • org.eclipse.jdt.core.jdom.IDOMInitializer
    • org.eclipse.jdt.core.jdom.IDOMMethod
    • org.eclipse.jdt.core.jdom.IDOMType
  • org.eclipse.jdt.core.jdom.IDOMMethod
  • org.eclipse.jdt.core.jdom.IDOMNode
    • org.eclipse.jdt.core.jdom.IDOMCompilationUnit
    • org.eclipse.jdt.core.jdom.IDOMField
    • org.eclipse.jdt.core.jdom.IDOMImport
    • org.eclipse.jdt.core.jdom.IDOMInitializer
    • org.eclipse.jdt.core.jdom.IDOMMember
      • org.eclipse.jdt.core.jdom.IDOMField
      • org.eclipse.jdt.core.jdom.IDOMInitializer
      • org.eclipse.jdt.core.jdom.IDOMMethod
      • org.eclipse.jdt.core.jdom.IDOMType
    • org.eclipse.jdt.core.jdom.IDOMMethod
    • org.eclipse.jdt.core.jdom.IDOMPackage
    • org.eclipse.jdt.core.jdom.IDOMType
  • org.eclipse.jdt.core.jdom.IDOMPackage
  • org.eclipse.jdt.core.jdom.IDOMType
  • org.eclipse.core.internal.watson.IElementTreeData
• org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadoc
• org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword
• org.eclipse.jdt.core.tests.model.ContainerInitializer.ITestInitializer
• org.eclipse.jdt.core.tests.dom.DefaultMarkedNodeLabelProviderOptions
• org.eclipse.test.performance.Dimension
• java.util.Enumeration<E>
  • org.eclipse.jdt.internal.core.util.ICacheEnumeration
• org.eclipse.jdt.internal.eval.EvaluationConstants
• java.util.EventListener
  • org.eclipse.core.resources.IPathVariableChangeListener
  • org.eclipse.core.resources.IResourceChangeListener
  • org.eclipse.core.resources.ISaveParticipant
• org.eclipse.jdt.internal.compiler.lookup.ExtraCompilerModifiers
• org.eclipse.jdt.internal.compiler.batch.FileSystem.Classpath
• org.eclipse.jdt.internal.compiler.batch.FileSystem.ClasspathSectionProblemReporter
• org.eclipse.jdt.core.IAccessRule
• org.eclipse.core.runtime.IAdaptable
  • org.eclipse.jdt.core.IAnnotation (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IClassFile
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.core.resources.IContainer (also extends org.eclipse.core.resources.IResource)
    • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable)
  • org.eclipse.core.resources.IEncodedStorage
    • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IResource)
    • org.eclipse.core.resources.IFileState (also extends org.eclipse.core.runtime.IAdaptable)
  • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.core.resources.IFile (also extends org.eclipse.core.resources.IEncodedStorage, org.eclipse.core.resources.IResource)
  • org.eclipse.core.resources.IFileState (also extends org.eclipse.core.resources.IEncodedStorage)
  • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.resources.IContainer)
  • org.eclipse.jdt.core.IImportContainer (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IImportDeclaration (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IInitializer
  • org.eclipse.jdt.core.IJarEntryResource
  • org.eclipse.jdt.core.IJavaElement
    • org.eclipse.jdt.core.IAnnotation (also extends org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
    • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
    • org.eclipse.jdt.core.IImportContainer (also extends org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IImportDeclaration (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IInitializer
    • org.eclipse.jdt.core.IJavaModel (also extends org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
    • org.eclipse.jdt.core.IJavaProject (also extends org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
    • org.eclipse.jdt.core.ILocalVariable (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IMember (also extends org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ISourceReference)
      • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable)
      • org.eclipse.jdt.core.IInitializer
      • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable)
      • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
    • org.eclipse.jdt.core.IPackageDeclaration (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IPackageFragment (also extends org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation)
    • org.eclipse.jdt.core.IPackageFragmentRoot (also extends org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
    • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
    • org.eclipse.jdt.core.ITypeParameter (also extends org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.ICodeAssist, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
      • org.eclipse.jdt.core.IClassFile
      • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.IJavaModel (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.IJavaProject (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.ILocalVariable (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.core.resources.IMarker
  • org.eclipse.jdt.core.IMember (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IInitializer
    • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable)
  • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IPackageDeclaration (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IPackageFragment (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation)
  • org.eclipse.jdt.core.IPackageFragmentRoot (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
  • org.eclipse.core.resources.IProject (also extends org.eclipse.core.resources.IContainer)
  • org.eclipse.core.resources.IResource (also extends org.eclipse.core.runtime.jobs.ISchedulingRule)
    • org.eclipse.core.resources.IContainer (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IEncodedStorage)
    • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
    • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
    • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
  • org.eclipse.core.resources.IResourceDelta
  • org.eclipse.core.resources.IStorage
    • org.eclipse.core.resources.IEncodedStorage
      • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IResource)
      • org.eclipse.core.resources.IFileState (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IEncodedStorage, org.eclipse.core.resources.IResource)
    • org.eclipse.core.resources.IFileState (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IEncodedStorage)
    • org.eclipse.jdt.core.IJarEntryResource
  • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.ITypeParameter (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.ICodeAssist, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.core.resources.IWorkspace
  • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.resources.IContainer)
• org.eclipse.jdt.core.IAnnotatable
  • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.ILocalVariable (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IPackageDeclaration (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IMember)
• org.eclipse.jdt.core.util.IAnnotation
• org.eclipse.jdt.core.util.IAnnotationComponent
• org.eclipse.jdt.core.util.IAnnotationComponentValue
• org.eclipse.jdt.core.util.IAttributeNamesConstants
• org.jmlspecs.jml4.compiler.IBatchCompilerExtension
  • org.jmlspecs.jml4.compiler.ICompilerExtension
• org.eclipse.jdt.internal.compiler.env.IBinaryAnnotation
• org.eclipse.jdt.internal.compiler.env.IBinaryElementValuePair
• org.eclipse.jdt.internal.compiler.env.IBinaryNestedType
• org.eclipse.jdt.core.dom.IBinding
  • org.eclipse.jdt.core.dom.IAnnotationBinding
  • org.eclipse.jdt.core.dom.IMemberValuePairBinding
  • org.eclipse.jdt.core.dom.IMethodBinding
  • org.eclipse.jdt.core.dom.IPackageBinding
  • org.eclipse.jdt.core.dom.ITypeBinding
  • org.eclipse.jdt.core.dom.IVariableBinding
• org.eclipse.jdt.internal.formatter.comment.IBorderAttributes
• org.eclipse.jdt.core.IBuffer
• org.eclipse.jdt.core.IBuffer.ITextEditCapability
• org.eclipse.jdt.core.IBufferChangedListener
• org.eclipse.jdt.core.IBufferFactory
• org.eclipse.jdt.core.util.IBytecodeVisitor
• org.eclipse.jdt.core.util.IClassFileAttribute
  • org.eclipse.jdt.core.util.IAnnotationDefaultAttribute
  • org.eclipse.jdt.core.util.ICodeAttribute
  • org.eclipse.jdt.core.util.IConstantValueAttribute
  • org.eclipse.jdt.core.util.IEnclosingMethodAttribute
  • org.eclipse.jdt.core.util.IExceptionAttribute
  • org.eclipse.jdt.core.util.IInnerClassesAttribute
  • org.eclipse.jdt.core.util.ILineNumberAttribute
  • org.eclipse.jdt.core.util.ILocalVariableAttribute
  • org.eclipse.jdt.core.util.ILocalVariableTypeTableAttribute
  • org.eclipse.jdt.core.util.IRuntimeInvisibleAnnotationsAttribute
  • org.eclipse.jdt.core.util.IRuntimeInvisibleParameterAnnotationsAttribute
  • org.eclipse.jdt.core.util.IRuntimeVisibleAnnotationsAttribute
  • org.eclipse.jdt.core.util.IRuntimeVisibleParameterAnnotationsAttribute
  • org.eclipse.jdt.core.util.ISignatureAttribute
  • org.eclipse.jdt.core.util.ISourceAttribute
  • org.eclipse.jdt.core.util.IStackMapAttribute
  • org.eclipse.jdt.core.util.IStackMapTableAttribute
• org.eclipse.jdt.core.util.IClassFileDisassembler
• org.eclipse.jdt.core.util.IClassFileReader
• org.eclipse.jdt.core.IClasspathAttribute
• org.eclipse.jdt.core.IClasspathContainer
• org.eclipse.jdt.core.IClasspathEntry
• org.eclipse.jdt.core.ICodeAssist
  • org.eclipse.jdt.core.IClassFile
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
• org.eclipse.jdt.core.ICodeCompletionRequestor
• org.eclipse.jdt.core.ICodeFormatter
• org.eclipse.jdt.internal.formatter.ICodeFormatterConstants
• org.eclipse.jdt.core.eval.ICodeSnippetRequestor
• org.eclipse.core.resources.ICommand
• org.eclipse.jdt.internal.formatter.comment.ICommentAttributes
• org.eclipse.core.internal.dtree.IComparator
  • org.eclipse.core.internal.watson.IElementComparator
• org.eclipse.jdt.internal.core.builder.ICompilationUnitLocator
• org.eclipse.jdt.internal.compiler.ICompilerRequestor
• org.eclipse.jdt.core.ICompletionRequestor
  • org.eclipse.jdt.internal.codeassist.IExtendedCompletionRequestor
• org.eclipse.jdt.core.util.IConstantPool
• org.eclipse.jdt.core.util.IConstantPoolConstant
• org.eclipse.jdt.core.util.IConstantPoolEntry
• org.eclipse.core.internal.resources.ICoreConstants
• org.eclipse.jdt.core.ICorrectionRequestor
• org.eclipse.core.internal.dtree.IDataFlattener
• org.eclipse.jdt.internal.compiler.IDebugRequestor
• org.eclipse.jdt.internal.compiler.env.IDependent
  • org.eclipse.jdt.internal.compiler.env.IBinaryType
  • org.eclipse.jdt.internal.compiler.env.ICompilationUnit
  • org.eclipse.jdt.internal.compiler.env.IGenericType
    • org.eclipse.jdt.internal.compiler.env.IBinaryType
    • org.eclipse.jdt.internal.compiler.env.ISourceType
  • org.eclipse.jdt.internal.compiler.env.ISourceType
• org.eclipse.jdt.internal.compiler.IDocumentElementRequestor
• org.eclipse.jdt.core.jdom.IDOMFactory
• org.eclipse.jdt.core.IElementChangedListener
• org.eclipse.core.internal.watson.IElementContentVisitor
• org.eclipse.core.internal.watson.IElementInfoFlattener
• org.eclipse.jdt.internal.compiler.IErrorHandlingPolicy
• org.jmlspecs.eclipse.jdt.ui.IEscjavaListener
• org.eclipse.jdt.core.eval.IEvaluationContext
• org.eclipse.test.internal.performance.eval.IEvaluator
• org.eclipse.jdt.core.util.IExceptionTableEntry
• org.eclipse.jdt.core.dom.IExtendedModifier
• org.eclipse.jdt.core.util.IFieldInfo
• org.eclipse.core.resources.IFileModificationValidator
• org.eclipse.jdt.internal.compiler.env.IGenericField
  • org.eclipse.jdt.internal.compiler.env.IBinaryField
  • org.eclipse.jdt.internal.compiler.env.ISourceField
• org.eclipse.jdt.internal.compiler.env.IGenericMethod
  • org.eclipse.jdt.internal.compiler.env.IBinaryMethod
  • org.eclipse.jdt.internal.compiler.env.ISourceMethod
• org.eclipse.jdt.core.eval.IGlobalVariable
• org.eclipse.jdt.internal.formatter.comment.IHtmlTagDelimiters
• org.eclipse.jdt.internal.core.search.indexing.IIndexConstants
• org.eclipse.jdt.core.util.IInnerClassesAttributeEntry
• org.eclipse.jdt.internal.formatter.comment.IJavaDocTagConstants
• org.eclipse.jdt.core.IJavaElementDelta
• org.eclipse.jdt.internal.core.IJavaElementRequestor
• org.eclipse.jdt.core.IJavaModelMarker
• org.eclipse.jdt.core.IJavaModelStatusConstants
• org.eclipse.jdt.core.search.IJavaSearchConstants
• org.eclipse.jdt.core.search.IJavaSearchResultCollector
• org.eclipse.jdt.core.search.IJavaSearchScope
• org.eclipse.jdt.internal.core.search.processing.IJob
• org.eclipse.core.internal.events.ILifecycleListener
• org.eclipse.jdt.internal.core.jdom.ILineStartFinder
• org.eclipse.core.internal.localstore.ILocalStoreConstants
• org.eclipse.jdt.core.util.ILocalVariableTableEntry
• org.eclipse.jdt.core.util.ILocalVariableTypeTableEntry
• org.eclipse.jdt.internal.core.util.ILRUCacheable
• org.eclipse.core.internal.resources.IManager
  • org.eclipse.core.internal.localstore.IHistoryStore
  • org.eclipse.core.internal.properties.IPropertyManager
• org.eclipse.core.resources.IMarkerDelta
• org.eclipse.core.internal.resources.IMarkerSetElement
• org.eclipse.jdt.core.IMemberValuePair
• org.eclipse.jdt.core.util.IMethodInfo
• org.eclipse.core.internal.resources.IModelObjectConstants
• org.eclipse.core.resources.mapping.IModelProviderDescriptor
• org.eclipse.jdt.core.util.IModifierConstants
• org.eclipse.core.resources.team.IMoveDeleteHook
• org.eclipse.jdt.internal.compiler.env.INameEnvironment
• org.eclipse.jdt.internal.core.INamingRequestor
• org.eclipse.test.internal.performance.InternalDimensions
• org.eclipse.jdt.internal.compiler.lookup.InvocationSite
• org.eclipse.jdt.core.util.IOpcodeMnemonics
• org.eclipse.jdt.core.IOpenable
  • org.eclipse.jdt.core.IClassFile
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.IJavaModel (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.IJavaProject (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.IPackageFragment (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation)
  • org.eclipse.jdt.core.IPackageFragmentRoot (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.ICodeAssist, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
• org.eclipse.jdt.core.util.IParameterAnnotation
• org.eclipse.jdt.core.IParent
  • org.eclipse.jdt.core.IClassFile
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IImportContainer (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IInitializer
  • org.eclipse.jdt.core.IJavaModel (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable)
  • org.eclipse.jdt.core.IJavaProject (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable)
  • org.eclipse.jdt.core.IMember (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IInitializer
    • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable)
  • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IPackageFragment (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.ISourceManipulation)
  • org.eclipse.jdt.core.IPackageFragmentRoot (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable)
  • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.ICodeAssist, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
• org.eclipse.jdt.internal.core.IPathRequestor
• org.eclipse.core.internal.watson.IPathRequestor
• org.eclipse.core.resources.IPathVariableChangeEvent
• org.eclipse.core.resources.IPathVariableManager
• org.eclipse.jdt.core.compiler.IProblem
• org.eclipse.jdt.internal.compiler.IProblemFactory
• org.eclipse.jdt.core.IProblemRequestor
• org.eclipse.core.resources.IProjectDescription
• org.eclipse.core.resources.IProjectNature
• org.eclipse.core.resources.IProjectNatureDescriptor
• org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy
• org.eclipse.core.resources.refresh.IRefreshMonitor
• org.eclipse.core.resources.refresh.IRefreshResult
• org.eclipse.jdt.core.IRegion
• org.eclipse.jdt.internal.eval.IRequestor
• org.eclipse.core.resources.mapping.IResourceChangeDescriptionFactory
• org.eclipse.core.resources.IResourceChangeEvent
• org.eclipse.core.resources.IResourceDeltaVisitor
• org.eclipse.core.resources.IResourceProxy
• org.eclipse.core.resources.IResourceProxyVisitor
• org.eclipse.core.resources.IResourceRuleFactory
• org.eclipse.core.resources.team.IResourceTree
• org.eclipse.core.resources.IResourceVisitor
• org.eclipse.jdt.internal.core.search.IRestrictedAccessTypeRequestor
• org.eclipse.core.resources.ISaveContext
• org.eclipse.core.resources.ISavedState
• org.eclipse.jdt.core.compiler.IScanner
• org.eclipse.core.runtime.jobs.ISchedulingRule
  • org.eclipse.core.resources.IContainer (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IResource)
    • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable)
  • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IEncodedStorage, org.eclipse.core.resources.IResource)
  • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
  • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
  • org.eclipse.core.resources.IResource (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IContainer (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable)
      • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable)
    • org.eclipse.core.resources.IFile (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IEncodedStorage)
    • org.eclipse.core.resources.IFolder (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
    • org.eclipse.core.resources.IProject (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
    • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
  • org.eclipse.core.resources.IWorkspaceRoot (also extends org.eclipse.core.runtime.IAdaptable, org.eclipse.core.resources.IContainer)
• org.eclipse.jdt.core.search.ISearchPattern
• org.eclipse.jdt.internal.codeassist.ISearchRequestor
• org.eclipse.jdt.internal.codeassist.ISelectionRequestor
• org.eclipse.jdt.internal.compiler.ISourceElementRequestor
• org.eclipse.jdt.internal.compiler.env.ISourceImport
• org.eclipse.jdt.core.ISourceManipulation
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IImportDeclaration (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceReference)
  • org.eclipse.jdt.core.IInitializer
  • org.eclipse.jdt.core.IMember (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceReference)
    • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IInitializer
    • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable)
  • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IPackageFragment (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
• org.eclipse.jdt.core.ISourceRange
• org.eclipse.jdt.core.ISourceReference
  • org.eclipse.jdt.core.IAnnotation (also extends org.eclipse.jdt.core.IJavaElement)
  • org.eclipse.jdt.core.IClassFile
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot, org.eclipse.jdt.core.IWorkingCopy)
  • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IImportContainer (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent)
  • org.eclipse.jdt.core.IImportDeclaration (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.ISourceManipulation)
  • org.eclipse.jdt.core.IInitializer
  • org.eclipse.jdt.core.ILocalVariable (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IJavaElement)
  • org.eclipse.jdt.core.IMember (also extends org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IParent, org.eclipse.jdt.core.ISourceManipulation)
    • org.eclipse.jdt.core.IField (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IInitializer
    • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable)
    • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable)
  • org.eclipse.jdt.core.IMethod (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.IPackageDeclaration (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IJavaElement)
  • org.eclipse.jdt.core.IType (also extends org.eclipse.jdt.core.IAnnotatable, org.eclipse.jdt.core.IMember)
  • org.eclipse.jdt.core.ITypeParameter (also extends org.eclipse.jdt.core.IJavaElement)
  • org.eclipse.jdt.core.ITypeRoot (also extends org.eclipse.jdt.core.ICodeAssist, org.eclipse.jdt.core.IJavaElement, org.eclipse.jdt.core.IOpenable, org.eclipse.jdt.core.IParent)
    • org.eclipse.jdt.core.IClassFile
    • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.IWorkingCopy)
• org.eclipse.jdt.core.util.IStackMapFrame
• org.eclipse.core.runtime.IStatus
  • org.eclipse.jdt.core.IJavaModelStatus
  • org.eclipse.core.resources.IResourceStatus
• org.eclipse.core.internal.utils.IStringPoolParticipant
• org.eclipse.core.resources.ISynchronizer
• org.eclipse.jdt.core.compiler.ITerminalSymbols
• org.eclipse.jdt.core.dom.rewrite.ITrackedNodePosition
• org.eclipse.jdt.core.ITypeHierarchy
• org.eclipse.jdt.core.ITypeHierarchyChangedListener
• org.eclipse.jdt.core.search.ITypeNameRequestor
• org.eclipse.jdt.internal.compiler.impl.ITypeRequestor
• org.eclipse.core.internal.localstore.IUnifiedTreeVisitor
• org.eclipse.jdt.core.util.IVerificationTypeInfo
• org.eclipse.jdt.core.IWorkingCopy
  • org.eclipse.jdt.core.ICompilationUnit (also extends org.eclipse.jdt.core.ISourceManipulation, org.eclipse.jdt.core.ITypeRoot)
• org.eclipse.core.resources.IWorkspaceDescription
• org.eclipse.core.resources.IWorkspaceRunnable
• org.jmlspecs.jml4.rac.JavaAstVisitor
  • org.jmlspecs.jml4.rac.JmlAstVisitor
    • org.jmlspecs.jml4.rac.RacAstVisitor
  • org.jmlspecs.jml4.rac.RacAstVisitor
• org.eclipse.jdt.internal.core.JavadocConstants
• org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants
• org.jmlspecs.jml4.ast.JmlAbstractMethodDeclaration
• org.jmlspecs.jml4.rac.runtime.JMLCheckable
• org.jmlspecs.jml4.compiler.JmlConstants
• org.jmlspecs.jml4.ast.JmlDataGroupClause
• org.jmlspecs.jml4.rac.runtime.JMLExitPostconditionError
• org.jmlspecs.jml4.rac.runtime.JMLInternalPostconditionError
• org.jmlspecs.jml4.rac.runtime.JMLOption
• org.jmlspecs.jml4.ast.JmlTypeReference
• org.eclipse.core.internal.utils.KeyedHashSet.KeyedElement
• org.eclipse.jdt.internal.codeassist.impl.Keywords
• org.eclipse.jdt.internal.codeassist.MissingTypesGuesser.GuessedTypeRequestor
• org.eclipse.jdt.internal.compiler.codegen.Opcodes
• org.eclipse.jdt.internal.compiler.ast.OperatorIds
  • org.jmlspecs.jml4.fspv.theory.ast.TheoryOperatorIds
• org.eclipse.jdt.internal.compiler.parser.ParserBasicInformation
• org.eclipse.jdt.internal.compiler.lookup.ProblemReasons
• org.eclipse.jdt.internal.compiler.problem.ProblemSeverities
• org.jmlspecs.jml4.rac.RacConstants
• org.eclipse.jdt.internal.compiler.impl.ReferenceContext
• org.eclipse.jdt.internal.codeassist.RelevanceConstants
• org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore.INodePropertyMapper
• org.eclipse.jdt.core.tests.runtime.RuntimeConstants
• org.jmlspecs.jml4.esc.gc.SimpleExprVisitor
• org.jmlspecs.jml4.esc.gc.SimplifyingVisitor
• org.eclipse.jdt.core.tests.junit.extension.StopableTestCase
• org.eclipse.jdt.internal.compiler.lookup.Substitution
• org.eclipse.jdt.internal.compiler.util.SuffixConstants
• org.jmlspecs.jml4.esc.gc.SugaredExpressionVisitor
• org.jmlspecs.jml4.esc.gc.SugaredStatementVisitor
• org.eclipse.jdt.internal.compiler.lookup.TagBits
• org.eclipse.jdt.internal.compiler.parser.TerminalTokens
• junit.framework.TestListener
  • org.eclipse.jdt.core.tests.junit.extension.TestListener
• org.jmlspecs.jml4.rac.TypeAssertionTranslator
• org.eclipse.jdt.internal.compiler.lookup.TypeConstants
• org.eclipse.jdt.internal.compiler.lookup.TypeIds
• org.eclipse.jdt.internal.codeassist.UnresolvedReferenceNameFinder.UnresolvedReferenceNameRequestor
• org.eclipse.jdt.internal.core.util.Util.BindingsToNodesMap
• org.eclipse.jdt.internal.core.util.Util.Comparable
• org.eclipse.jdt.internal.core.util.Util.Comparer
• org.eclipse.jdt.internal.compiler.util.Util.Displayable
• org.eclipse.jdt.core.tests.model.VariablesInitializer.ITestInitializer

Annotation Type Hierarchy

• org.jmlspecs.annotation.WritableDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Writable (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.WorkingSpace (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Uninitialized (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecSafeMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecPublic (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecProtected (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecJavaMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecCase (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SpecBigintMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Spec (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.SignalsOnly (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Signals (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Requires (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.RepresentsDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Represents (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ReadableDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Readable (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Pure (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Old (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.NullableByDefault (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Nullable (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.NonNullByDefault (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.NonNull (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.MonitorsForDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.MonitorsFor (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Monitored (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ModelType (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ModelMethod (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ModelField (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ModelDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Model (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.MapsDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Maps (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.InvariantDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Invariant (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Instance (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.InitiallyDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Initially (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.InDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.In (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Helper (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.GhostDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Ghost (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ForAll (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Ensures (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Duration (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Diverges (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.ConstraintDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Constraint (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodeSafeMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodeProtected (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodePrivate (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodePackage (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodeJavaMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.CodeBigintMath (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Captures (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Callable (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.AxiomDefinitions (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Axiom (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Assignable (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Also (implements java.lang.annotation.Annotation)
• org.jmlspecs.annotation.Accessible (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.jmlspecs.jml4.rac.RacConstants.Condition
    • org.jmlspecs.jml4.rac.RacConstants.Behavior