|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||
encloses(String)
method.
SubstitutionTextReader that will substitute html entities for
html symbols encountered in the original text.reader
"org.eclipse.jdt.core.problem").
Javadoc.
IJavaModel.- javamodel_building_after_upgrade -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_configuring -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_configuring_classpath_containers -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_configuring_searchengine -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_getting_build_state_number -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_initialization -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_initializing_delta_state -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_refreshing_external_jars -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- javamodel_resetting_source_attachment_properties -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- JavaModelCache - Class in org.eclipse.jdt.internal.core
- The cache of java elements to their respective info.
- JavaModelCache() -
Constructor for class org.eclipse.jdt.internal.core.JavaModelCache
-
- javaModelDeltas -
Variable in class org.eclipse.jdt.internal.core.DeltaProcessor
-
- JavaModelException - Exception in org.eclipse.jdt.core
- A checked exception representing a failure in the Java model.
- JavaModelException(Throwable, int) -
Constructor for exception org.eclipse.jdt.core.JavaModelException
- Creates a Java model exception that wrappers the given
Throwable.
- JavaModelException(CoreException) -
Constructor for exception org.eclipse.jdt.core.JavaModelException
- Creates a Java model exception for the given
CoreException.
- JavaModelException(IJavaModelStatus) -
Constructor for exception org.eclipse.jdt.core.JavaModelException
- Creates a Java model exception for the given Java-specific status object.
- JavaModelInfo - Class in org.eclipse.jdt.internal.core
- Implementation of IJavaModel.
- JavaModelInfo() -
Constructor for class org.eclipse.jdt.internal.core.JavaModelInfo
-
- JavaModelManager - Class in org.eclipse.jdt.internal.core
- The
JavaModelManager manages instances of IJavaModel. - JavaModelManager.CompilationParticipants - Class in org.eclipse.jdt.internal.core
-
- JavaModelManager.CompilationParticipants() -
Constructor for class org.eclipse.jdt.internal.core.JavaModelManager.CompilationParticipants
-
- JavaModelManager.EclipsePreferencesListener - Class in org.eclipse.jdt.internal.core
- Update the classpath variable cache
- JavaModelManager.EclipsePreferencesListener() -
Constructor for class org.eclipse.jdt.internal.core.JavaModelManager.EclipsePreferencesListener
-
- JavaModelManager.PerProjectInfo - Class in org.eclipse.jdt.internal.core
-
- JavaModelManager.PerProjectInfo(IProject) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelManager.PerProjectInfo
-
- JavaModelManager.PerWorkingCopyInfo - Class in org.eclipse.jdt.internal.core
-
- JavaModelManager.PerWorkingCopyInfo(CompilationUnit, IProblemRequestor) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelManager.PerWorkingCopyInfo
-
- JavaModelOperation - Class in org.eclipse.jdt.internal.core
- Defines behavior common to all Java Model operations
- JavaModelStatus - Class in org.eclipse.jdt.internal.core
-
- JavaModelStatus() -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int, IJavaElement[]) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
elements.
- JavaModelStatus(int, String) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int, int, String) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int, Throwable) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int, IPath) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelStatus(int, IJavaElement) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
element.
- JavaModelStatus(int, IJavaElement, String) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
element and string
- JavaModelStatus(int, IJavaElement, IPath) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
element and path
- JavaModelStatus(int, IJavaElement, IPath, String) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
element, path and string
- JavaModelStatus(int, int, IJavaElement, IPath, String) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with the given corresponding
element and path
- JavaModelStatus(CoreException) -
Constructor for class org.eclipse.jdt.internal.core.JavaModelStatus
- Constructs an Java model status with no corresponding elements.
- JavaModelTests - Class in org.eclipse.jdt.core.tests.model
- Tests IJavaModel API.
- JavaModelTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaModelTests
-
- javaProject() -
Method in class org.eclipse.jdt.internal.core.hierarchy.RegionBasedTypeHierarchy
- Returns the java project this hierarchy was created in.
- javaProject() -
Method in class org.eclipse.jdt.internal.core.hierarchy.TypeHierarchy
- Returns the java project this hierarchy was created in.
- JavaProject - Class in org.eclipse.jdt.internal.core
- Handle for a Java Project.
- JavaProject() -
Constructor for class org.eclipse.jdt.internal.core.JavaProject
- Constructor needed for
IProject.getNature() and IProject.addNature().
- JavaProject(IProject, JavaElement) -
Constructor for class org.eclipse.jdt.internal.core.JavaProject
-
- JavaProjectTests - Class in org.eclipse.jdt.core.tests.model
-
- JavaProjectTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaProjectTests
-
- JavaSearchBugsTests - Class in org.eclipse.jdt.core.tests.model
- Non-regression tests for bugs fixed in Java Search engine.
- JavaSearchBugsTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchBugsTests
-
- JavaSearchDocument - Class in org.eclipse.jdt.internal.core.search
-
- JavaSearchDocument(String, SearchParticipant) -
Constructor for class org.eclipse.jdt.internal.core.search.JavaSearchDocument
-
- JavaSearchDocument(ZipEntry, IPath, byte[], SearchParticipant) -
Constructor for class org.eclipse.jdt.internal.core.search.JavaSearchDocument
-
- JavaSearchFineGrainTests - Class in org.eclipse.jdt.core.tests.model
- Specific test suite for fine grained search.
- JavaSearchFineGrainTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchFineGrainTests
-
- JavaSearchGenericConstructorEquivalentTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic constructor search using R_EQUIVALENT_MATCH rule.
- JavaSearchGenericConstructorEquivalentTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorEquivalentTests
-
- JavaSearchGenericConstructorExactTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic constructor search using R_EXACT_MATCH rule.
- JavaSearchGenericConstructorExactTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorExactTests
-
- JavaSearchGenericConstructorTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic constructor search using R_ERASURE_MATCH rule.
- JavaSearchGenericConstructorTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericConstructorTests
-
- JavaSearchGenericFieldTests - Class in org.eclipse.jdt.core.tests.model
- Test search for generic fields.
- JavaSearchGenericFieldTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericFieldTests
-
- JavaSearchGenericMethodEquivalentTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic methods search using R_EQUIVALENT_MATCH rule.
- JavaSearchGenericMethodEquivalentTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodEquivalentTests
-
- JavaSearchGenericMethodExactTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic methods search using R_EXACT_MATCH rule.
- JavaSearchGenericMethodExactTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodExactTests
-
- JavaSearchGenericMethodTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic methods search using R_ERASURE_MATCH rule.
- JavaSearchGenericMethodTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericMethodTests
-
- JavaSearchGenericTypeEquivalentTests - Class in org.eclipse.jdt.core.tests.model
- Test for search of generic types using R_EQUIVALENT_MATCH rule.
- JavaSearchGenericTypeEquivalentTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeEquivalentTests
-
- JavaSearchGenericTypeExactTests - Class in org.eclipse.jdt.core.tests.model
- Test for search of generic types using R_EXACT_MATCH rule.
- JavaSearchGenericTypeExactTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeExactTests
-
- JavaSearchGenericTypeTests - Class in org.eclipse.jdt.core.tests.model
- Test for generic types search using R_ERASURE_MATCH rule.
- JavaSearchGenericTypeTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchGenericTypeTests
-
- JavaSearchJavadocTests - Class in org.eclipse.jdt.core.tests.model
- Tests the Java search engine in Javadoc comment.
- JavaSearchJavadocTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchJavadocTests
-
- JavaSearchMultipleProjectsTests - Class in org.eclipse.jdt.core.tests.model
- Tests the Java search engine accross multiple projects.
- JavaSearchMultipleProjectsTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchMultipleProjectsTests
-
- JavaSearchNameEnvironment - Class in org.eclipse.jdt.internal.core.search.matching
-
- JavaSearchNameEnvironment(IJavaProject, ICompilationUnit[]) -
Constructor for class org.eclipse.jdt.internal.core.search.matching.JavaSearchNameEnvironment
-
- JavaSearchParticipant - Class in org.eclipse.jdt.internal.core.search
- A search participant describes a particular extension to a generic search mechanism, allowing thus to
perform combined search actions which will involve all required participants
A search scope defines which participants are involved.
- JavaSearchParticipant() -
Constructor for class org.eclipse.jdt.internal.core.search.JavaSearchParticipant
-
- JavaSearchPattern - Class in org.eclipse.jdt.internal.core.search.matching
-
- JavaSearchScope - Class in org.eclipse.jdt.internal.core.search
- A Java-specific scope for searching relative to one or more java elements.
- JavaSearchScope() -
Constructor for class org.eclipse.jdt.internal.core.search.JavaSearchScope
-
- JavaSearchScopeTests - Class in org.eclipse.jdt.core.tests.model
- Tests the Java search engine accross multiple projects.
- JavaSearchScopeTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchScopeTests
-
- JavaSearchTests - Class in org.eclipse.jdt.core.tests.model
- Tests the Java search engine where results are JavaElements and source positions.
- JavaSearchTests(String) -
Constructor for class org.eclipse.jdt.core.tests.model.JavaSearchTests
-
- JavaSearchTypeNameMatch - Class in org.eclipse.jdt.internal.core.search
- Java Search concrete class for a type name match.
- JavaSearchTypeNameMatch(IType, int) -
Constructor for class org.eclipse.jdt.internal.core.search.JavaSearchTypeNameMatch
- Creates a new Java Search type name match.
- JavaUtilIteratorConstantPoolName -
Static variable in class org.eclipse.jdt.internal.compiler.codegen.ConstantPool
-
- JavaWorkspaceScope - Class in org.eclipse.jdt.internal.core.search
- A Java-specific scope for searching the entire workspace.
- JavaWorkspaceScope() -
Constructor for class org.eclipse.jdt.internal.core.search.JavaWorkspaceScope
-
- jdiStackFrame -
Variable in class org.eclipse.jdt.core.tests.eval.DebugEvaluationTest
-
- JDIStackFrame - Class in org.eclipse.jdt.core.tests.eval
-
- JDIStackFrame(VirtualMachine, DebugEvaluationTest, String) -
Constructor for class org.eclipse.jdt.core.tests.eval.JDIStackFrame
-
- JDIStackFrame(VirtualMachine, DebugEvaluationTest, String, String, String, int) -
Constructor for class org.eclipse.jdt.core.tests.eval.JDIStackFrame
-
- JDK1_1 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_2 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_3 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_4 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_5 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_6 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK1_7 -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JDK_DEFERRED -
Static variable in interface org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants
-
- JdtAst2EscjAstVisitor - Class in org.jmlspecs.eclipse.jdt.internal.esc2
- Deprecated. because it is very unlikely that we will try to map between JML4 and ESC/Java2 ASTs.
- JdtAst2EscjAstVisitor() -
Constructor for class org.jmlspecs.eclipse.jdt.internal.esc2.JdtAst2EscjAstVisitor
- Deprecated.
- JDTCompilerAdapter - Class in org.eclipse.jdt.core
- Ant 1.5 compiler adapter for the Eclipse Java compiler.
- JDTCompilerAdapter() -
Constructor for class org.eclipse.jdt.core.JDTCompilerAdapter
-
- JdtCorePerformanceMeter - Class in org.eclipse.jdt.core.tests.performance.util
-
- JdtCorePerformanceMeter(String) -
Constructor for class org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeter
-
- JdtCorePerformanceMeterFactory - Class in org.eclipse.jdt.core.tests.performance.util
-
- JdtCorePerformanceMeterFactory() -
Constructor for class org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeterFactory
-
- JdtCorePerformanceMeterPlugin - Class in org.eclipse.jdt.core.tests.performance.util
-
- JdtCorePerformanceMeterPlugin() -
Constructor for class org.eclipse.jdt.core.tests.performance.util.JdtCorePerformanceMeterPlugin
-
- JEM_ANNOTATION -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_CLASSFILE -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_COMPILATIONUNIT -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_COUNT -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_ESCAPE -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_FIELD -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_IMPORTDECLARATION -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_INITIALIZER -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_JAVAPROJECT -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_LOCALVARIABLE -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_METHOD -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_PACKAGEDECLARATION -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_PACKAGEFRAGMENT -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_PACKAGEFRAGMENTROOT -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_TYPE -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JEM_TYPE_PARAMETER -
Static variable in class org.eclipse.jdt.internal.core.JavaElement
-
- JLS2 -
Static variable in class org.eclipse.jdt.core.dom.AST
- Deprecated. Clients should use the
AST.JLS3 AST API instead.
- JLS3 -
Static variable in class org.eclipse.jdt.core.dom.AST
- Constant for indicating the AST API that handles JLS3.
- Jml2_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- jml2CheckerEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JML2CheckerWrapper - Class in org.jmlspecs.jml2.checker
-
- JML2CheckerWrapper() -
Constructor for class org.jmlspecs.jml2.checker.JML2CheckerWrapper
-
- jml2CompilerEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JML2CompilerWrapper - Class in org.jmlspecs.jml2.compiler
-
- JML2CompilerWrapper() -
Constructor for class org.jmlspecs.jml2.compiler.JML2CompilerWrapper
-
- Jml2Enable_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- Jml2EnableChecker_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- Jml2EnableCompiler_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JML2TestCase - Class in org.jmlspecs.eclipse.jdt.core.tests.jml2
-
- JML2TestCase(String) -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.jml2.JML2TestCase
-
- JML4 -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- Jml5BasicTests - Class in org.jmlspecs.eclipse.jdt.core.tests.jml5
-
- Jml5BasicTests(String) -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5BasicTests
-
- Jml5StyleNullity - Class in org.jmlspecs.eclipse.jdt.core.tests.jml5
-
- Jml5StyleNullity(String) -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5StyleNullity
-
- Jml5StyleNullity - Class in org.jmlspecs.eclipse.jdt.core.tests.nonnull
-
- Jml5StyleNullity(String) -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.nonnull.Jml5StyleNullity
-
- JML_ANNOTATION -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_CODE_BIGINT_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_CODE_JAVA_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_CODE_SAFE_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_GHOST -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_HELPER -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_INSTANCE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_MODEL -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_NON_NULL -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_NON_NULL_BY_DEFAULT -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_NULLABLE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_NULLABLE_BY_DEFAULT -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_PEER -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_PKG -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_PURE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_READONLY -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_REP -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_SPEC_BIGINT_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_SPEC_JAVA_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_SPEC_PROTECTED -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_SPEC_PUBLIC -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_SPEC_SAFE_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_CODE_BIGINT_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_CODE_JAVA_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_CODE_SAFE_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_GHOST -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_HELPER -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_INSTANCE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_MODEL -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_NON_NULL_BY_DEFAULT -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_NONNULL -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_NULLABLE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_NULLABLE_BY_DEFAULT -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_PEER -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_PURE -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_READONLY -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_REP -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_SPEC_BIGINT_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_SPEC_JAVA_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_SPEC_PROTECTED -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_SPEC_PUBLIC -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_SPEC_SAFE_MATH -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_TYPE_UNINITIALIZED -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANNOTATION_UNINITIALIZED -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_ANON -
Static variable in interface org.jmlspecs.jml4.compiler.JmlConstants
-
- JML_CHECKABLE -
Static variable in interface org.jmlspecs.jml4.rac.RacConstants
- Interface
JMLCheckable used by the RAC runtime system.
- JML_ELEMTYPE -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_EQUIV -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_IMPLIES -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_LEVEL_DBC -
Static variable in interface org.jmlspecs.jml4.compiler.JmlConstants
-
- JML_LEVEL_NNTS -
Static variable in interface org.jmlspecs.jml4.compiler.JmlConstants
-
- JML_LEVEL_NO_JML -
Static variable in interface org.jmlspecs.jml4.compiler.JmlConstants
-
- JML_NONNULLELEMENTS -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_NOT_ASSIGNED -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_NOT_EQUIV -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_NOT_MODIFIED -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_OLD -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_ORG -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_PRE -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_PREFERENCE_PAGE -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
-
- JML_PROPERTY_PAGE -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
-
- JML_REPRESENTS -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_REV_IMPLIES -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_RUNTIME -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_RUNTIME_ANNOTATION -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JML_RUNTIME_EXCEPTION -
Static variable in class org.jmlspecs.jml4.ast.JmlClause
-
- JML_TYPE -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JML_TYPEOF -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JmlAbstractMethodDeclaration - Interface in org.jmlspecs.jml4.ast
-
- JmlAllocationExpression - Class in org.jmlspecs.jml4.ast
-
- JmlAllocationExpression() -
Constructor for class org.jmlspecs.jml4.ast.JmlAllocationExpression
-
- JmlAllRangeExpression - Class in org.jmlspecs.jml4.ast
-
- JmlAllRangeExpression() -
Constructor for class org.jmlspecs.jml4.ast.JmlAllRangeExpression
-
- jmlAnalyseCode(FlowContext, FlowInfo) -
Method in class org.jmlspecs.jml4.ast.JmlTypeDeclaration
-
- jmlAnnotationNestingLevel() -
Method in class org.jmlspecs.jml4.compiler.JmlScannerAnnotationState
-
- jmlAnnotationState() -
Method in class org.jmlspecs.jml4.compiler.JmlScannerAnnotationState
-
- JmlArrayIndexRangeExpression - Class in org.jmlspecs.jml4.ast
-
- JmlArrayIndexRangeExpression(Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlArrayIndexRangeExpression
-
- JmlArrayQualifiedTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlArrayQualifiedTypeReference(char[][], int, long[], Nullity[], Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlArrayQualifiedTypeReference
-
- JmlArrayRangeStoreRef - Class in org.jmlspecs.jml4.ast
-
- JmlArrayRangeStoreRef(JmlArrayReference) -
Constructor for class org.jmlspecs.jml4.ast.JmlArrayRangeStoreRef
-
- JmlArrayReference - Class in org.jmlspecs.jml4.ast
-
- JmlArrayReference(Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlArrayReference
-
- JmlArrayTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlArrayTypeReference(char[], int, long, Nullity[], Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlArrayTypeReference
-
- JMLAssertError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report violations of JML
assert
specification statements. - JMLAssertError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssertError
-
- JMLAssertError(String, String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssertError
- Create a constructor with an associated message
- JMLAssertError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssertError
- Creates a new instance with the given cause.
- JMLAssertionError - Error in org.jmlspecs.jml4.rac.runtime
- An abstract error class to notify all kinds of runtime assertion
violations.
- JMLAssertionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssertionError
-
- JMLAssertionError(String, String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssertionError
- Create a constructor with an associated message
- JMLAssertionError.Location - Class in org.jmlspecs.jml4.rac.runtime
- Data structure class to represent a source code location including
file name, line number, and character position.
- JMLAssertionError.Location(String, int, int) -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLAssertionError.Location
- Creates a new location with the given information.
- JMLAssertionError.Location(String, int) -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLAssertionError.Location
- Creates a new location with the given information.
- JmlAssertOrAssumeStatement - Class in org.jmlspecs.jml4.ast
-
- JmlAssertOrAssumeStatement(String, Expression, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssertOrAssumeStatement
-
- JmlAssertOrAssumeStatement(String, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssertOrAssumeStatement
-
- JmlAssertStatement - Class in org.jmlspecs.jml4.ast
-
- JmlAssertStatement(String, Expression, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssertStatement
-
- JmlAssertStatement(String, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssertStatement
-
- JmlAssignableClause - Class in org.jmlspecs.jml4.ast
-
- JmlAssignableClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssignableClause
-
- JmlAssignableClause(JmlIdentifier, JmlStoreRefListExpression) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssignableClause
-
- JmlAssignment - Class in org.jmlspecs.jml4.ast
-
- JmlAssignment(Expression, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssignment
-
- JMLAssumeError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report violations of JML
assume
specification statements. - JMLAssumeError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssumeError
-
- JMLAssumeError(String, String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssumeError
- Create a constructor with an associated message
- JMLAssumeError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLAssumeError
- Creates a new instance with the given casue.
- JmlAssumeStatement - Class in org.jmlspecs.jml4.ast
-
- JmlAssumeStatement(String, Expression, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssumeStatement
-
- JmlAssumeStatement(String, Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlAssumeStatement
-
- JmlAstUtils - Class in org.jmlspecs.jml4.ast
-
- JmlAstVisitor - Interface in org.jmlspecs.jml4.rac
- An AST Visitor interface for visiting every Jml-type node.
- jmlBinaryLookup -
Variable in class org.eclipse.jdt.internal.compiler.Compiler
-
- JmlBinaryLookup - Class in org.jmlspecs.jml4.lookup
-
- JmlBinaryLookup(JmlSourceLookup) -
Constructor for class org.jmlspecs.jml4.lookup.JmlBinaryLookup
-
- jmlBinaryLookupDecorateBindingWithJmlCalled -
Variable in class org.eclipse.jdt.internal.compiler.lookup.BinaryTypeBinding
-
- JmlBooleanQuantifier - Class in org.jmlspecs.jml4.ast
-
- JmlBooleanQuantifier(String, TypeBinding[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlBooleanQuantifier
- Constructs a new JmlQuantifier with the specified properties.
- JmlCastExpression - Class in org.jmlspecs.jml4.ast
-
- JmlCastExpression(Expression, Expression, boolean) -
Constructor for class org.jmlspecs.jml4.ast.JmlCastExpression
-
- JmlCastExpressionWithoutType - Class in org.jmlspecs.jml4.ast
-
- JmlCastExpressionWithoutType(Expression, boolean) -
Constructor for class org.jmlspecs.jml4.ast.JmlCastExpressionWithoutType
-
- JMLCheckable - Interface in org.jmlspecs.jml4.rac.runtime
- The common behavior of all runtime assertion checkable
classes.
- JMLChecker - Class in org.jmlspecs.jml4.rac.runtime
- A class to set various runtime options and to check and report
runtime assertion violations.
- JMLChecker() -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLChecker
-
- JMLChecker.CoverageCount - Class in org.jmlspecs.jml4.rac.runtime
-
- JMLChecker.CoverageCount(String) -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLChecker.CoverageCount
-
- JmlClause - Class in org.jmlspecs.jml4.ast
- An abstraction of a JML clause which can be either a:
- type body clause,
- method spec clause,
- statement body clause.
- JmlClinit - Class in org.jmlspecs.jml4.ast
-
- JmlClinit(CompilationResult) -
Constructor for class org.jmlspecs.jml4.ast.JmlClinit
-
- JmlCommentDisabled_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlCompilationUnitDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlCompilationUnitDeclaration(ProblemReporter, CompilationResult, int, Nullity) -
Constructor for class org.jmlspecs.jml4.ast.JmlCompilationUnitDeclaration
-
- JmlCompilationUnitDeclaration(ProblemReporter, CompilationResult, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlCompilationUnitDeclaration
-
- JmlCompilerExtension - Class in org.jmlspecs.jml4.compiler
-
- JmlCompilerExtension() -
Constructor for class org.jmlspecs.jml4.compiler.JmlCompilerExtension
-
- JmlCompilerOptions - Class in org.jmlspecs.jml4.compiler
-
- JmlCompilerOptions() -
Constructor for class org.jmlspecs.jml4.compiler.JmlCompilerOptions
-
- JmlConditionalExpression - Class in org.jmlspecs.jml4.ast
-
- JmlConditionalExpression(Expression, Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlConditionalExpression
-
- JmlConfigurationBlock - Class in org.jmlspecs.eclipse.jdt.ui.preferences
-
- JmlConfigurationBlock(IStatusChangeListener, IProject, IWorkbenchPreferenceContainer) -
Constructor for class org.jmlspecs.eclipse.jdt.ui.preferences.JmlConfigurationBlock
-
- JmlConfigurationBlock_common_description -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_error -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_ignore -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_needsbuild_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_needsfullbuild_message -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_needsprojectbuild_message -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_non_null -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_nullable -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConfigurationBlock_warning -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlConstants - Interface in org.jmlspecs.jml4.compiler
-
- JmlConstraintClause - Class in org.jmlspecs.jml4.ast
-
- JmlConstraintClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlConstraintClause
-
- JMLConstraintError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify history constraint violations.
- JMLConstraintError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLConstraintError
-
- JmlConstructorDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlConstructorDeclaration(CompilationResult) -
Constructor for class org.jmlspecs.jml4.ast.JmlConstructorDeclaration
-
- JmlCoreTestsUtil - Class in org.jmlspecs.eclipse.jdt.core.tests.util
-
- JmlCoreTestsUtil() -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.util.JmlCoreTestsUtil
-
- JmlDataGroupClause - Interface in org.jmlspecs.jml4.ast
-
- jmlDbcEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JMLDebugError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report an error in the JML
debug
statement. - JMLDebugError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLDebugError
-
- jmlDefaultIsNonNull -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlDefaultNullity_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlDisabled -
Static variable in interface org.eclipse.jdt.core.compiler.IProblem
-
- jmlDisabled(int, int) -
Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
-
- JmlDivergesClause - Class in org.jmlspecs.jml4.ast
-
- JmlDivergesClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlDivergesClause
-
- JmlDoStatement - Class in org.jmlspecs.jml4.ast
-
- JmlDoStatement(JmlLoopAnnotations, Expression, Statement, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlDoStatement
-
- JmlElemtypeExpression - Class in org.jmlspecs.jml4.ast
-
- JmlElemtypeExpression(Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlElemtypeExpression
-
- JmlEnableCounts_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- jmlEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlEnableEsc2EchoOutput_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableJml_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableJmlDbc_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableJmlEsc2_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableJmlEsc_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableJmlNewLoopSemantics_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableRac_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnableThy_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEnsuresClause - Class in org.jmlspecs.jml4.ast
-
- JmlEnsuresClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlEnsuresClause
-
- JMLEntryPreconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify entry precondition violations.
- JMLEntryPreconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLEntryPreconditionError
-
- JMLEntryPreconditionError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLEntryPreconditionError
-
- JmlEsc2_common_description -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlEsc2Caution -
Static variable in interface org.eclipse.jdt.core.compiler.IProblem
-
- jmlEsc2Caution(String, int, int) -
Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
-
- jmlEsc2CommandLineArgs -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlEsc2CommandLineArgs_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- jmlEsc2EchoOutputEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- jmlEsc2Enabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlEsc2Error -
Static variable in interface org.eclipse.jdt.core.compiler.IProblem
-
- jmlEsc2Error(String, int, int) -
Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
-
- JmlEsc2Fatal -
Static variable in interface org.eclipse.jdt.core.compiler.IProblem
-
- jmlEsc2Fatal(String, int, int) -
Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
-
- JmlEsc2Warning -
Static variable in interface org.eclipse.jdt.core.compiler.IProblem
-
- jmlEsc2Warning(String, int, int) -
Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
-
- JmlEsc_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- jmlEscEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- jmlEscGovernsRac -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- jmlEscProverStrategy -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JMLEvaluationError - Error in org.jmlspecs.jml4.rac.runtime
-
- JMLEvaluationError(JMLAssertionError) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLEvaluationError
-
- JMLExceptionalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify exceptional postcondition violations.
- JMLExceptionalPostconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExceptionalPostconditionError
-
- JMLExceptionalPostconditionError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExceptionalPostconditionError
-
- JMLExitExceptionalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify exit exceptional postcondition violations.
- JMLExitExceptionalPostconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExitExceptionalPostconditionError
-
- JMLExitExceptionalPostconditionError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExitExceptionalPostconditionError
-
- JMLExitNormalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify exit normal postcondition violations.
- JMLExitNormalPostconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExitNormalPostconditionError
-
- JMLExitNormalPostconditionError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLExitNormalPostconditionError
-
- JMLExitPostconditionError - Interface in org.jmlspecs.jml4.rac.runtime
- A mark interface for JML exit postcondition errors.
- JmlExplicitConstructorCall - Class in org.jmlspecs.jml4.ast
-
- JmlExplicitConstructorCall(int) -
Constructor for class org.jmlspecs.jml4.ast.JmlExplicitConstructorCall
-
- JmlExplicitNullityAnnotation_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlFieldDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlFieldDeclaration() -
Constructor for class org.jmlspecs.jml4.ast.JmlFieldDeclaration
-
- JmlFieldDeclaration(char[], int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlFieldDeclaration
-
- JmlFieldDotStarStoreRef - Class in org.jmlspecs.jml4.ast
-
- JmlFieldDotStarStoreRef(Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlFieldDotStarStoreRef
-
- JmlFieldReference - Class in org.jmlspecs.jml4.ast
-
- JmlFieldReference(char[], long) -
Constructor for class org.jmlspecs.jml4.ast.JmlFieldReference
-
- jmlFieldsMergedIn -
Variable in class org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
-
- JmlFileFinder - Class in org.jmlspecs.jml4.lookup
-
- JmlFileFinder(Compiler) -
Constructor for class org.jmlspecs.jml4.lookup.JmlFileFinder
-
- JmlFileSystem - Class in org.eclipse.jdt.internal.compiler.batch
- Instances of this class are useful for looking up source files.
- JmlFileSystem(FileSystem.Classpath[], String[]) -
Constructor for class org.eclipse.jdt.internal.compiler.batch.JmlFileSystem
-
- JmlForeachStatement - Class in org.jmlspecs.jml4.ast
-
- JmlForeachStatement(JmlLoopAnnotations, LocalDeclaration, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlForeachStatement
-
- JmlForStatement - Class in org.jmlspecs.jml4.ast
-
- JmlForStatement(JmlLoopAnnotations, Statement[], Expression, Statement[], Statement, boolean, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlForStatement
-
- JmlFreshExpression - Class in org.jmlspecs.jml4.ast
-
- JmlFreshExpression(Expression[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlFreshExpression
-
- JmlFspv_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- jmlFspvEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlGeneral_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlGroupName - Class in org.jmlspecs.jml4.ast
- Deprecated.
- JmlGroupName(char[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlGroupName
- Deprecated.
- JmlGroupName(JmlGroupName.Prefix, char[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlGroupName
- Deprecated.
- JMLHenceByError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report violations of
hence_by
specification statements. - JMLHenceByError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLHenceByError
-
- JMLHistoryConstraintError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify history constraint violations.
- JMLHistoryConstraintError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLHistoryConstraintError
- Creates a new
JMLInvariantError instance.
- JMLHistoryConstraintError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLHistoryConstraintError
-
- JmlIdentifier - Class in org.jmlspecs.jml4.compiler.parser
- This is a helper class for the Parser.
- JmlIdentifier(char[], boolean, int, long) -
Constructor for class org.jmlspecs.jml4.compiler.parser.JmlIdentifier
-
- JmlInDataGroupClause - Class in org.jmlspecs.jml4.ast
-
- JmlInDataGroupClause(JmlIdentifier, Expression[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlInDataGroupClause
-
- JmlInformalExpression - Class in org.jmlspecs.jml4.ast
- Informal expressions are used in predicates but also in
store ref lists.
- JmlInformalExpression(char[], int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlInformalExpression
-
- JmlInitiallyClause - Class in org.jmlspecs.jml4.ast
-
- JmlInitiallyClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlInitiallyClause
-
- JMLInternalExceptionalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify internal exceptional postcondition violations.
- JMLInternalExceptionalPostconditionError(JMLAssertionError) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLInternalExceptionalPostconditionError
- Creates a new instance from the given assertion error.
- JMLInternalNormalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify internal normal postcondition violations.
- JMLInternalNormalPostconditionError(JMLAssertionError) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLInternalNormalPostconditionError
- Creates a new instance from the given assertion error.
- JMLInternalPostconditionError - Interface in org.jmlspecs.jml4.rac.runtime
- A mark interface for JML internal postcondition errors.
- JMLInternalPreconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify internal precondition violations.
- JMLInternalPreconditionError(JMLAssertionError) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLInternalPreconditionError
- Creates a new instance from the given assertion error.
- JMLIntraconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML exception class to signal intracondition violations.
- JMLIntraconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLIntraconditionError
-
- JMLIntraconditionError(String, String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLIntraconditionError
- Create a constructor with an associated message
- JMLInvariantError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify an invariant violation.
- JMLInvariantError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLInvariantError
- Creates a new
JMLInvariantError instance.
- JMLInvariantError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLInvariantError
-
- JmlInvariantForType - Class in org.jmlspecs.jml4.ast
-
- JmlInvariantForType(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlInvariantForType
-
- JmlKeywordExpression - Class in org.jmlspecs.jml4.ast
- Instances of this class represent various JML keywords that are
used in contexts where expressions (predicates or store references)
are expected.
- jmlKeywordHasRedundantSuffix -
Variable in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
-
- jmlKeywordTokenId -
Variable in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
-
- JmlLocalDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlLocalDeclaration(char[], int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlLocalDeclaration
-
- JmlLocalDeclaration(JmlIdentifier) -
Constructor for class org.jmlspecs.jml4.ast.JmlLocalDeclaration
-
- JmlLoopAnnotations - Class in org.jmlspecs.jml4.ast
-
- JmlLoopAnnotations(JmlLoopInvariant[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlLoopAnnotations
-
- JmlLoopAnnotations(JmlLoopVariant[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlLoopAnnotations
-
- JmlLoopAnnotations(JmlLoopInvariant[], JmlLoopVariant[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlLoopAnnotations
-
- JmlLoopInvariant - Class in org.jmlspecs.jml4.ast
-
- JmlLoopInvariant(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlLoopInvariant
-
- JMLLoopInvariantError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report loop invariant violations.
- JMLLoopInvariantError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLLoopInvariantError
-
- JmlLoopVariant - Class in org.jmlspecs.jml4.ast
-
- JmlLoopVariant(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlLoopVariant
-
- JMLLoopVariantError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report loop variant violations.
- JMLLoopVariantError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLLoopVariantError
-
- JmlMapsIntoClause - Class in org.jmlspecs.jml4.ast
-
- JmlMapsIntoClause(JmlIdentifier, Expression, Expression[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlMapsIntoClause
-
- JmlMapsMemberRefExpr - Class in org.jmlspecs.jml4.ast
- Deprecated.
- JmlMapsMemberRefExpr(char[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlMapsMemberRefExpr
- Deprecated.
- JmlMapsMemberRefExpr(char[], JmlName[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlMapsMemberRefExpr
- Deprecated.
- JmlMemberFieldRef - Class in org.jmlspecs.jml4.ast
- Deprecated.
- JmlMemberFieldRef(char[], JmlMapsMemberRefExpr) -
Constructor for class org.jmlspecs.jml4.ast.JmlMemberFieldRef
- Deprecated.
- JmlMemberFieldRef(JmlMapsMemberRefExpr, JmlMapsMemberRefExpr) -
Constructor for class org.jmlspecs.jml4.ast.JmlMemberFieldRef
- Deprecated.
- JmlMessageSend - Class in org.jmlspecs.jml4.ast
-
- JmlMessageSend() -
Constructor for class org.jmlspecs.jml4.ast.JmlMessageSend
-
- JmlMethodDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlMethodDeclaration(CompilationResult) -
Constructor for class org.jmlspecs.jml4.ast.JmlMethodDeclaration
-
- jmlMethodsMergedIn -
Variable in class org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
-
- JmlMethodSpecification - Class in org.jmlspecs.jml4.ast
-
- JmlMethodSpecification(JmlSpecCase[], JmlSpecCase[], boolean) -
Constructor for class org.jmlspecs.jml4.ast.JmlMethodSpecification
-
- JmlModifier - Class in org.jmlspecs.jml4.ast
- This class offers services for processing JML modifiers.
- JmlMultiReferenceExpression - Class in org.jmlspecs.jml4.ast
-
- JmlMultiReferenceExpression() -
Constructor for class org.jmlspecs.jml4.ast.JmlMultiReferenceExpression
-
- JmlName - Class in org.jmlspecs.jml4.ast
-
- JmlName(String, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlName
-
- JmlName(Expression, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlName
-
- JmlName(Expression, Expression, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlName
-
- JmlNameDotStarStoreRef - Class in org.jmlspecs.jml4.ast
- Represents a JML store ref expression of the form
name.*, where name is a NameReference.
- JmlNameDotStarStoreRef(NameReference) -
Constructor for class org.jmlspecs.jml4.ast.JmlNameDotStarStoreRef
-
- jmlNewLoopSemanticsEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JMLNonExecutableException - Exception in org.jmlspecs.jml4.rac.runtime
- Thrown by generated runtime assertion check code to indicate that
an attempt has been made to execute a JML expression that is not
executable.
- JMLNonExecutableException() -
Constructor for exception org.jmlspecs.jml4.rac.runtime.JMLNonExecutableException
- Constructs a new instance.
- JMLNonExecutableException(String) -
Constructor for exception org.jmlspecs.jml4.rac.runtime.JMLNonExecutableException
- Constructs a new instance with the given message,
msg.
- JMLNonExecutableUtil - Class in org.jmlspecs.jml4.rac.runtime
-
- JMLNonExecutableUtil() -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLNonExecutableUtil
-
- JmlNonNullTypeSystem_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlNonNullTypeSystem_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JMLNormalPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify normal postcondition violations.
- JMLNormalPostconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLNormalPostconditionError
-
- JMLNormalPostconditionError(Throwable) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLNormalPostconditionError
-
- JmlNullifier - Class in org.jmlspecs.jml4.rac
-
- JmlNullifier() -
Constructor for class org.jmlspecs.jml4.rac.JmlNullifier
-
- jmlNullityCountsEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlNumericQuantifier - Class in org.jmlspecs.jml4.ast
-
- JmlNumericQuantifier(String, TypeBinding, TypeBinding[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlNumericQuantifier
- Constructs a new JmlQuantifier with the specified properties.
- JmlOldExpression - Class in org.jmlspecs.jml4.ast
-
- JmlOldExpression(Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlOldExpression
-
- JmlOldExpression(Expression, int, char[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlOldExpression
-
- JMLOldExpressionCache - Class in org.jmlspecs.jml4.rac.runtime
- An abstraction of caches for JML old expressions.
- JMLOldExpressionCache() -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache
- Constructs a new, empty cache object.
- JMLOldExpressionCache.Key - Class in org.jmlspecs.jml4.rac.runtime
- A class for representing keys for cache objects.
- JMLOldExpressionCache.Key(Object[]) -
Constructor for class org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache.Key
- Constructs a new key object from an array.
- JmlOperationOverStoreRefList - Class in org.jmlspecs.jml4.ast
-
- JmlOperationOverStoreRefList(Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlOperationOverStoreRefList
-
- JMLOption - Interface in org.jmlspecs.jml4.rac.runtime
- An interface to provide compile-time and runtime options.
- JmlOtherOpIdStart -
Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
-
- JmlParameterizedQualifiedTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlParameterizedQualifiedTypeReference(char[][], TypeReference[][], int, long[], Nullity, Nullity[], long) -
Constructor for class org.jmlspecs.jml4.ast.JmlParameterizedQualifiedTypeReference
-
- JmlParameterizedSingleTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlParameterizedSingleTypeReference(char[], TypeReference[], int, long, Nullity, Nullity[], long) -
Constructor for class org.jmlspecs.jml4.ast.JmlParameterizedSingleTypeReference
-
- JmlParserHelper - Class in org.eclipse.jdt.internal.compiler.parser
-
- JmlParserHelper(Parser) -
Constructor for class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
-
- JMLPostconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to notify postcondition violations.
- JMLPostconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLPostconditionError
-
- JMLPreconditionError - Error in org.jmlspecs.jml4.rac.runtime
- A JML exception class for notifying precondition violations.
- JMLPreconditionError(String, String, Set<JMLAssertionError.Location>, Map<String, Object>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLPreconditionError
-
- JmlPreferencePage - Class in org.jmlspecs.eclipse.jdt.ui.preferences
-
- JmlPreferencePage() -
Constructor for class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
-
- JmlPreferencePage_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlProgrammingSecifications_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlQualifiedNameReference - Class in org.jmlspecs.jml4.ast
-
- JmlQualifiedNameReference(char[][], long[], int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlQualifiedNameReference
-
- JmlQualifiedTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlQualifiedTypeReference(char[][], long[], Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlQualifiedTypeReference
-
- JmlQuantifiedExpression - Class in org.jmlspecs.jml4.ast
-
- JmlQuantifiedExpression(String, Expression, Expression, LocalDeclaration[], int) -
Constructor for class org.jmlspecs.jml4.ast.JmlQuantifiedExpression
- Constructs a JmlQuantifiedExpression with the specified parameters.
- JmlQuantifier - Class in org.jmlspecs.jml4.ast
-
- JmlRac_title -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JMLRacBigIntegerUtils - Class in org.jmlspecs.jml4.rac.runtime
-
- jmlRacEnabled -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JMLRacUtil - Class in org.jmlspecs.jml4.rac.runtime
-
- JMLRacValue - Class in org.jmlspecs.jml4.rac.runtime
- A class for denoting JML expressible values for the runtime
assertion checker.
- JmlRepresentsClause - Class in org.jmlspecs.jml4.ast
-
- JmlRepresentsClause(JmlIdentifier, Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlRepresentsClause
-
- JmlRequiresClause - Class in org.jmlspecs.jml4.ast
-
- JmlRequiresClause(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlRequiresClause
-
- JmlResultReference - Class in org.jmlspecs.jml4.ast
-
- JmlResultReference(int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlResultReference
-
- JmlReturnStatement - Class in org.jmlspecs.jml4.ast
-
- JmlReturnStatement(Expression, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlReturnStatement
-
- JmlScannerAnnotationState - Class in org.jmlspecs.jml4.compiler
- This is a helper class for the scanner.
- JmlScannerAnnotationState() -
Constructor for class org.jmlspecs.jml4.compiler.JmlScannerAnnotationState
-
- JmlSetComprehension - Class in org.jmlspecs.jml4.ast
-
- JmlSetComprehension(LocalDeclaration, Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlSetComprehension
- Constructs a JmlSetComprehension with the specified parameters.
- JmlSetJDTPotentialNPA_link -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlSetStatement - Class in org.jmlspecs.jml4.ast
-
- JmlSetStatement(Assignment, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlSetStatement
-
- JmlSignalsClause - Class in org.jmlspecs.jml4.ast
-
- JmlSignalsClause(JmlIdentifier, Argument, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlSignalsClause
-
- JmlSignalsOnlyClause - Class in org.jmlspecs.jml4.ast
-
- JmlSignalsOnlyClause(JmlIdentifier, JmlKeywordExpression) -
Constructor for class org.jmlspecs.jml4.ast.JmlSignalsOnlyClause
-
- JmlSignalsOnlyClause(JmlIdentifier, TypeReference[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlSignalsOnlyClause
-
- jmlSimplifyPath -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlSimplifyPath_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlSingleNameReference - Class in org.jmlspecs.jml4.ast
-
- JmlSingleNameReference(char[], long) -
Constructor for class org.jmlspecs.jml4.ast.JmlSingleNameReference
-
- JmlSingleTypeReference - Class in org.jmlspecs.jml4.ast
-
- JmlSingleTypeReference(char[], long, Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlSingleTypeReference
-
- JmlSingleTypeReference(SingleTypeReference, Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlSingleTypeReference
-
- jmlSourceLookup -
Variable in class org.eclipse.jdt.internal.compiler.Compiler
-
- JmlSourceLookup - Class in org.jmlspecs.jml4.lookup
-
- JmlSourceLookup(Compiler) -
Constructor for class org.jmlspecs.jml4.lookup.JmlSourceLookup
-
- JmlSpecCase - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCase(JmlSpecCaseBody) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCase
-
- JmlSpecCase(String, JmlSpecCaseBody, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCase
-
- JmlSpecCaseBlock - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCaseBlock(JmlSpecCaseBody[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCaseBlock
-
- JmlSpecCaseBody - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCaseBody(JmlLocalDeclaration[], JmlLocalDeclaration[], JmlSpecCaseHeader, JmlSpecCaseRest) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCaseBody
-
- JmlSpecCaseHeader - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCaseHeader(JmlRequiresClause[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCaseHeader
-
- JmlSpecCaseRest - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCaseRest() -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCaseRest
-
- JmlSpecCaseRestAsClauseSeq - Class in org.jmlspecs.jml4.ast
-
- JmlSpecCaseRestAsClauseSeq(JmlClause[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlSpecCaseRestAsClauseSeq
-
- JmlSpecialTypeBinding - Class in org.jmlspecs.jml4.lookup
-
- jmlSpecPath -
Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
-
- JmlSpecPath_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JMLSPECS -
Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
-
- JmlStoreRefExpression - Class in org.jmlspecs.jml4.ast
- Deprecated.
- JmlStoreRefExpression(JmlName[], boolean) -
Constructor for class org.jmlspecs.jml4.ast.JmlStoreRefExpression
- Deprecated.
- JmlStoreRefListExpression - Class in org.jmlspecs.jml4.ast
-
- JmlStoreRefListExpression(Expression[]) -
Constructor for class org.jmlspecs.jml4.ast.JmlStoreRefListExpression
-
- JmlSubtypeExpression - Class in org.jmlspecs.jml4.ast
-
- JmlSubtypeExpression(Expression, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlSubtypeExpression
- Constructs a JmlSubtypeExpression with the specified parameters.
- JMLSurrogate - Class in org.jmlspecs.jml4.rac.runtime
- The common behavior of all surrogate classes.
- JmlTbd_label -
Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
-
- JmlTestCase - Class in org.jmlspecs.eclipse.jdt.core.tests.util
-
- JmlTestCase(String) -
Constructor for class org.jmlspecs.eclipse.jdt.core.tests.util.JmlTestCase
-
- JmlTypeBodyDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlTypeBodyDeclaration(JmlIdentifier) -
Constructor for class org.jmlspecs.jml4.ast.JmlTypeBodyDeclaration
-
- JmlTypeBodyDeclaration(JmlIdentifier, Expression) -
Constructor for class org.jmlspecs.jml4.ast.JmlTypeBodyDeclaration
-
- JmlTypeDeclaration - Class in org.jmlspecs.jml4.ast
-
- JmlTypeDeclaration(CompilationResult) -
Constructor for class org.jmlspecs.jml4.ast.JmlTypeDeclaration
-
- JmlTypeExpression - Class in org.jmlspecs.jml4.ast
-
- JmlTypeExpression(TypeReference, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlTypeExpression
-
- JmlTypeofExpression - Class in org.jmlspecs.jml4.ast
-
- JmlTypeofExpression(Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlTypeofExpression
-
- JmlTypeReference - Interface in org.jmlspecs.jml4.ast
-
- JmlUnaryExpression - Class in org.jmlspecs.jml4.ast
- NOTE: operators taking a list of store ref, like \not_modified() are
modeled as unary operators -- taking a single argument consisting of the entire
list.
- JmlUnaryExpression(Expression, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlUnaryExpression
-
- JMLUnreachableError - Error in org.jmlspecs.jml4.rac.runtime
- A JML error class to report violations of
unreachable
specification statements. - JMLUnreachableError(String, String, Set<JMLAssertionError.Location>) -
Constructor for error org.jmlspecs.jml4.rac.runtime.JMLUnreachableError
-
- JmlWhileStatement - Class in org.jmlspecs.jml4.ast
-
- JmlWhileStatement(JmlLoopAnnotations, Expression, Statement, int, int) -
Constructor for class org.jmlspecs.jml4.ast.JmlWhileStatement
-
- JmlWildcard - Class in org.jmlspecs.jml4.ast
-
- JmlWildcard(int, Nullity, long) -
Constructor for class org.jmlspecs.jml4.ast.JmlWildcard
-
- JobManager - Class in org.eclipse.jdt.internal.core.search.processing
-
- JobManager() -
Constructor for class org.eclipse.jdt.internal.core.search.processing.JobManager
-
- jobmanager_filesToIndex -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- jobmanager_indexing -
Static variable in class org.eclipse.jdt.internal.core.util.Messages
-
- jobWasCancelled(IPath) -
Method in class org.eclipse.jdt.internal.core.search.indexing.IndexManager
-
- JRE_PATH -
Static variable in class org.eclipse.jdt.core.tests.eval.EvaluationSetup
-
- JRockitVMLauncher - Class in org.eclipse.jdt.core.tests.runtime
- A standard VM launcher launches an external standard VM with
the given arguments on the same machine.
- JRockitVMLauncher() -
Constructor for class org.eclipse.jdt.core.tests.runtime.JRockitVMLauncher
- Creates a new StandardVMLauncher that launches a standard VM
on the same machine.
- JSR -
Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
-
- jsr(BranchLabel) -
Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
-
- JSR_W -
Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
-
- jsr_w(BranchLabel) -
Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
-
- jumpOverBlock() -
Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionScanner
-
- jumpOverMethodBody() -
Method in class org.eclipse.jdt.internal.compiler.parser.Parser
-
- jumpOverMethodBody() -
Method in class org.eclipse.jdt.internal.compiler.parser.Scanner
-
- jumpOverMethodBody() -
Method in class org.eclipse.jdt.internal.core.util.PublicScanner
-
- jumpOverUnicodeWhiteSpace() -
Method in class org.eclipse.jdt.internal.compiler.parser.Scanner
-
- jumpOverUnicodeWhiteSpace() -
Method in class org.eclipse.jdt.internal.core.util.PublicScanner
-
|
||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | |||||||||