A B C D E F G H I J K L M N O P Q R S T U V W X Z _

P

P_HIGH - Static variable in class org.eclipse.jdt.internal.core.builder.AbstractImageBuilder
 
P_LOW - Static variable in class org.eclipse.jdt.internal.core.builder.AbstractImageBuilder
 
P_NORMAL - Static variable in class org.eclipse.jdt.internal.core.builder.AbstractImageBuilder
 
PACKAGE - Static variable in interface org.eclipse.jdt.core.dom.IBinding
Kind constant (value 1) indicating a package binding.
PACKAGE - Static variable in interface org.eclipse.jdt.core.eval.ICodeSnippetRequestor
Indicates a compilation problem related to a package declaration.
PACKAGE - Static variable in interface org.eclipse.jdt.core.jdom.IDOMNode
Deprecated. Node type constant indicating a package declaration.
PACKAGE - Static variable in interface org.eclipse.jdt.core.search.IJavaSearchConstants
The searched element is a package.
PACKAGE - Static variable in interface org.eclipse.jdt.internal.codeassist.impl.Keywords
 
PACKAGE - Static variable in class org.eclipse.jdt.internal.compiler.lookup.Binding
 
PACKAGE_DECLARATION - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type PackageDeclaration.
PACKAGE_DECLARATION - Static variable in interface org.eclipse.jdt.core.IJavaElement
Constant representing a package declaration within a compilation unit.
PACKAGE_FILE_NAME - Static variable in interface org.eclipse.jdt.internal.core.JavadocConstants
 
PACKAGE_FRAGMENT - Static variable in interface org.eclipse.jdt.core.IJavaElement
Constant representing a package fragment.
PACKAGE_FRAGMENT_ROOT - Static variable in interface org.eclipse.jdt.core.IJavaElement
Constant representing a package fragment root.
PACKAGE_INFO_NAME - Static variable in class org.eclipse.jdt.core.tests.compiler.regression.AbstractRegressionTest
 
PACKAGE_INFO_NAME - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TypeConstants
 
PACKAGE_NAME - Static variable in interface org.eclipse.jdt.internal.eval.EvaluationConstants
 
PACKAGE_PROPERTY - Static variable in class org.eclipse.jdt.core.dom.CompilationUnit
The "package" structural property of this node type.
PACKAGE_REF - Static variable in class org.eclipse.jdt.core.CompletionProposal
Completion is a reference to a package.
PACKAGE_TAGS - Static variable in interface org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants
 
packageBinding - Variable in class org.eclipse.jdt.internal.compiler.ast.JavadocQualifiedTypeReference
 
packageBinding - Variable in class org.eclipse.jdt.internal.compiler.ast.JavadocSingleTypeReference
 
PackageBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
PackageBinding(char[], LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.PackageBinding
 
PackageBinding(char[][], PackageBinding, LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.PackageBinding
 
PackageBinding(LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.PackageBinding
 
PackageCollidesWithType - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
packageCollidesWithType(CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
PackageDeclaration - Class in org.eclipse.jdt.core.dom
Package declaration AST node type.
PackageDeclaration - Class in org.eclipse.jdt.internal.core
 
PackageDeclarationLocator - Class in org.eclipse.jdt.internal.core.search.matching
 
PackageDeclarationLocator(PackageDeclarationPattern) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PackageDeclarationLocator
 
PackageDeclarationMatch - Class in org.eclipse.jdt.core.search
A Java search match that represents a package declaration.
PackageDeclarationMatch(IJavaElement, int, int, int, SearchParticipant, IResource) - Constructor for class org.eclipse.jdt.core.search.PackageDeclarationMatch
Creates a new package declaration match.
PackageDeclarationPattern - Class in org.eclipse.jdt.internal.core.search.matching
 
PackageDeclarationPattern(char[], int) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PackageDeclarationPattern
 
PackageFragment - Class in org.eclipse.jdt.internal.core
 
PackageFragmentRoot - Class in org.eclipse.jdt.internal.core
 
packageFragmentRoot(String, int, String) - Method in class org.eclipse.jdt.internal.core.search.AbstractJavaSearchScope
Returns the package fragment root corresponding to a given resource path.
packageFragmentRoot(String, int, String) - Method in class org.eclipse.jdt.internal.core.search.JavaSearchScope
 
packageFragmentRoot(String, int, String) - Method in class org.eclipse.jdt.internal.core.search.JavaWorkspaceScope
 
packageIndex - Variable in class org.eclipse.jdt.internal.core.search.matching.QualifiedTypeDeclarationPattern
 
PackageInfoTest - Class in org.eclipse.jdt.core.tests.builder
 
PackageInfoTest(String) - Constructor for class org.eclipse.jdt.core.tests.builder.PackageInfoTest
 
PackageIsNotExpectedPackage - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
packageIsNotExpectedPackage(CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
packageName - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
packageName(IPath, String, String) - Static method in class org.eclipse.jdt.internal.core.util.Util
Converts the given relative path into a package name.
PackageReferenceLocator - Class in org.eclipse.jdt.internal.core.search.matching
 
PackageReferenceLocator(PackageReferencePattern) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PackageReferenceLocator
 
PackageReferenceMatch - Class in org.eclipse.jdt.core.search
A Java search match that represents a package reference.
PackageReferenceMatch(IJavaElement, int, int, int, boolean, SearchParticipant, IResource) - Constructor for class org.eclipse.jdt.core.search.PackageReferenceMatch
Creates a new package reference match.
PackageReferencePattern - Class in org.eclipse.jdt.internal.core.search.matching
 
PackageReferencePattern(char[], int) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PackageReferencePattern
 
PackageTests - Class in org.eclipse.jdt.core.tests.builder
 
PackageTests(String) - Constructor for class org.eclipse.jdt.core.tests.builder.PackageTests
 
PAGE_FAULTS - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
PAGE_SIZE - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
page_width - Variable in class org.eclipse.jdt.internal.formatter.DefaultCodeFormatterOptions
 
pageWidth - Variable in class org.eclipse.jdt.internal.formatter.Scribe
 
PARAM_TAG_EXPECTED_ORDER - Static variable in interface org.eclipse.jdt.internal.compiler.parser.JavadocTagConstants
 
PARAMETER - Static variable in class org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration
 
PARAMETER_DECLARATION_TYPE_REFERENCE - Static variable in interface org.eclipse.jdt.core.search.IJavaSearchConstants
Return only type references used as the type of a method parameter declaration.
PARAMETER_PROPERTY - Static variable in class org.eclipse.jdt.core.dom.EnhancedForStatement
The "parameter" structural property of this node type.
ParameterAnnotation - Class in org.eclipse.jdt.internal.core.util
Default implementation of IParameterAnnotation
ParameterAnnotation(byte[], IConstantPool, int) - Constructor for class org.eclipse.jdt.internal.core.util.ParameterAnnotation
Constructor for Annotation.
ParameterAssignment - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParameterAssignment - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
parameterAssignment(LocalVariableBinding, ASTNode) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
ParameterBoundMismatch - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.ProblemReasons
 
parameterCompatibilityLevel(MethodBinding, TypeBinding[]) - Method in class org.eclipse.jdt.internal.compiler.lookup.Scope
 
parameterCount - Variable in class org.eclipse.jdt.internal.core.search.matching.ConstructorPattern
 
parameterCount - Variable in class org.eclipse.jdt.internal.core.search.matching.MethodPattern
 
parameterDeclarationToString(AbstractMethodDeclaration) - Static method in class org.jmlspecs.jml4.rac.RacTranslator
Returns the formal parameter declaration of the given method as a string.
parameterDeclarationToString(MethodBinding) - Static method in class org.jmlspecs.jml4.rac.RacTranslator
Returns the formal parameter declaration of the given method as a string.
PARAMETERIZED_TYPE - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type ParameterizedType.
PARAMETERIZED_TYPE - Static variable in class org.eclipse.jdt.internal.compiler.lookup.Binding
 
ParameterizedConstructorArgumentTypeMismatch - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParameterizedFieldBinding - Class in org.eclipse.jdt.internal.compiler.lookup
Binding denoting a field after type substitution got performed.
ParameterizedFieldBinding(ParameterizedTypeBinding, FieldBinding) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedFieldBinding
 
ParameterizedGenericMethodBinding - Class in org.eclipse.jdt.internal.compiler.lookup
Binding denoting a generic method after type parameter substitutions got performed.
ParameterizedGenericMethodBinding(MethodBinding, RawTypeBinding, LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
Create raw generic method for raw type (double substitution from type vars with raw type arguments, and erasure of method variables) Only invoked for non-static generic methods of raw type
ParameterizedGenericMethodBinding(MethodBinding, TypeBinding[], LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
Create method of parameterized type, substituting original parameters with type arguments.
parameterizedMemberTypeMissingArguments(ASTNode, TypeBinding) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
ParameterizedMethodArgumentTypeMismatch - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParameterizedMethodBinding - Class in org.eclipse.jdt.internal.compiler.lookup
Binding denoting a method after type parameter substitutions got performed.
ParameterizedMethodBinding(ParameterizedTypeBinding, MethodBinding) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
Create method of parameterized type, substituting original parameters/exception/return type with type arguments.
ParameterizedMethodBinding(ReferenceBinding, MethodBinding, char[][], LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
Create method of parameterized type, substituting original parameters/exception/return type with type arguments.
ParameterizedMethodBinding() - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
 
ParameterizedMethodTypeMismatch - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.ProblemReasons
 
ParameterizedQualifiedTypeReference - Class in org.eclipse.jdt.internal.compiler.ast
Syntactic representation of a reference to a generic type.
ParameterizedQualifiedTypeReference(char[][], TypeReference[][], int, long[]) - Constructor for class org.eclipse.jdt.internal.compiler.ast.ParameterizedQualifiedTypeReference
 
ParameterizedSingleTypeReference - Class in org.eclipse.jdt.internal.compiler.ast
Syntactic representation of a reference to a generic type.
ParameterizedSingleTypeReference(char[], TypeReference[], int, long) - Constructor for class org.eclipse.jdt.internal.compiler.ast.ParameterizedSingleTypeReference
 
ParameterizedType - Class in org.eclipse.jdt.core.dom
Type node for a parameterized type (added in JLS3 API).
ParameterizedTypeBinding - Class in org.eclipse.jdt.internal.compiler.lookup
A parameterized type encapsulates a type with type arguments,
ParameterizedTypeBinding(ReferenceBinding, TypeBinding[], ReferenceBinding, LookupEnvironment) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
 
ParameterMismatch - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
parameterNames - Variable in class org.eclipse.jdt.internal.compiler.ISourceElementRequestor.MethodInfo
 
parameterQualifications - Variable in class org.eclipse.jdt.internal.core.search.matching.ConstructorPattern
 
parameterQualifications - Variable in class org.eclipse.jdt.internal.core.search.matching.MethodPattern
 
parameters() - Method in class org.eclipse.jdt.core.dom.MethodDeclaration
Returns the live ordered list of method parameter declarations for this method declaration.
parameters() - Method in class org.eclipse.jdt.core.dom.MethodRef
Returns the live ordered list of method parameter references for this method reference.
parameters - Variable in class org.eclipse.jdt.internal.compiler.lookup.MethodBinding
 
parameters - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplCallExpression
 
PARAMETERS_PROPERTY - Static variable in class org.eclipse.jdt.core.dom.MethodDeclaration
The "parameters" structural property of this node type).
PARAMETERS_PROPERTY - Static variable in class org.eclipse.jdt.core.dom.MethodRef
The "parameters" structural property of this node type.
parameterSimpleNames - Variable in class org.eclipse.jdt.internal.core.search.matching.ConstructorPattern
 
parameterSimpleNames - Variable in class org.eclipse.jdt.internal.core.search.matching.MethodPattern
 
parameterTypes - Variable in class org.eclipse.jdt.internal.compiler.ISourceElementRequestor.MethodInfo
 
paramReferences - Variable in class org.eclipse.jdt.internal.compiler.ast.Javadoc
 
paramTypeParameters - Variable in class org.eclipse.jdt.internal.compiler.ast.Javadoc
 
parent - Variable in class org.eclipse.jdt.internal.compiler.flow.FlowContext
 
parent - Variable in class org.eclipse.jdt.internal.compiler.lookup.Scope
 
parent - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredElement
 
PARENT_READ_ONLY - Static variable in interface org.eclipse.core.resources.IResourceStatus
Status code constant (value 277) indicating that the parent file in the file system is marked as read-only.
PARENTHESIZED_EXPRESSION - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type ParenthesizedExpression.
ParenthesizedExpression - Class in org.eclipse.jdt.core.dom
Parenthesized expression AST node type.
ParenthesizedMASK - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
ParenthesizedSHIFT - Static variable in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
parse(ICompilationUnit, CompilationResult, int) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
parse(ICompilationUnit, CompilationResult, int, int) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionParser
 
parse(ConstructorDeclaration, CompilationUnitDeclaration, boolean) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse(FieldDeclaration, TypeDeclaration, CompilationUnitDeclaration, char[]) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse(ICompilationUnit, CompilationResult) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse(ICompilationUnit, CompilationResult, int, int) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse(Initializer, TypeDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse(MethodDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parse() - Method in class org.eclipse.jdt.internal.core.util.BindingKeyParser
 
parse(boolean) - Method in class org.eclipse.jdt.internal.core.util.BindingKeyParser
 
parse(int, int) - Method in class org.eclipse.jdt.internal.formatter.FormatterCommentParser
 
PARSE - Static variable in interface org.jmlspecs.jml4.compiler.JmlConstants
 
parseBlockStatements(ConstructorDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
parseBlockStatements(AbstractMethodDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.impl.AssistParser
Parse the block statements inside the given method declaration and try to complete at the cursor location.
parseBlockStatements(ConstructorDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.impl.AssistParser
Parse the block statements inside the given constructor declaration and try to complete at the cursor location.
parseBlockStatements(Initializer, TypeDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.impl.AssistParser
Parse the block statements inside the given initializer and try to complete at the cursor location.
parseBlockStatements(MethodDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.impl.AssistParser
Parse the block statements inside the given method declaration and try to complete at the cursor location.
parseBodies(CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.core.search.matching.MatchLocatorParser
Parses the method bodies in the given compilation unit
parseClassBodyDeclarations(char[], int, int, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parseClassBodyDeclarations(char[], Map, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseClassBodyDeclarations(char[], int, int, Map, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseCompilationUnit(ICompilationUnit, boolean) - Static method in class org.eclipse.jdt.core.dom.AST
Deprecated. Use ASTParser instead.
parseCompilationUnit(IClassFile, boolean) - Static method in class org.eclipse.jdt.core.dom.AST
Deprecated. Use ASTParser instead.
parseCompilationUnit(char[], String, IJavaProject) - Static method in class org.eclipse.jdt.core.dom.AST
Deprecated. Use ASTParser instead.
parseCompilationUnit(char[]) - Static method in class org.eclipse.jdt.core.dom.AST
Deprecated. Use ASTParser instead.
parseCompilationUnit(ICompilationUnit) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseCompilationUnit(ICompilationUnit, boolean, IProgressMonitor) - Method in class org.eclipse.jdt.internal.compiler.SourceElementParser
 
parseCompilationUnit(char[], Map, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseConstructor(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseDB(String) - Method in class org.eclipse.test.internal.performance.db.Variations
 
parseError(int, int, int, char[], String, String[]) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorDeleteToken(int, int, int, char[], String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorDeleteTokens(int, int) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInsertAfterToken(int, int, int, char[], String, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInsertBeforeToken(int, int, int, char[], String, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInsertToComplete(int, int, String, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInsertToCompletePhrase(int, int, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInsertToCompleteScope(int, int, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorInvalidToken(int, int, int, char[], String, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorMergeTokens(int, int, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorMisplacedConstruct(int, int) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorNoSuggestion(int, int, int, char[], String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorNoSuggestionForTokens(int, int) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorReplaceToken(int, int, int, char[], String, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorReplaceTokens(int, int, String) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseErrorUnexpectedEnd(int, int) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
parseExpression(char[], int, int, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parseExpression(char[], Map, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseExpression(char[], int, int, Map, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseField(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseImport(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseInitializer(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseInt(char[], int, int) - Static method in class org.eclipse.jdt.core.compiler.CharOperation
Return the int value represented by the designated subpart of array.
parseInt(String, int) - Static method in class org.jmlspecs.jml4.esc.util.Utils
 
parseLiteralExpressionsAsConstants - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
parseMemberValue(char[], int, int, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parseMethod(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parseMethods(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
parsePackage(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
parsePairs(String) - Method in class org.eclipse.test.internal.performance.db.Variations
 
parser - Variable in class org.eclipse.jdt.internal.compiler.Compiler
 
Parser - Class in org.eclipse.jdt.internal.compiler.parser
 
Parser(ProblemReporter, boolean) - Constructor for class org.eclipse.jdt.internal.compiler.parser.Parser
 
parser() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredElement
 
parser - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
parser_corruptedFile - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_endOfConstructor - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_endOfFile - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_endOfInitializer - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_endOfMethod - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_incorrectPath - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_missingFile - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_moveFiles - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_regularParse - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
parser_syntaxRecovery - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
ParserBasicInformation - Interface in org.eclipse.jdt.internal.compiler.parser
 
ParserTest - Class in org.eclipse.jdt.core.tests.compiler.parser
 
ParserTest(String) - Constructor for class org.eclipse.jdt.core.tests.compiler.parser.ParserTest
 
parseSomeStatements(int, int, int, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
parseStatements(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration
Fill up the method body with statement
parseStatements(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.AnnotationMethodDeclaration
 
parseStatements(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.Clinit
 
parseStatements(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.ConstructorDeclaration
 
parseStatements(Parser, TypeDeclaration, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.Initializer
 
parseStatements(Parser, CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
 
parseStatements(ReferenceContext, int, int, TypeDeclaration[], CompilationUnitDeclaration) - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
parseStatements(char[], Map, boolean, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseStatements(char[], int, int, Map, boolean, boolean) - Method in class org.eclipse.jdt.internal.core.util.CodeSnippetParsingUtil
 
parseThreshold - Variable in class org.eclipse.jdt.internal.compiler.Compiler
 
parseTime - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerStats
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredAnnotation
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredBlock
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredElement
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredField
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredImport
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredLocalVariable
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredMethod
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredStatement
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredType
 
parseTree() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredUnit
 
parseType(char[]) - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
 
ParsingError - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorDeleteToken - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorDeleteTokens - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInsertToComplete - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInsertToCompletePhrase - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInsertToCompleteScope - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInsertTokenAfter - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInsertTokenBefore - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorInvalidToken - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorMergeTokens - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorMisplacedConstruct - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorNoSuggestion - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorNoSuggestionForTokens - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorOnKeyword - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorOnKeywordNoSuggestion - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorReplaceTokens - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
ParsingErrorUnexpectedEOF - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
PARTICIPANT - Static variable in class org.eclipse.jdt.core.tests.builder.TestBuilderParticipant
 
PARTICIPANT - Static variable in class org.eclipse.jdt.core.tests.model.TestCompilationParticipant
 
ParticipantBuildTests - Class in org.eclipse.jdt.core.tests.builder
 
ParticipantBuildTests(String) - Constructor for class org.eclipse.jdt.core.tests.builder.ParticipantBuildTests
 
PARTNER_NOT_REGISTERED - Static variable in interface org.eclipse.core.resources.IResourceStatus
Status code constant (value 375) indicating that the sync partner is not registered with the workspace synchronizer.
PassedBoundCheck - Static variable in interface org.eclipse.jdt.internal.compiler.lookup.TagBits
 
PassifyVisitor - Class in org.jmlspecs.jml4.esc.gc
 
PassifyVisitor() - Constructor for class org.jmlspecs.jml4.esc.gc.PassifyVisitor
 
path - Variable in class org.eclipse.jdt.internal.core.ClasspathEntry
The meaning of the path of a classpath entry depends on its entry kind: Source code in the current project (CPE_SOURCE) - The path associated with this entry is the absolute path to the root folder.
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.ConstraintsTest
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.DbcTestCompiler
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.SetStatementTest
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5BasicTests
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.jml5.Jml5StyleNullity
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.nonnull.Jml5StyleNullity
 
path2jml4annotations - Variable in class org.jmlspecs.eclipse.jdt.core.tests.rac.RacTestCompiler
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.AssignableTest
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.NowarnTest
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.OldTest
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.dbc.TypeTest
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.EuclidTests
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.esc.casestudy.FactorialTests
 
path2jml4runtime - Variable in class org.jmlspecs.eclipse.jdt.core.tests.rac.RacTestCompiler
 
path_mustBeAbsolute - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
path_nullPath - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
PATH_OCCUPIED - Static variable in interface org.eclipse.core.resources.IResourceStatus
Status code constant (value 374) indicating that the path of a resource being created is occupied by an existing resource of a different type.
PATH_OUTSIDE_PROJECT - Static variable in interface org.eclipse.jdt.core.IJavaModelStatusConstants
Status constant indicating that a path outside of the project was supplied to the operation.
PathCollector - Class in org.eclipse.jdt.internal.core.search
Collects the resource paths reported by a client to this search requestor.
PathCollector() - Constructor for class org.eclipse.jdt.internal.core.search.PathCollector
 
pathMatch(char[], char[], boolean, char) - Static method in class org.eclipse.jdt.core.compiler.CharOperation
Answers true if the pattern matches the filepath using the pathSepatator, false otherwise.
paths - Variable in class org.eclipse.jdt.internal.core.search.PathCollector
 
pathvar_beginLetter - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathvar_invalidChar - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathvar_invalidValue - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathvar_length - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathvar_undefined - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathvar_whitespace - Static variable in class org.eclipse.core.internal.utils.Messages
 
pathVariableChanged(IPathVariableChangeEvent) - Method in interface org.eclipse.core.resources.IPathVariableChangeListener
Notification that a path variable has changed.
PathVariableChangeEvent - Class in org.eclipse.core.internal.events
Describes a change in path variable.
PathVariableChangeEvent(IPathVariableManager, String, IPath, int) - Constructor for class org.eclipse.core.internal.events.PathVariableChangeEvent
Constructor for this class.
PathVariableManager - Class in org.eclipse.core.internal.resources
Core's implementation of IPathVariableManager.
PathVariableManager() - Constructor for class org.eclipse.core.internal.resources.PathVariableManager
Constructor for the class.
pattern - Variable in class org.eclipse.jdt.internal.compiler.env.AccessRule
 
pattern - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
PATTERN_FLAVOR - Static variable in class org.eclipse.jdt.internal.core.search.matching.PatternLocator
 
PATTERN_MATCH - Static variable in interface org.eclipse.jdt.core.search.IJavaSearchConstants
Deprecated. Use SearchPattern.R_PATTERN_MATCH instead.
patternLocator - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
PatternLocator - Class in org.eclipse.jdt.internal.core.search.matching
 
PatternLocator(SearchPattern) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PatternLocator
 
patternLocator(SearchPattern) - Static method in class org.eclipse.jdt.internal.core.search.matching.PatternLocator
 
PatternSearchJob - Class in org.eclipse.jdt.internal.core.search
 
PatternSearchJob(SearchPattern, SearchParticipant, IJavaSearchScope, IndexQueryRequestor) - Constructor for class org.eclipse.jdt.internal.core.search.PatternSearchJob
 
pauseAfterBuild - Static variable in class org.eclipse.core.tests.internal.builders.ClearMarkersBuilder
 
pc - Variable in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrame
 
pc - Variable in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.ExceptionMarker
 
pc - Variable in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.StackDepthMarker
 
pc - Variable in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream.StackMarker
 
pcToSourceMap - Variable in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
pcToSourceMapSize - Variable in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
peek() - Method in class org.eclipse.core.internal.utils.Queue
 
peek(Object) - Method in class org.eclipse.jdt.internal.core.util.LRUCache
Answers the value in the cache at the given key.
peekDeclaringType() - Method in class org.eclipse.jdt.internal.compiler.SourceElementNotifier.LocalDeclarationVisitor
 
peekTail() - Method in class org.eclipse.core.internal.utils.Queue
 
PEER - Static variable in class org.jmlspecs.jml4.ast.JmlModifier
 
pendingArgument - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredBlock
 
pendingErrors - Variable in class org.eclipse.jdt.internal.compiler.batch.Main
 
pendingSpace - Variable in class org.eclipse.jdt.internal.formatter.Location
 
pendingSpace - Variable in class org.eclipse.jdt.internal.formatter.Scribe
 
pendingTypeParameters - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredType
 
pendingTypeParametersStart - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredType
 
PERF - Static variable in class org.eclipse.jdt.internal.codeassist.CompletionEngine
 
PERF - Static variable in class org.eclipse.jdt.internal.codeassist.SelectionEngine
 
PERF - Static variable in class org.eclipse.jdt.internal.core.DeltaProcessor
 
PERF - Static variable in class org.eclipse.jdt.internal.core.ReconcileWorkingCopyOperation
 
PERF_CONTAINER_INITIALIZER - Static variable in class org.eclipse.jdt.internal.core.JavaModelManager
 
PERF_VARIABLE_INITIALIZER - Static variable in class org.eclipse.jdt.internal.core.JavaModelManager
 
perfLog(String) - Method in class org.eclipse.core.tests.resources.OldCorePerformanceTest
Logs or writes string to console.
perform(JmlMethodSpecification, TypeReference[]) - Method in class org.jmlspecs.jml4.rac.DesugarSpec
Returns a desugared specification of the given method specification.
Performance - Class in org.eclipse.test.performance
Helper for performance measurements.
PerformanceMeter - Class in org.eclipse.test.performance
A PerformanceMeter is used for doing repeated measurements of an arbitrary operation.
PerformanceMeter() - Constructor for class org.eclipse.test.performance.PerformanceMeter
 
PerformanceMeterFactory - Class in org.eclipse.test.internal.performance
 
PerformanceMeterFactory() - Constructor for class org.eclipse.test.internal.performance.PerformanceMeterFactory
 
PerformanceMeterFactoryTest - Class in org.eclipse.test.internal.performance.tests
 
PerformanceMeterFactoryTest() - Constructor for class org.eclipse.test.internal.performance.tests.PerformanceMeterFactoryTest
 
PerformanceMonitor - Class in org.eclipse.perfmsr.core
Some natives for PerformanceMonitorWindows.
PerformanceMonitor() - Constructor for class org.eclipse.perfmsr.core.PerformanceMonitor
 
PerformanceResults - Class in org.eclipse.test.internal.performance.results
Root class to handle performance results.
PerformanceResults(String, String, String, PrintStream) - Constructor for class org.eclipse.test.internal.performance.results.PerformanceResults
 
PerformanceSessionTestSuite - Class in org.eclipse.core.tests.session
Runs perfomance test cases multiple times (if they don't fail), enabling assertions for the first run.
PerformanceSessionTestSuite(String, int) - Constructor for class org.eclipse.core.tests.session.PerformanceSessionTestSuite
 
PerformanceSessionTestSuite(String, int, Class) - Constructor for class org.eclipse.core.tests.session.PerformanceSessionTestSuite
 
PerformanceSessionTestSuite(String, int, Class, String) - Constructor for class org.eclipse.core.tests.session.PerformanceSessionTestSuite
 
PerformanceSessionTestSuite(String, int, String) - Constructor for class org.eclipse.core.tests.session.PerformanceSessionTestSuite
 
PerformanceTestCase - Class in org.eclipse.test.performance
A PerformanceTestCase is a convenience class that takes care of managing a PerformanceMeter.
PerformanceTestCase() - Constructor for class org.eclipse.test.performance.PerformanceTestCase
Constructs a performance test case.
PerformanceTestCase(String) - Constructor for class org.eclipse.test.performance.PerformanceTestCase
Constructs a performance test case with the given name.
PerformanceTestPlugin - Class in org.eclipse.test.internal.performance
 
PerformanceTestPlugin() - Constructor for class org.eclipse.test.internal.performance.PerformanceTestPlugin
The constructor.
PerformanceTestResult - Class in org.eclipse.core.tests.harness
Test result for a performance test.
PerformanceTestResult() - Constructor for class org.eclipse.core.tests.harness.PerformanceTestResult
 
PerformanceTestResult(PrintWriter) - Constructor for class org.eclipse.core.tests.harness.PerformanceTestResult
 
PerformanceTestRunner - Class in org.eclipse.core.tests.harness
Helper class for executing a performance test.
PerformanceTestRunner() - Constructor for class org.eclipse.core.tests.harness.PerformanceTestRunner
 
PerformanceTestSuite - Class in org.eclipse.jdt.core.tests.junit.extension
 
PerformanceTestSuite(Class) - Constructor for class org.eclipse.jdt.core.tests.junit.extension.PerformanceTestSuite
Constructs a TestSuite from the given class.
PerformanceTestSuite(String) - Constructor for class org.eclipse.jdt.core.tests.junit.extension.PerformanceTestSuite
 
performApply() - Method in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
 
performCompilation() - Method in class org.eclipse.jdt.internal.compiler.batch.Main
 
performConcurrentJob(IJob, int, IProgressMonitor) - Method in class org.eclipse.jdt.internal.core.search.processing.JobManager
This API is allowing to run one job in concurrence with background processing.
performFinish() - Method in class org.jmlspecs.eclipse.jdt.ui.NewJmlSpecWizard
 
performFragmentEffect() - Method in class org.eclipse.jdt.internal.formatter.align.Alignment
 
performMethodsFullRecovery - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
performOk() - Method in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
 
performStatementsRecovery - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
performTest(Object[][]) - Method in class org.eclipse.core.tests.resources.TestPerformer
 
PERIOD - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
persistLineSeparatorPositions() - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
 
PhantomComparator - Class in org.eclipse.core.tests.internal.watson
Used in conjunction with PluggableDeltaLogicTests
PhantomElementData - Class in org.eclipse.core.tests.internal.watson
Used in conjunction with PluggableDeltaLogicTests
PhantomElementData(String, boolean) - Constructor for class org.eclipse.core.tests.internal.watson.PhantomElementData
Creates a new element info for either a phantom or real element
PHYSICAL_AVAIL - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
PHYSICAL_TOTAL - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
PI_HARNESS - Static variable in class org.eclipse.core.tests.harness.CoreTest
 
PI_RESOURCES - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Unique identifier constant (value "org.eclipse.core.resources") for the standard Resources plug-in.
PI_RESOURCES_TESTS - Static variable in class org.eclipse.core.tests.resources.AutomatedTests
 
PI_RESOURCES_TESTS - Static variable in class org.eclipse.core.tests.resources.content.ContentTypeTest
 
PI_RESOURCES_TESTS - Static variable in class org.eclipse.core.tests.resources.ResourceTest
 
PIPE - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
pkg - Variable in class org.eclipse.jdt.internal.core.search.matching.TypeDeclarationPattern
 
PKG_DECL_PATTERN - Static variable in interface org.eclipse.jdt.internal.core.search.indexing.IIndexConstants
 
PKG_RAC_RUNTIME - Static variable in interface org.jmlspecs.jml4.rac.RacConstants
 
PKG_REF_PATTERN - Static variable in interface org.eclipse.jdt.internal.core.search.indexing.IIndexConstants
 
pkgName - Variable in class org.eclipse.jdt.internal.core.search.matching.SuperTypeReferencePattern
 
place() - Method in class org.eclipse.jdt.internal.compiler.codegen.BranchLabel
 
place() - Method in class org.eclipse.jdt.internal.compiler.codegen.CaseLabel
 
place() - Method in class org.eclipse.jdt.internal.compiler.codegen.ExceptionLabel
 
place() - Method in class org.eclipse.jdt.internal.compiler.codegen.Label
 
placeAllAnyExceptionHandler() - Method in class org.eclipse.jdt.internal.compiler.ast.SubRoutineStatement
 
placeEnd() - Method in class org.eclipse.jdt.internal.compiler.codegen.ExceptionLabel
 
placeStart() - Method in class org.eclipse.jdt.internal.compiler.codegen.ExceptionLabel
 
PlatformURLResourceConnection - Class in org.eclipse.core.internal.resources
Platform URL support platform:/resource// maps to resource in current workspace
PlatformURLResourceConnection(URL) - Constructor for class org.eclipse.core.internal.resources.PlatformURLResourceConnection
 
PLUGIN_ID - Static variable in class org.eclipse.jdt.core.JavaCore
The plug-in identifier of the Java core support (value "org.eclipse.jdt.core").
PLUGIN_ID - Static variable in class org.eclipse.test.internal.performance.PerformanceTestPlugin
The plug-in ID
PLUGIN_ID - Static variable in class org.jmlspecs.eclipse.jdt.core.tests.nonnull.Activator
 
PLUGIN_ID - Static variable in class org.jmlspecs.eclipse.jdt.ui.Activator
 
PLUS - Static variable in class org.eclipse.jdt.core.dom.InfixExpression.Operator
Addition (or string concatenation) "+" operator.
PLUS - Static variable in class org.eclipse.jdt.core.dom.PrefixExpression.Operator
Unary plus "+" operator.
PLUS - Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
 
PLUS - Static variable in class org.jmlspecs.jml4.esc.gc.lang.expr.CfgOperator
 
PLUS - Static variable in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleOperator
 
PLUS - Static variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredOperator
 
PLUS - Static variable in class org.jmlspecs.jml4.esc.vc.lang.VcOperator
 
PLUS - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
Plus() - Static method in class org.jmlspecs.jml4.fspv.theory.TheoryOperator
 
PLUS_ASSIGN - Static variable in class org.eclipse.jdt.core.dom.Assignment.Operator
+= operator.
PLUS_PLUS - Static variable in interface org.eclipse.jdt.internal.compiler.ast.OperatorIds
 
Policy - Class in org.eclipse.core.internal.utils
 
Policy() - Constructor for class org.eclipse.core.internal.utils.Policy
 
Policy - Class in org.eclipse.core.resources.ant
 
Policy() - Constructor for class org.eclipse.core.resources.ant.Policy
 
Policy - Class in org.eclipse.core.tests.internal.filesystem.ram
 
policy - Variable in class org.eclipse.jdt.internal.compiler.problem.ProblemHandler
 
PollingMonitor - Class in org.eclipse.core.internal.refresh
The PollingMonitor is an IRefreshMonitor that polls the file system rather than registering natively for call-backs.
PollingMonitor(RefreshManager) - Constructor for class org.eclipse.core.internal.refresh.PollingMonitor
Creates a new polling monitor.
POOL_SIZE - Static variable in class org.eclipse.jdt.internal.compiler.ClassFilePool
 
poolContent - Variable in class org.eclipse.jdt.internal.compiler.codegen.ConstantPool
 
POP - Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
 
pop() - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
pop() - Method in class org.jmlspecs.samples.stacks.BoundedStack
 
pop() - Method in interface org.jmlspecs.samples.stacks.BoundedStackInterface
 
POP2 - Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
 
pop2() - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
popDeclaringType() - Method in class org.eclipse.jdt.internal.compiler.SourceElementNotifier.LocalDeclarationVisitor
 
popExpression() - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
popNullityStack() - Method in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
 
popNullityStack(int) - Method in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
 
popStateIndex() - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
 
popStatement() - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
popStatements() - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
popTypeName() - Method in class org.eclipse.jdt.internal.core.search.indexing.SourceIndexerRequestor
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.CfgVarDecl
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.expr.CfgVariable
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleVariable
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleVarDecl
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredVariable
 
pos - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredVarDecl
 
pos - Variable in class org.jmlspecs.jml4.esc.vc.lang.VcVarDecl
 
pos - Variable in class org.jmlspecs.jml4.esc.vc.lang.VcVariable
 
pos - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplTheory
 
POS_NOT_SET - Static variable in class org.eclipse.jdt.internal.compiler.codegen.Label
 
position - Variable in class org.eclipse.jdt.internal.compiler.ast.ArrayReference
 
position - Variable in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
position - Variable in class org.eclipse.jdt.internal.compiler.codegen.Label
 
position - Variable in class org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
 
position - Variable in class org.jmlspecs.jml4.ast.JmlName
 
position - Variable in class org.jmlspecs.jml4.esc.gc.lang.expr.CfgArrayReference
 
position - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleArrayReference
 
position - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredArrayReference
 
position - Variable in class org.jmlspecs.jml4.esc.vc.lang.VcArrayReference
 
POSSIBLE_MATCH - Static variable in class org.eclipse.jdt.internal.core.search.matching.PatternLocator
 
PossibleAccidentalBooleanAssignment - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
possibleAccidentalBooleanAssignment(Assignment) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
possibleFallThroughCase(CaseStatement) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
possibleKeywords - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnSingleNameReference
 
possibleLabels - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnBrankStatementLabel
 
PossibleMatch - Class in org.eclipse.jdt.internal.core.search.matching
 
PossibleMatch(MatchLocator, IResource, Openable, SearchDocument, boolean) - Constructor for class org.eclipse.jdt.internal.core.search.matching.PossibleMatch
 
PossibleMatchSet - Class in org.eclipse.jdt.internal.core.search.matching
A set of PossibleMatches that is sorted by package fragment roots.
PossibleMatchSet() - Constructor for class org.eclipse.jdt.internal.core.search.matching.PossibleMatchSet
 
POST - Static variable in class org.jmlspecs.jml4.esc.gc.lang.KindOfAssertion
 
post - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleMessageSend
 
post - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMessageSend
 
post - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMethodSpecification
 
post - Variable in class org.jmlspecs.jml4.fspv.theory.TheoryLemma
 
POST_AUTO_BUILD - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Deprecated. This event type has been renamed to POST_BUILD
POST_BUILD - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating an after-the-fact report of creations, deletions, and modifications to one or more resources expressed as a hierarchical resource delta as returned by getDelta.
POST_CHANGE - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating an after-the-fact report of creations, deletions, and modifications to one or more resources expressed as a hierarchical resource delta as returned by getDelta.
POST_CHANGE - Static variable in class org.eclipse.jdt.core.ElementChangedEvent
Event type constant (bit mask) indicating an after-the-fact report of creations, deletions, and modifications to one or more Java element(s) expressed as a hierarchical java element delta as returned by getDelta().
POST_RECONCILE - Static variable in class org.eclipse.jdt.core.ElementChangedEvent
Event type constant (bit mask) indicating an after-the-fact report of creations, deletions, and modifications to one or more Java element(s) expressed as a hierarchical java element delta as returned by getDelta.
POST_VAR_NAME - Static variable in class org.jmlspecs.jml4.esc.GcTranslator
 
postcondition - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareTriplet
 
postcondition - Variable in class org.jmlspecs.jml4.fspv.theory.ast.TheoryMethodDeclaration
 
POSTCONDITION - Static variable in class org.jmlspecs.jml4.rac.runtime.JMLChecker
 
PostconditionMethod - Class in org.jmlspecs.jml4.rac
A class for generating postcondition check methods.
PostconditionMethod(JmlTypeDeclaration, AbstractMethodDeclaration, String) - Constructor for class org.jmlspecs.jml4.rac.PostconditionMethod
Creates a new postconidition method generator for the given method of the given type.
PostconditionTranslator - Class in org.jmlspecs.jml4.rac
 
PostconditionTranslator(JmlTypeDeclaration, VariableGenerator) - Constructor for class org.jmlspecs.jml4.rac.PostconditionTranslator
Creates a new postcondition translator for the given type.
postConversionType(Scope) - Method in class org.eclipse.jdt.internal.compiler.ast.Expression
Returns the type of the expression after required implicit conversions.
postConversionType(Scope) - Method in class org.eclipse.jdt.internal.compiler.ast.FieldReference
 
postConversionType(Scope) - Method in class org.eclipse.jdt.internal.compiler.ast.MessageSend
 
postConversionType(Scope) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedNameReference
 
postConversionType(Scope) - Method in class org.eclipse.jdt.internal.compiler.ast.SingleNameReference
 
POSTFIX_EXPRESSION - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type PostfixExpression.
PostfixExpression - Class in org.eclipse.jdt.core.dom
Postfix expression AST node type.
PostfixExpression - Class in org.eclipse.jdt.internal.compiler.ast
 
PostfixExpression(Expression, Expression, int, int) - Constructor for class org.eclipse.jdt.internal.compiler.ast.PostfixExpression
 
PostfixExpression.Operator - Class in org.eclipse.jdt.core.dom
Postfix operators (typesafe enumeration).
postProcess(Result[], int) - Method in class org.jmlspecs.jml4.esc.PostProcessor
 
PostProcessor - Class in org.jmlspecs.jml4.esc
 
PostProcessor(CompilerOptions, ProblemReporter, Counter) - Constructor for class org.jmlspecs.jml4.esc.PostProcessor
 
PostStateExpressionTranslator - Class in org.jmlspecs.jml4.rac
Translates various Java and JML expressions to RAC code that may contain JML old expressions.
PostStateExpressionTranslator(JmlTypeDeclaration, VariableGenerator) - Constructor for class org.jmlspecs.jml4.rac.PostStateExpressionTranslator
 
PostStateExpressionTranslator(VariableGenerator, boolean) - Constructor for class org.jmlspecs.jml4.rac.PostStateExpressionTranslator
 
postVisit(ASTNode) - Method in class org.eclipse.jdt.core.dom.ASTVisitor
Visits the given AST node following the type-specific visit (after endVisit).
postVisit(ASTNode) - Method in class org.eclipse.jdt.core.tests.dom.MarkedASTFlattener
 
postVisit(ASTNode) - Method in class org.eclipse.jdt.internal.core.dom.rewrite.ASTRewriteAnalyzer
 
POTENTIAL_MATCH - Static variable in interface org.eclipse.jdt.core.search.IJavaSearchResultCollector
Deprecated. Use SearchMatch.A_INACCURATE instead.
POTENTIAL_METHOD_DECLARATION - Static variable in class org.eclipse.jdt.core.CompletionProposal
Completion is a declaration of a new potential method.
potentialAnnotatedNode - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnAnnotationOfType
 
potentialInits - Variable in class org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo
 
PotentialNullLocalVariableReference - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
PotentialNullReference - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
potentialVariableNameEnds - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
potentialVariableNames - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
potentialVariableNamesPtr - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
potentialVariableNameStarts - Variable in class org.eclipse.jdt.internal.codeassist.complete.CompletionParser
 
PR_1GEAB3C_Test - Class in org.eclipse.core.tests.resources.regression
 
PR_1GEAB3C_Test() - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GEAB3C_Test
 
PR_1GEAB3C_Test(String) - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GEAB3C_Test
 
PR_1GH2B0N_Test - Class in org.eclipse.core.tests.resources.regression
 
PR_1GH2B0N_Test() - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GH2B0N_Test
Constructor for PR_1GH2B0N_Test
PR_1GH2B0N_Test(String) - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GH2B0N_Test
Constructor for PR_1GH2B0N_Test
PR_1GHOM0N_Test - Class in org.eclipse.core.tests.resources.regression
 
PR_1GHOM0N_Test() - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GHOM0N_Test
 
PR_1GHOM0N_Test(String) - Constructor for class org.eclipse.core.tests.resources.regression.PR_1GHOM0N_Test
 
PRE - Static variable in class org.jmlspecs.jml4.esc.gc.lang.KindOfAssertion
 
pre - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleMessageSend
 
pre - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMessageSend
 
pre - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMethodSpecification
 
pre - Variable in class org.jmlspecs.jml4.fspv.theory.TheoryLemma
 
PRE_AUTO_BUILD - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Deprecated. This event type has been renamed to PRE_BUILD
PRE_AUTO_BUILD - Static variable in class org.eclipse.jdt.core.ElementChangedEvent
Deprecated. - no longer used, such deltas are now notified during POST_CHANGE
PRE_BUILD - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating an before-the-fact report of creations, deletions, and modifications to one or more resources expressed as a hierarchical resource delta as returned by getDelta.
PRE_CLOSE - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating a before-the-fact report of the impending closure of a single project as returned by getResource.
PRE_DELETE - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating a before-the-fact report of the impending deletion of a single project as returned by getResource.
PRE_LINK_COPY - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_LINK_CREATE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_LINK_DELETE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_LINK_MOVE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_CHANGE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_CLOSE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_COPY - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_CREATE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_DELETE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_MOVE - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_PROJECT_OPEN - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_REFRESH - Static variable in class org.eclipse.core.internal.events.LifecycleEvent
 
PRE_REFRESH - Static variable in interface org.eclipse.core.resources.IResourceChangeEvent
Event type constant (bit mask) indicating a before-the-fact report of refreshing the workspace or a project.
preApply(IEclipsePreferences) - Method in class org.eclipse.core.tests.internal.resources.ProjectPreferenceModifyListener
 
preApply(IEclipsePreferences) - Method in class org.eclipse.jdt.internal.core.JavaCorePreferenceModifyListener
 
preAssignImplicitConversion - Variable in class org.eclipse.jdt.internal.compiler.ast.CompoundAssignment
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.eclipse.jdt.internal.esc2.ESC2Wrapper
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.eclipse.jdt.internal.esc2.EscJava2Wrapper
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml2.checker.JML2CheckerWrapper
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml2.compiler.JML2CompilerWrapper
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Static method in class org.jmlspecs.jml4.compiler.CompilerExtensionManager
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml4.compiler.DefaultCompilerExtension
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in interface org.jmlspecs.jml4.compiler.ICompilerExtension
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml4.esc.Esc
 
preCodeGeneration(Compiler, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml4.fspv.Fspv
 
precondition - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplHoareTriplet
 
precondition - Variable in class org.jmlspecs.jml4.fspv.theory.ast.TheoryMethodDeclaration
 
PRECONDITION - Static variable in class org.jmlspecs.jml4.rac.runtime.JMLChecker
 
PreconditionMethod - Class in org.jmlspecs.jml4.rac
Generates precondition check methods.
PRECONDITIONS_ONLY - Static variable in interface org.jmlspecs.jml4.rac.runtime.JMLOption
Indicates that only precondition check code is generated at compile-time, and only precondition check is performed at runtime.
PreconditionTranslator - Class in org.jmlspecs.jml4.rac
Translates the precondition of a method or constructor into RAC code.
PreconditionTranslator(JmlTypeDeclaration, VariableGenerator) - Constructor for class org.jmlspecs.jml4.rac.PreconditionTranslator
Creates a new precondition translator for the given type.
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.CfgAssert
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.CfgAssume
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleAssert
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleAssume
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredAssert
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredAssume
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredPostcondition
 
pred - Variable in class org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredPrecondition
 
predicate - Variable in class org.jmlspecs.jml4.ast.JmlSetComprehension
The main predicate.
PREF_AUTO_BUILDING - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring whether the workspace performs auto- builds.
PREF_AUTO_BUILDING_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_AUTO_REFRESH - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring whether the workspace performs auto- refresh.
PREF_AUTO_REFRESH_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_BUILD_ORDER - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the order projects in the workspace are built.
PREF_BUILD_ORDER_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_DEFAULT_BUILD_ORDER - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring whether to use the workspace's default order for building projects.
PREF_DEFAULT_BUILD_ORDER_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_DELTA_EXPIRATION - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_DELTA_EXPIRATION_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_DISABLE_LINKING - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for turning off support for linked resources.
PREF_DISABLE_LINKING_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_ENCODING - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference indicating the encoding to use when reading text files in the workspace.
PREF_ENCODING_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_FILE_STATE_LONGEVITY - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the maximum number of milliseconds a file state should be kept in the local history
PREF_FILE_STATE_LONGEVITY_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_ID - Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
 
PREF_MAX_BUILD_ITERATIONS - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the maximum number of times that the workspace should rebuild when builders affect projects that have already been built.
PREF_MAX_BUILD_ITERATIONS_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_MAX_FILE_STATE_SIZE - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the maximum permitted size of a file to be stored in the local history
PREF_MAX_FILE_STATE_SIZE_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_MAX_FILE_STATES - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the maximum number of states per file that can be stored in the local history.
PREF_MAX_FILE_STATES_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_MAX_NOTIFICATION_DELAY - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Deprecated. Do not use.
PREF_OPERATIONS_PER_SNAPSHOT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_OPERATIONS_PER_SNAPSHOT_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_SNAPSHOT_INTERVAL - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Name of a preference for configuring the amount of time in milliseconds between automatic workspace snapshots
PREF_SNAPSHOT_INTERVAL_DEFAULT - Static variable in class org.eclipse.core.internal.resources.PreferenceInitializer
 
PREF_VERSION - Static variable in interface org.eclipse.core.internal.resources.ICoreConstants
A private preference stored in a preference node to indicate the preference version that is used.
PREF_VERSION_KEY - Static variable in interface org.eclipse.core.internal.resources.ICoreConstants
A private preference stored in a preference node to indicate the preference version that is used.
preferenceChange(IEclipsePreferences.PreferenceChangeEvent) - Method in class org.eclipse.jdt.internal.core.JavaModelManager.EclipsePreferencesListener
 
PreferenceInitializer - Class in org.eclipse.core.internal.resources
 
PreferenceInitializer() - Constructor for class org.eclipse.core.internal.resources.PreferenceInitializer
 
preferences - Variable in class org.eclipse.jdt.internal.core.JavaModelManager.PerProjectInfo
 
preferences - Variable in class org.eclipse.jdt.internal.formatter.CodeFormatterVisitor
 
preferences_clearNodeException - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_deleteException - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_loadException - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_operationCanceled - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_removeNodeException - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_saveProblems - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferences_syncException - Static variable in class org.eclipse.core.internal.utils.Messages
 
preferencesLookup - Variable in class org.eclipse.jdt.internal.core.JavaModelManager
 
PreferencesMessages - Class in org.jmlspecs.eclipse.jdt.ui.preferences
 
prefix - Variable in class org.jmlspecs.jml4.ast.JmlGroupName
Deprecated.  
PREFIX_EXPRESSION - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type PrefixExpression.
PREFIX_FLAVOR - Static variable in class org.eclipse.jdt.internal.core.search.matching.PatternLocator
 
PREFIX_MATCH - Static variable in interface org.eclipse.jdt.core.search.IJavaSearchConstants
Deprecated. Use SearchPattern.R_PREFIX_MATCH instead.
prefixEquals(char[], char[]) - Static method in class org.eclipse.jdt.core.compiler.CharOperation
Answers true if the given name starts with the given prefix, false otherwise.
prefixEquals(char[], char[], boolean) - Static method in class org.eclipse.jdt.core.compiler.CharOperation
Answers true if the given name starts with the given prefix, false otherwise.
prefixEquals(char[], char[]) - Static method in class org.eclipse.jdt.internal.core.InternalNamingConventions
 
PrefixExpression - Class in org.eclipse.jdt.core.dom
Prefix expression AST node type.
PrefixExpression - Class in org.eclipse.jdt.internal.compiler.ast
 
PrefixExpression(Expression, Expression, int, int) - Constructor for class org.eclipse.jdt.internal.compiler.ast.PrefixExpression
PrefixExpression constructor comment.
PrefixExpression.Operator - Class in org.eclipse.jdt.core.dom
Prefix operators (typesafe enumeration).
prefixLength(char[], char[]) - Static method in class org.eclipse.jdt.internal.core.util.Util
Returns the length of the common prefix between s1 and s2.
prefixLength(String, String) - Static method in class org.eclipse.jdt.internal.core.util.Util
Returns the length of the common prefix between s1 and s2.
PrefixPool - Class in org.eclipse.core.internal.localstore
A pool of Strings for doing prefix checks against multiple candidates.
PrefixPool(int) - Constructor for class org.eclipse.core.internal.localstore.PrefixPool
Constructor.
PrefixPoolTest - Class in org.eclipse.core.tests.internal.localstore
 
PrefixPoolTest(String) - Constructor for class org.eclipse.core.tests.internal.localstore.PrefixPoolTest
 
prepare() - Method in class org.eclipse.core.tests.harness.FussyProgressMonitor
should be called before every use of a FussyProgressMonitor
prepareMovedNodes(TargetSourceRangeComputer) - Method in class org.eclipse.jdt.internal.core.dom.rewrite.RewriteEventStore
 
prepareOperation(ISchedulingRule, IProgressMonitor) - Method in class org.eclipse.core.internal.resources.Workspace
Called before checking the pre-conditions of an operation.
preparePossibleUnknowns(Expression, BlockScope, FlowContext, FlowInfo) - Static method in class org.jmlspecs.jml4.nonnull.Nullity
 
prepareSaveValueLocation(TryStatement) - Method in class org.eclipse.jdt.internal.compiler.ast.ReturnStatement
 
prepareSaveValueLocation(TryStatement) - Method in class org.eclipse.jdt.internal.eval.CodeSnippetReturnStatement
 
prepareToSave(ISaveContext) - Method in interface org.eclipse.core.resources.ISaveParticipant
Tells this participant that the workspace is about to be saved.
prepareToSave(ISaveContext) - Method in class org.eclipse.jdt.internal.core.JavaModelManager
 
PrePostconditionMethod - Class in org.jmlspecs.jml4.rac
An abstract class for generating precondition or postconditin check methods for methods.
preResourceChangeEventMasks - Variable in class org.eclipse.jdt.internal.core.DeltaProcessingState
 
preResourceChangeListenerCount - Variable in class org.eclipse.jdt.internal.core.DeltaProcessingState
 
preResourceChangeListeners - Variable in class org.eclipse.jdt.internal.core.DeltaProcessingState
 
PRESERVE - Static variable in class org.eclipse.jdt.core.JavaCore
Configurable option value: "preserve".
PRESERVE - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
PRESERVE_ONE - Static variable in class org.eclipse.jdt.core.JavaCore
Configurable option value: "preserve one".
preserveAllLocalVariables - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
preserveContent - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredBlock
 
preserveContent - Variable in class org.eclipse.jdt.internal.compiler.parser.RecoveredType
 
preserveEnclosingBlocks() - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredElement
 
preserveUnusedLocals - Variable in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
PrestateDecorator - Class in org.jmlspecs.jml4.fspv
 
PrestateDecorator() - Constructor for class org.jmlspecs.jml4.fspv.PrestateDecorator
 
prestateVariable - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplPrestateVariableReference
 
pretyPrintArray(Object[]) - Static method in class org.jmlspecs.jml4.fspv.Fspv
 
previous(int) - Method in class org.eclipse.jdt.internal.compiler.parser.diagnose.LexStream
 
previousAvailableLineEnd(int) - Method in class org.eclipse.jdt.internal.compiler.parser.RecoveredElement
 
previousSessionContainers - Variable in class org.eclipse.jdt.internal.core.JavaModelManager
 
previousSessionVariables - Variable in class org.eclipse.jdt.internal.core.JavaModelManager
 
preVisit(ASTNode) - Method in class org.eclipse.jdt.core.dom.ASTVisitor
Visits the given AST node prior to the type-specific visit.
preVisit(ASTNode) - Method in class org.eclipse.jdt.core.tests.dom.MarkedASTFlattener
 
preVisit(ASTNode) - Method in class org.eclipse.jdt.internal.core.dom.rewrite.ASTRewriteAnalyzer
 
PRIMARY - Static variable in class org.eclipse.jdt.internal.core.DefaultWorkingCopyOwner
 
primaryBufferProvider - Variable in class org.eclipse.jdt.internal.core.DefaultWorkingCopyOwner
 
PRIMITIVE_TYPE - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Node type constant indicating a node of type PrimitiveType.
PRIMITIVE_TYPE_CODE_PROPERTY - Static variable in class org.eclipse.jdt.core.dom.PrimitiveType
The "primitiveTypeCode" structural property of this node type.
PrimitiveType - Class in org.eclipse.jdt.core.dom
Primitive type nodes.
PrimitiveType.Code - Class in org.eclipse.jdt.core.dom
Primitive type codes (typesafe enumeration).
print() - Method in class org.eclipse.core.tests.harness.LoggingPerformanceTestResult
Prints the test result
print() - Method in class org.eclipse.core.tests.harness.PerformanceTestResult
Prints the test result
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionJavadoc
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnAnnotationOfType
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnArgumentName
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnImportReference
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword2
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMemberValueName
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodName
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodReturnType
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMethodTypeParameter
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnPackageReference
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionJavadoc
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnArgumentName
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnImportReference
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnNameOfMemberValuePair
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnPackageReference
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AnnotationMethodDeclaration
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Argument
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Assignment
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Clinit
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.CompilationUnitDeclaration
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Expression
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ImportReference
 
print(int, StringBuffer, boolean) - Method in class org.eclipse.jdt.internal.compiler.ast.ImportReference
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Javadoc
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.MemberValuePair
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Statement
 
print(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
print(PrintStream) - Method in class org.eclipse.test.internal.performance.db.Report
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlClause
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlCompilationUnitDeclaration
 
print(int, StringBuffer) - Method in interface org.jmlspecs.jml4.ast.JmlDataGroupClause
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlFieldDeclaration
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlGroupName
Deprecated.  
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlLoopAnnotations
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlMapsMemberRefExpr
Deprecated.  
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlMemberFieldRef
Deprecated.  
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlMethodSpecification
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlName
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlResultReference
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSpecCase
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSpecCaseBlock
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSpecCaseBody
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSpecCaseHeader
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSpecCaseRestAsClauseSeq
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlTypeBodyDeclaration
 
print(int, StringBuffer) - Method in class org.jmlspecs.jml4.rac.RacMethodDeclaration
Overridden here to dump the RAC source code stored in RacMethodDeclaration.racCode.
print(String) - Static method in class org.jmlspecs.jml4.util.Logger
 
printAnnotations(Annotation[], StringBuffer) - Static method in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
printArrayQualifiedReference(int, int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printAsExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnLocalName
 
printAsExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnLocalName
 
printAsExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration
 
printAsExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlFieldDeclaration
 
printAsExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.rac.RacFieldDeclaration
 
printBody(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration
 
printBody(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Block
 
printBody(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ConstructorDeclaration
 
printBody(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
printBody(int, StringBuffer) - Method in class org.jmlspecs.jml4.rac.RacConstructorDeclaration
Overridden here to dump the RAC source code stored in RacConstructorDeclaration.racCode.
printEmptyLines(int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printEndOfCompilationUnit() - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnAnnotationMemberValuePair
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnClassLiteralAccess
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocAllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocFieldReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocMessageSend
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocParamNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocTag
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnJavadocTypeParamReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword1
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnKeyword3
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMemberAccess
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMessageSend
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnMessageSendName
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnParameterizedQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedAllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnSingleNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnStringLiteral
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnFieldReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnMessageSend
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnParameterizedQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnParameterizedSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedAllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedSuperReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnSingleNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnSuperReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Annotation
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ArrayAllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ArrayInitializer
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ArrayQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ArrayReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ArrayTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Assignment
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.CastExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ClassLiteralAccess
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Expression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ExtendedStringLiteral
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.FieldReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.IntLiteral
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.JavadocArgumentExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.JavadocFieldReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.JavadocImplicitTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.JavadocMessageSend
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Literal
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.MessageSend
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.NormalAnnotation
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.OperatorExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ParameterizedQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ParameterizedSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedAllocationExpression
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedSuperReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedThisReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.QualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SingleMemberAnnotation
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SingleNameReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.StringLiteral
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.StringLiteralConcatenation
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SuperReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ThisReference
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Wildcard
 
printExpression(int, StringBuffer) - Method in class org.eclipse.jdt.internal.eval.CodeSnippetThisReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlAllRangeExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlArrayIndexRangeExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlArrayRangeStoreRef
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlArrayTypeReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlFieldDotStarStoreRef
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlFreshExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlInformalExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlKeywordExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlNameDotStarStoreRef
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlParameterizedQualifiedTypeReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlParameterizedSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlQuantifiedExpression
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlResultReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSetComprehension
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSingleTypeReference
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlStoreRefExpression
Deprecated.  
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlStoreRefListExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSubtypeExpression
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlTypeExpression
 
printExpression(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlWildcard
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Assignment
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.BinaryExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.CombinedBinaryExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.CompoundAssignment
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.InstanceOfExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.OperatorExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.PostfixExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.PrefixExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.UnaryExpression
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlOperationOverStoreRefList
 
printExpressionNoParenthesis(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlSetStatement
 
printHeader(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
printHeader(int, StringBuffer) - Method in class org.jmlspecs.jml4.rac.RacTypeDeclaration
Overridden there to dump the RAC source code stored in RacTypeDeclaration.racCode.
printIndent(int, StringBuffer) - Static method in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
println(String) - Static method in class org.jmlspecs.jml4.util.Logger
 
printlnWithTrace(int, String) - Static method in class org.jmlspecs.jml4.util.Logger
 
printModifiers(int, StringBuffer) - Static method in class org.eclipse.jdt.internal.compiler.ast.ASTNode
 
printModifiers(int, StringBuffer) - Static method in class org.eclipse.jdt.internal.core.dom.rewrite.ASTRewriteFlattener
Appends the text representation of the given modifier flags, followed by a single space.
printModifiers(Annotation[], ASTVisitor) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printModifiers(Annotation[], ASTVisitor, int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNewLine() - Method in class org.eclipse.jdt.internal.compiler.batch.Main.Logger
 
printNewLine() - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNewLine(int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNextToken(int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNextToken(int, boolean) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNextToken(int[]) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printNextToken(int[], boolean) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printQualifiedReference(int, boolean) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printRacCode(CompilationUnitDeclaration, CompilationUnitDeclaration) - Method in class org.jmlspecs.jml4.rac.RacPrettyPrinter
Prints the given RAC code of the given source to an internal file for a later parsing.
printReturnType(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration
 
printReturnType(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
 
printSimpleTag(String, Object) - Method in class org.eclipse.core.internal.resources.XMLWriter
 
printStackTrace() - Method in exception org.eclipse.core.internal.resources.ResourceException
Prints a stack trace out for the exception, and any nested exception that it may have embedded in its Status object.
printStackTrace(PrintStream) - Method in exception org.eclipse.core.internal.resources.ResourceException
Prints a stack trace out for the exception, and any nested exception that it may have embedded in its Status object.
printStackTrace(PrintWriter) - Method in exception org.eclipse.core.internal.resources.ResourceException
Prints a stack trace out for the exception, and any nested exception that it may have embedded in its Status object.
printStackTrace(PrintWriter) - Method in error org.eclipse.core.tests.session.RemoteAssertionFailedError
 
printStackTrace(PrintStream) - Method in error org.eclipse.core.tests.session.RemoteAssertionFailedError
 
printStackTrace(PrintWriter) - Method in exception org.eclipse.core.tests.session.RemoteTestException
 
printStackTrace(PrintStream) - Method in exception org.eclipse.core.tests.session.RemoteTestException
 
printStackTrace(PrintStream) - Method in exception org.eclipse.jdt.core.JavaModelException
Prints this exception's stack trace to the given print stream.
printStackTrace(PrintWriter) - Method in exception org.eclipse.jdt.core.JavaModelException
Prints this exception's stack trace to the given print writer.
printStackTrace() - Method in exception org.eclipse.jdt.internal.compiler.classfmt.ClassFormatException
 
printStackTrace(PrintStream) - Method in exception org.eclipse.jdt.internal.compiler.classfmt.ClassFormatException
Prints this exception's stack trace to the given print stream.
printStackTrace(PrintWriter) - Method in exception org.eclipse.jdt.internal.compiler.classfmt.ClassFormatException
Prints this exception's stack trace to the given print writer.
printStackTrace() - Method in exception org.eclipse.jdt.internal.core.builder.ImageBuilderInternalException
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnBrankStatementLabel
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnExplicitConstructorCall
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnFieldName
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnFieldType
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.complete.CompletionOnLocalName
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnExplicitConstructorCall
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnFieldType
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.codeassist.select.SelectionOnLocalName
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AbstractVariableDeclaration
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Argument
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.AssertStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Assignment
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Block
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.BreakStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.CaseStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ContinueStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.DoStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.EmptyStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ExplicitConstructorCall
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Expression
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.FieldDeclaration
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ForeachStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ForStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.IfStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Initializer
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.JavadocReturnStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.LabeledStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ReturnStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.Statement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SwitchStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.SynchronizedStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.ThrowStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TryStatement
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeDeclaration
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.TypeParameter
 
printStatement(int, StringBuffer) - Method in class org.eclipse.jdt.internal.compiler.ast.WhileStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlAssumeStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlDoStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlFieldDeclaration
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlForeachStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlForStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.ast.JmlWhileStatement
 
printStatement(int, StringBuffer) - Method in class org.jmlspecs.jml4.rac.RacFieldDeclaration
 
printStats() - Method in class org.eclipse.jdt.internal.compiler.batch.Main.Logger
 
printStats() - Method in class org.eclipse.jdt.internal.core.OverflowingLRUCache
For testing purposes only
printString(String, boolean, boolean) - Method in class org.eclipse.jdt.internal.compiler.util.GenericXMLWriter
 
printTabulation() - Method in class org.eclipse.core.internal.resources.XMLWriter
 
printTag(String, HashMap) - Method in class org.eclipse.core.internal.resources.XMLWriter
 
printTag(String, HashMap, boolean, boolean) - Method in class org.eclipse.core.internal.resources.XMLWriter
 
printTag(String, HashMap, boolean, boolean, boolean) - Method in class org.eclipse.jdt.internal.compiler.util.GenericXMLWriter
 
printTrailingComment(int) - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printTrailingComment() - Method in class org.eclipse.jdt.internal.formatter.Scribe
 
printUsage() - Method in class org.eclipse.jdt.internal.compiler.batch.Main
 
PrintVisitor - 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.
PrintVisitor() - Constructor for class org.jmlspecs.eclipse.jdt.internal.esc2.PrintVisitor
Deprecated.  
PRIORITY - Static variable in interface org.eclipse.core.resources.IMarker
Priority marker attribute.
PRIORITY_HIGH - Static variable in interface org.eclipse.core.resources.IMarker
High priority constant (value 2).
PRIORITY_LOW - Static variable in interface org.eclipse.core.resources.IMarker
Low priority constant (value 0).
PRIORITY_NORMAL - Static variable in interface org.eclipse.core.resources.IMarker
Normal priority constant (value 1).
PRIVATE - Static variable in class org.eclipse.jdt.core.dom.Modifier
"private" modifier constant (bit mask).
PRIVATE - Static variable in class org.eclipse.jdt.core.JavaCore
Configurable option value: "private".
PRIVATE - Static variable in interface org.eclipse.jdt.internal.codeassist.impl.Keywords
 
PRIVATE - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
PRIVATE_KEYWORD - Static variable in class org.eclipse.jdt.core.dom.Modifier.ModifierKeyword
"private" modifier with flag value Modifier.PRIVATE.
PROBLEM - Static variable in interface org.eclipse.core.resources.IMarker
Problem marker type.
Problem - Class in org.eclipse.jdt.core.tests.builder
 
Problem(String, String, IPath, int, int, int, int) - Constructor for class org.eclipse.jdt.core.tests.builder.Problem
 
Problem(IMarker) - Constructor for class org.eclipse.jdt.core.tests.builder.Problem
 
problem - Variable in exception org.eclipse.jdt.internal.compiler.problem.AbortCompilation
 
problem_atLine - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
problem_noSourceInformation - Static variable in class org.eclipse.jdt.internal.compiler.util.Messages
 
ProblemBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
ProblemBinding(char[][], int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemBinding
 
ProblemBinding(char[][], ReferenceBinding, int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemBinding
 
ProblemConstructorTest - Class in org.eclipse.jdt.core.tests.compiler.regression
 
ProblemConstructorTest(String) - Constructor for class org.eclipse.jdt.core.tests.compiler.regression.ProblemConstructorTest
 
problemCount - Variable in class org.eclipse.jdt.core.tests.model.AbstractJavaModelTests.ProblemRequestor
 
problemCount - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
problemFactory - Variable in class org.eclipse.jdt.internal.compiler.problem.ProblemHandler
 
ProblemFactory - Class in org.eclipse.jdt.internal.core.builder
 
ProblemFieldBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
ProblemFieldBinding(ReferenceBinding, char[], int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemFieldBinding
 
ProblemFieldBinding(FieldBinding, ReferenceBinding, char[], int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemFieldBinding
 
ProblemHandler - Class in org.eclipse.jdt.internal.compiler.problem
 
ProblemHandler(IErrorHandlingPolicy, CompilerOptions, IProblemFactory) - Constructor for class org.eclipse.jdt.internal.compiler.problem.ProblemHandler
 
problemId - Variable in class org.eclipse.jdt.internal.compiler.env.AccessRule
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.Binding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.MissingTypeBinding
Missing binary type will answer false to #isValidBinding()
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.PackageBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ProblemBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ProblemFieldBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ProblemPackageBinding
 
problemId() - Method in class org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding
 
problemLog - Variable in class org.eclipse.jdt.core.tests.compiler.regression.Requestor
 
ProblemMethodBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
ProblemMethodBinding(char[], TypeBinding[], int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding
 
ProblemMethodBinding(char[], TypeBinding[], ReferenceBinding, int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding
 
ProblemMethodBinding(MethodBinding, char[], TypeBinding[], int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemMethodBinding
 
ProblemPackageBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
ProblemReasons - Interface in org.eclipse.jdt.internal.compiler.lookup
 
problemReasonString(int) - Static method in class org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding
 
ProblemReferenceBinding - Class in org.eclipse.jdt.internal.compiler.lookup
 
ProblemReferenceBinding(char[][], ReferenceBinding, int) - Constructor for class org.eclipse.jdt.internal.compiler.lookup.ProblemReferenceBinding
 
problemReporter - Variable in class org.eclipse.jdt.internal.compiler.ast.CompilationUnitDeclaration
 
problemReporter - Variable in class org.eclipse.jdt.internal.compiler.Compiler
 
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.DocumentElementParser
Returns this parser's problem reporter initialized with its reference context.
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.lookup.BlockScope
 
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.lookup.ClassScope
 
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.lookup.CompilationUnitScope
 
problemReporter - Variable in class org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment
 
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.lookup.MethodScope
Answer the problem reporter to use for raising new problems.
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.lookup.Scope
 
problemReporter() - Method in class org.eclipse.jdt.internal.compiler.parser.Parser
Returns this parser's problem reporter initialized with its reference context.
ProblemReporter - Class in org.eclipse.jdt.internal.compiler.problem
 
ProblemReporter(IErrorHandlingPolicy, CompilerOptions, IProblemFactory) - Constructor for class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
problems - Variable in class org.eclipse.jdt.core.tests.model.AbstractJavaModelTests.ProblemRequestor
 
problems - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
problems - Variable in class org.eclipse.jdt.internal.core.ReconcileWorkingCopyOperation
 
problems - Variable in class org.eclipse.jdt.internal.core.util.RecordedParsingInformation
 
problemsCount - Variable in class org.eclipse.jdt.internal.core.util.RecordedParsingInformation
 
ProblemSeverities - Interface in org.eclipse.jdt.internal.compiler.problem
 
problemsMap - Variable in class org.eclipse.jdt.internal.compiler.CompilationResult
 
ProblemTypeAndMethodTest - Class in org.eclipse.jdt.core.tests.compiler.regression
 
ProblemTypeAndMethodTest(String) - Constructor for class org.eclipse.jdt.core.tests.compiler.regression.ProblemTypeAndMethodTest
 
PROC - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
procedure - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplLemma
 
procedure - Variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplProofObligation
 
PROCEDURES - Static variable in class org.jmlspecs.jml4.fspv.simpl.ast.SimplConstants
 
proceed() - Method in class org.eclipse.core.tests.resources.usecase.ConcurrentOperation
 
proceed - Variable in class org.eclipse.jdt.internal.compiler.batch.Main
 
proceedOnError - Variable in class org.eclipse.jdt.internal.compiler.batch.Main
 
proceedOnErrors() - Method in interface org.eclipse.jdt.internal.compiler.IErrorHandlingPolicy
 
proceedOnFirstError() - Static method in class org.eclipse.jdt.internal.compiler.DefaultErrorHandlingPolicies
 
proceedWithAllProblems() - Static method in class org.eclipse.jdt.internal.compiler.DefaultErrorHandlingPolicies
 
process(CompilationUnit, AbstractASTTests.MarkerInfo) - Method in class org.eclipse.jdt.core.tests.dom.MarkedASTFlattener
 
process(CompilationUnitDeclaration, int) - Method in class org.eclipse.jdt.internal.compiler.Compiler
Process a compilation unit already parsed and build.
process(CompilationUnit, SourceElementParser, WorkingCopyOwner, HashMap, boolean, int, IProgressMonitor) - Static method in class org.eclipse.jdt.internal.core.CompilationUnitProblemFinder
 
process(CompilationUnit, WorkingCopyOwner, HashMap, boolean, int, IProgressMonitor) - Static method in class org.eclipse.jdt.internal.core.CompilationUnitProblemFinder
 
process(GcProgram) - Method in class org.jmlspecs.jml4.esc.VcGenerator
 
process(CompilationUnitDeclaration, int) - Method in class org.jmlspecs.jml4.rac.RacCompiler
Processes a compilation unit already parsed and built.
PROCESS_COUNT - Static variable in interface org.eclipse.test.internal.performance.InternalDimensions
 
process_name - Static variable in class org.eclipse.jdt.internal.core.util.Messages
 
processAnnotations(BuildContext[]) - Method in class org.eclipse.jdt.core.compiler.CompilationParticipant
Notifies this participant that a compile operation has found source files using Annotations.
processAnnotations(BuildContext[]) - Method in class org.eclipse.jdt.core.tests.builder.TestBuilderParticipant
 
processAnnotations(CompilationUnitDeclaration[], ReferenceBinding[], boolean) - Method in class org.eclipse.jdt.internal.compiler.AbstractAnnotationProcessorManager
Run a new annotation processing round on the given values.
processAnnotations - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
processAnnotations(BuildContext[]) - Method in class org.jmlspecs.eclipse.jdt.ui.EscjavaCompilationParticipant
 
ProcessController - Class in org.eclipse.core.tests.session
Executes an external process synchronously, allowing the client to define a maximum amount of time for the process to complete.
ProcessController(long, String[]) - Constructor for class org.eclipse.core.tests.session.ProcessController
Constructs an instance of ProcessController.
ProcessController.TimeOutException - Exception in org.eclipse.core.tests.session
Thrown when a process being executed exceeds the maximum amount of time allowed for it to complete.
ProcessController.TimeOutException() - Constructor for exception org.eclipse.core.tests.session.ProcessController.TimeOutException
 
ProcessController.TimeOutException(String) - Constructor for exception org.eclipse.core.tests.session.ProcessController.TimeOutException
 
processDelta(IJavaElementDelta, int) - Method in class org.eclipse.jdt.internal.core.search.AbstractSearchScope
 
processDelta(IJavaElementDelta, int) - Method in class org.eclipse.jdt.internal.core.search.HierarchyScope
 
processDelta(IJavaElementDelta, int) - Method in class org.eclipse.jdt.internal.core.search.JavaSearchScope
 
processDelta(IJavaElementDelta, int) - Method in class org.eclipse.jdt.internal.core.search.JavaWorkspaceScope
 
PROCESSED_QUEUE_SIZE - Static variable in class org.eclipse.jdt.internal.compiler.ProcessTaskManager
 
processingSpecVarDecls - Variable in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
 
processJavaDelta(IJavaElementDelta) - Method in class org.eclipse.jdt.internal.core.ModelUpdater
Converts a IResourceDelta rooted in a Workspace into the corresponding set of IJavaElementDelta, rooted in the relevant JavaModels.
processJml() - Method in class org.jmlspecs.jml4.compiler.JmlScannerAnnotationState
 
processName() - Method in class org.eclipse.jdt.internal.core.search.indexing.IndexManager
Name of the background process
processName() - Method in class org.eclipse.jdt.internal.core.search.processing.JobManager
 
processPathEntries(int, ArrayList, String, String, boolean, boolean) - Method in class org.eclipse.jdt.internal.compiler.batch.Main
 
processResourceChangeEvents(IResourceChangeListener) - Method in class org.eclipse.core.internal.resources.SavedState
 
processResourceChangeEvents(IResourceChangeListener) - Method in interface org.eclipse.core.resources.ISavedState
Used to receive notification of changes that might have happened while this plug-in was not active.
ProcessTaskManager - Class in org.eclipse.jdt.internal.compiler
 
ProcessTaskManager(Compiler) - Constructor for class org.eclipse.jdt.internal.compiler.ProcessTaskManager
 
produceAttributes - Variable in class org.eclipse.jdt.internal.compiler.ClassFile
 
produceDebugAttributes - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
produceReferenceInfo - Variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
produceRefInfo - Variable in class org.eclipse.jdt.internal.compiler.batch.Main
 
PRODUCT - Static variable in class org.jmlspecs.jml4.ast.JmlQuantifier
The \product quantifier lexeme.
PRODUCT - Static variable in class org.jmlspecs.jml4.fspv.theory.TheoryQuantifier
 
product() - Static method in class org.jmlspecs.jml4.fspv.theory.TheoryQuantifier
 
ProfilingASTConvertionTest - Class in org.eclipse.jdt.core.tests.dom
 
ProfilingASTConvertionTest(String) - Constructor for class org.eclipse.jdt.core.tests.dom.ProfilingASTConvertionTest
 
ProgrammingProblemsTest - Class in org.eclipse.jdt.core.tests.compiler.regression
 
ProgrammingProblemsTest(String) - Constructor for class org.eclipse.jdt.core.tests.compiler.regression.ProgrammingProblemsTest
 
progress - Variable in class org.eclipse.jdt.internal.compiler.batch.Main
 
progress - Variable in class org.eclipse.jdt.internal.compiler.Compiler
 
progressMonitor - Variable in class org.eclipse.jdt.internal.core.JavaModelOperation
The progress monitor passed into this operation
progressMonitor - Variable in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
PROJECT - Static variable in interface org.eclipse.core.internal.resources.IModelObjectConstants
 
Project - Class in org.eclipse.core.internal.resources
 
PROJECT - Static variable in interface org.eclipse.core.resources.IResource
Type constant (bit mask value 4) which identifies project resources.
PROJECT - Static variable in class org.eclipse.core.tests.resources.usecase.IResourceTest
 
PROJECT - Static variable in class org.eclipse.jdt.internal.compiler.env.AccessRestriction
 
project - Variable in class org.eclipse.jdt.internal.core.DeltaProcessor.RootInfo
 
project - Variable in class org.eclipse.jdt.internal.core.JavaModelManager.PerProjectInfo
 
PROJECT_DESCRIPTION - Static variable in interface org.eclipse.core.internal.resources.IModelObjectConstants
 
PROJECT_NOT_OPEN - Static variable in interface org.eclipse.core.resources.IResourceStatus
Status code constant (value 372) indicating a project is unexpectedly closed.
PROJECT_SAVE - Static variable in interface org.eclipse.core.resources.ISaveContext
Type constant which identifies a project save.
PROJECT_SEGMENT_LENGTH - Static variable in interface org.eclipse.core.internal.resources.ICoreConstants
 
PROJECT_SEPARATOR - Static variable in class org.eclipse.core.internal.resources.WorkspacePreferences
 
projectCachesToReset - Variable in class org.eclipse.jdt.internal.core.DeltaProcessor
 
ProjectContentTypes - Class in org.eclipse.core.internal.resources
Manages project-specific content type behavior.
ProjectContentTypes(Workspace) - Constructor for class org.eclipse.core.internal.resources.ProjectContentTypes
 
projectDependencies - Variable in class org.eclipse.jdt.internal.core.DeltaProcessingState
 
ProjectDescription - Class in org.eclipse.core.internal.resources
 
ProjectDescription() - Constructor for class org.eclipse.core.internal.resources.ProjectDescription
 
ProjectDescriptionReader - Class in org.eclipse.core.internal.resources
 
ProjectDescriptionReader() - Constructor for class org.eclipse.core.internal.resources.ProjectDescriptionReader
 
ProjectDescriptionReader(IProject) - Constructor for class org.eclipse.core.internal.resources.ProjectDescriptionReader
 
ProjectInfo - Class in org.eclipse.core.internal.resources
 
ProjectInfo() - Constructor for class org.eclipse.core.internal.resources.ProjectInfo
 
ProjectNatureDescriptor - Class in org.eclipse.core.internal.resources
 
ProjectOrderTest - Class in org.eclipse.core.tests.resources
Performs black box testing of the following API methods: IWorkspace.computeProjectOrder(IProject[]) IWorkspace.computePrerequisiteOrder(IProject[])
ProjectOrderTest() - Constructor for class org.eclipse.core.tests.resources.ProjectOrderTest
 
ProjectOrderTest(String) - Constructor for class org.eclipse.core.tests.resources.ProjectOrderTest
 
projectOrJarFocus(InternalSearchPattern) - Static method in class org.eclipse.jdt.internal.core.search.matching.MatchLocator
 
ProjectPreferenceModifyListener - Class in org.eclipse.core.tests.internal.resources
 
ProjectPreferenceModifyListener() - Constructor for class org.eclipse.core.tests.internal.resources.ProjectPreferenceModifyListener
 
ProjectPreferences - Class in org.eclipse.core.internal.resources
Represents a node in the Eclipse preference hierarchy which stores preference values for projects.
ProjectPreferences() - Constructor for class org.eclipse.core.internal.resources.ProjectPreferences
Default constructor.
projectPreferencesChanged(IProject) - Method in class org.eclipse.core.internal.resources.CharsetManager
 
projectPreferencesChanged(IProject) - Method in class org.eclipse.core.internal.resources.ContentDescriptionManager
 
ProjectPreferenceSessionTest - Class in org.eclipse.core.tests.resources.session
 
ProjectPreferenceSessionTest(String) - Constructor for class org.eclipse.core.tests.resources.session.ProjectPreferenceSessionTest
 
ProjectPreferencesTest - Class in org.eclipse.core.tests.internal.resources
 
ProjectPreferencesTest(String) - Constructor for class org.eclipse.core.tests.internal.resources.ProjectPreferencesTest
 
projectPrerequisites(IClasspathEntry[]) - Method in class org.eclipse.jdt.internal.core.JavaProject
 
ProjectPropertyTester - Class in org.eclipse.core.internal.propertytester
A property tester for various properties of projects.
ProjectPropertyTester() - Constructor for class org.eclipse.core.internal.propertytester.ProjectPropertyTester
 
projectRawPathOf(String) - Static method in class org.jmlspecs.jml2.util.Util
 
ProjectReferenceChange - Class in org.eclipse.jdt.internal.core
 
ProjectReferenceChange(JavaProject, IClasspathEntry[]) - Constructor for class org.eclipse.jdt.internal.core.ProjectReferenceChange
 
PROJECTS - Static variable in interface org.eclipse.core.internal.resources.IModelObjectConstants
 
projects - Variable in class org.eclipse.core.resources.IWorkspace.ProjectOrder
A list of projects ordered so as to honor the project reference relationships between these projects wherever possible.
ProjectScope - Class in org.eclipse.core.resources
Object representing the project scope in the Eclipse preferences hierarchy.
ProjectScope(IProject) - Constructor for class org.eclipse.core.resources.ProjectScope
Create and return a new project scope for the given project.
projRead_badLinkLocation - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_badLinkName - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_badLinkType - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_badLinkType2 - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_badLocation - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_emptyLinkName - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_failureReadingProjectDesc - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_notProjectDescription - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_whichKey - Static variable in class org.eclipse.core.internal.utils.Messages
 
projRead_whichValue - Static variable in class org.eclipse.core.internal.utils.Messages
 
PROP_ID - Static variable in class org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
 
PROP_PERFORMANCE - Static variable in class org.eclipse.core.tests.session.PerformanceSessionTestSuite
 
propagateInnerEmulation(ReferenceBinding, boolean) - Method in class org.eclipse.jdt.internal.compiler.lookup.BlockScope
 
propagateInnerEmulationForAllLocalTypes() - Method in class org.eclipse.jdt.internal.compiler.ast.CompilationUnitDeclaration
 
properties() - Method in class org.eclipse.jdt.core.dom.ASTNode
Returns an unmodifiable table of the properties of this node with non-null values.
properties_couldNotClose - Static variable in class org.eclipse.core.internal.utils.Messages
 
properties_qualifierIsNull - Static variable in class org.eclipse.core.internal.utils.Messages
 
properties_readProperties - Static variable in class org.eclipse.core.internal.utils.Messages
 
properties_valueTooLong - Static variable in class org.eclipse.core.internal.utils.Messages
 
PropertyBucket - Class in org.eclipse.core.internal.properties
 
PropertyBucket() - Constructor for class org.eclipse.core.internal.properties.PropertyBucket
 
PropertyBucket.PropertyEntry - Class in org.eclipse.core.internal.properties
 
PropertyBucket.PropertyEntry(IPath, PropertyBucket.PropertyEntry) - Constructor for class org.eclipse.core.internal.properties.PropertyBucket.PropertyEntry
 
propertyChange(Preferences.PropertyChangeEvent) - Method in class org.eclipse.core.internal.refresh.RefreshManager
Checks for changes to the PREF_AUTO_UPDATE property.
PropertyConversionTest - Class in org.eclipse.core.tests.internal.properties
Tests for the conversion from the old to the new local history implementation.
PropertyConversionTest(String) - Constructor for class org.eclipse.core.tests.internal.properties.PropertyConversionTest
 
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.AnnotationTypeDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.AnnotationTypeMemberDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.AnonymousClassDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ArrayAccess
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ArrayCreation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ArrayInitializer
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ArrayType
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.AssertStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.Assignment
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.Block
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.BlockComment
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.BooleanLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.BreakStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.CastExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.CatchClause
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.CharacterLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ClassInstanceCreation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.CompilationUnit
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ConditionalExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ConstructorInvocation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ContinueStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.DoStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.EmptyStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.EnhancedForStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.EnumConstantDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.EnumDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ExpressionStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.FieldAccess
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.FieldDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ForStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.IfStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ImportDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.InfixExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.Initializer
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.InstanceofExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.Javadoc
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.LabeledStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.LineComment
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MarkerAnnotation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MemberRef
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MemberValuePair
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MethodDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MethodInvocation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MethodRef
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.MethodRefParameter
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.Modifier
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.NormalAnnotation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.NullLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.NumberLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.PackageDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ParameterizedType
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ParenthesizedExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.PostfixExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.PrefixExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.PrimitiveType
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.QualifiedName
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.QualifiedType
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ReturnStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SimpleName
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SimpleType
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SingleMemberAnnotation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SingleVariableDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.StringLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SuperConstructorInvocation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SuperFieldAccess
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SuperMethodInvocation
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SwitchCase
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SwitchStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.SynchronizedStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TagElement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TextElement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ThisExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.ThrowStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TryStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TypeDeclaration
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TypeDeclarationStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TypeLiteral
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.TypeParameter
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.VariableDeclarationExpression
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.VariableDeclarationFragment
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.VariableDeclarationStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.WhileStatement
Returns a list of structural property descriptors for this node type.
propertyDescriptors(int) - Static method in class org.eclipse.jdt.core.dom.WildcardType
Returns a list of structural property descriptors for this node type.
PropertyManager2 - Class in org.eclipse.core.internal.properties
 
PropertyManager2(Workspace) - Constructor for class org.eclipse.core.internal.properties.PropertyManager2
 
PropertyManagerPerformanceTest - Class in org.eclipse.core.tests.resources.perf
 
PropertyManagerPerformanceTest(String) - Constructor for class org.eclipse.core.tests.resources.perf.PropertyManagerPerformanceTest
 
PropertyManagerTest - Class in org.eclipse.core.tests.internal.properties
 
PropertyManagerTest() - Constructor for class org.eclipse.core.tests.internal.properties.PropertyManagerTest
 
PropertyManagerTest(String) - Constructor for class org.eclipse.core.tests.internal.properties.PropertyManagerTest
 
PropertyManagerTest.StoredProperty - Class in org.eclipse.core.tests.internal.properties
 
PropertyManagerTest.StoredProperty(QualifiedName, String) - Constructor for class org.eclipse.core.tests.internal.properties.PropertyManagerTest.StoredProperty
 
proposalsPtr - Variable in class org.eclipse.jdt.core.tests.model.CompletionTestsRequestor2
 
ProposedResourceDelta - Class in org.eclipse.core.internal.resources.mapping
Concrete implementation of IResourceDelta used for operation validation
ProposedResourceDelta(IResource) - Constructor for class org.eclipse.core.internal.resources.mapping.ProposedResourceDelta
 
PROTECT - Static variable in class org.eclipse.jdt.core.dom.ASTNode
Flag constant (bit mask, value 4) indicating that this node is unmodifiable.
PROTECTED - Static variable in class org.eclipse.jdt.core.dom.Modifier
"protected" modifier constant (bit mask).
PROTECTED - Static variable in class org.eclipse.jdt.core.JavaCore
Configurable option value: "protected".
PROTECTED - Static variable in interface org.eclipse.jdt.internal.codeassist.impl.Keywords
 
PROTECTED - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
PROTECTED_KEYWORD - Static variable in class org.eclipse.jdt.core.dom.Modifier.ModifierKeyword
"protected" modifier with flag value Modifier.PROTECTED.
PROTOCOL - Static variable in class org.jmlspecs.jml4.rac.runtime.JMLChecker
 
prove(VcProgram) - Method in class org.jmlspecs.jml4.esc.ProverCoordinator
 
prove(VC, Map) - Method in class org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3.Cvc3Adapter
 
prove(VC, Map) - Method in class org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle.IsabelleAdapter
 
prove(VC, Map) - Method in class org.jmlspecs.jml4.esc.provercoordinator.prover.ProverAdapter
 
prove(VC, Map) - Method in class org.jmlspecs.jml4.esc.provercoordinator.prover.simplify.SimplifyAdapter
 
prove(VcProgram) - Method in interface org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy
 
prove(VcProgram) - Method in class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveEntireVC
 
prove(VcProgram) - Method in class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStategySeq
 
prove(VcProgram) - Method in class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveVcPiecewise
 
ProveEntireVC - Class in org.jmlspecs.jml4.esc.provercoordinator.strategy
 
ProveEntireVC(CompilerOptions, ProblemReporter, CachedVcs) - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveEntireVC
 
ProverAdapter - Class in org.jmlspecs.jml4.esc.provercoordinator.prover
 
ProverAdapter(CompilerOptions, ProblemReporter) - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.prover.ProverAdapter
 
ProverCoordinator - Class in org.jmlspecs.jml4.esc
 
ProverCoordinator(CompilerOptions, ProblemReporter, CachedVcs) - Constructor for class org.jmlspecs.jml4.esc.ProverCoordinator
 
ProverStategySeq - Class in org.jmlspecs.jml4.esc.provercoordinator.strategy
 
ProverStategySeq(IProverStrategy[]) - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStategySeq
 
ProverStategySeq(List) - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStategySeq
 
ProverStrategyFactory - Class in org.jmlspecs.jml4.esc.provercoordinator.strategy
 
ProverStrategyFactory() - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStrategyFactory
 
ProverVisitor - Class in org.jmlspecs.jml4.esc.provercoordinator.prover
 
ProverVisitor() - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.prover.ProverVisitor
 
ProveVcPiecewise - Class in org.jmlspecs.jml4.esc.provercoordinator.strategy
 
ProveVcPiecewise(CompilerOptions, ProblemReporter, CachedVcs) - Constructor for class org.jmlspecs.jml4.esc.provercoordinator.strategy.ProveVcPiecewise
 
proveWithCvc3(String) - Method in class org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3.Cvc3Adapter
 
pruneDeadBranches() - Method in class org.eclipse.jdt.internal.core.hierarchy.RegionBasedTypeHierarchy
 
PT_BUILDERS - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "builders") for the builders extension point.
PT_FILE_MODIFICATION_VALIDATOR - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "fileModificationValidator") for the file modification validator extension point.
PT_MARKERS - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "markers") for the markers extension point.
PT_MODEL_PROVIDERS - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "modelProviders") for the model providers extension point.
PT_MOVE_DELETE_HOOK - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "moveDeleteHook") for the move/delete hook extension point.
PT_NATURES - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "natures") for the natures extension point.
PT_REFRESH_PROVIDERS - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "refreshProviders") for the auto-refresh refresh providers extension point.
PT_TEAM_HOOK - Static variable in class org.eclipse.core.resources.ResourcesPlugin
Simple identifier constant (value "teamHook") for the team hook extension point.
PUBLIC - Static variable in class org.eclipse.jdt.core.dom.Modifier
"public" modifier constant (bit mask).
PUBLIC - Static variable in class org.eclipse.jdt.core.JavaCore
Configurable option value: "public".
PUBLIC - Static variable in interface org.eclipse.jdt.internal.codeassist.impl.Keywords
 
PUBLIC - Static variable in class org.eclipse.jdt.internal.compiler.impl.CompilerOptions
 
public_computePackageFrom(char[][], boolean) - Method in class org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment
 
PUBLIC_KEYWORD - Static variable in class org.eclipse.jdt.core.dom.Modifier.ModifierKeyword
"public" modifier with flag value Modifier.PUBLIC.
PublicClassMustMatchFileName - Static variable in interface org.eclipse.jdt.core.compiler.IProblem
 
publicClassMustMatchFileName(CompilationUnitDeclaration, TypeDeclaration) - Method in class org.eclipse.jdt.internal.compiler.problem.ProblemReporter
 
PublicScanner - Class in org.eclipse.jdt.internal.core.util
 
PublicScanner() - Constructor for class org.eclipse.jdt.internal.core.util.PublicScanner
 
PublicScanner(boolean, boolean, boolean, long, long, char[][], char[][], boolean, long) - Constructor for class org.eclipse.jdt.internal.core.util.PublicScanner
 
PublicScanner(boolean, boolean, boolean, long, long, char[][], char[][], boolean) - Constructor for class org.eclipse.jdt.internal.core.util.PublicScanner
 
PublicScanner(boolean, boolean, boolean, long, char[][], char[][], boolean) - Constructor for class org.eclipse.jdt.internal.core.util.PublicScanner
 
Pure - Annotation Type in org.jmlspecs.annotation
 
PURE - Static variable in class org.jmlspecs.jml4.ast.JmlModifier
 
purpose - Variable in class org.eclipse.jdt.internal.compiler.lookup.SyntheticMethodBinding
 
push(TheoryStatement) - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
push(TheoryExpression) - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
push(Object) - Method in class org.jmlspecs.samples.stacks.BoundedStack
 
push(Object) - Method in interface org.jmlspecs.samples.stacks.BoundedStackInterface
 
pushBlockStack() - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
pushDeclaringType(TypeDeclaration) - Method in class org.eclipse.jdt.internal.compiler.SourceElementNotifier.LocalDeclarationVisitor
 
pushExceptionOnStack(TypeBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
pushExceptionOnStack(TypeBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
 
pushLineSeparator() - Method in class org.eclipse.jdt.internal.compiler.parser.Scanner
 
pushLineSeparator() - Method in class org.eclipse.jdt.internal.core.util.PublicScanner
 
pushLocalVarStack(TheoryVariable) - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
pushLoopStack() - Method in class org.jmlspecs.jml4.fspv.theory.TheoryHelper
 
pushOnNullityStack(Nullity) - Method in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
 
pushOnNullityStack(Nullity[]) - Method in class org.eclipse.jdt.internal.compiler.parser.JmlParserHelper
 
pushOnStack(TypeBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
pushOnStack(TypeBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
 
pushStateIndex(int) - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrameCodeStream
 
pushTypeName(char[]) - Method in class org.eclipse.jdt.internal.core.search.indexing.SourceIndexerRequestor
 
pushUnicodeLineSeparator() - Method in class org.eclipse.jdt.internal.compiler.parser.Scanner
 
pushUnicodeLineSeparator() - Method in class org.eclipse.jdt.internal.core.util.PublicScanner
 
put(Object, Object) - Method in class org.eclipse.core.internal.resources.MarkerAttributeMap
 
put(Object, Object) - Method in class org.eclipse.core.internal.utils.ObjectMap
 
put(double, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.DoubleCache
Puts the specified element into the hashtable, using the specified key.
put(float, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.FloatCache
Puts the specified element into the hashtable, using the specified key.
put(int, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.IntegerCache
Puts the specified element into the hashtable, using the specified key.
put(long, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.LongCache
Puts the specified element into the hashtable, using the specified key.
put(Object, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.ObjectCache
Puts the specified element into the hashtable, using the specified key.
put(int, Object) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfInt
 
put(char[], int) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfIntValues
 
put(long, Object) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfLong
 
put(char[], Object) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfObject
 
put(Object, int) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToInt
 
put(Object, int[]) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfObjectToIntArray
 
put(char[], PackageBinding) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfPackage
 
put(char[], ReferenceBinding) - Method in class org.eclipse.jdt.internal.compiler.util.HashtableOfType
 
put(Object, Object) - Method in class org.eclipse.jdt.internal.compiler.util.SimpleLookupTable
 
put(Object, Object) - Method in class org.eclipse.jdt.internal.core.OverflowingLRUCache
Sets the value in the cache at the given key.
put(Object[], Object) - Method in class org.eclipse.jdt.internal.core.util.HashtableOfArrayToObject
 
put(Object, Object) - Method in class org.eclipse.jdt.internal.core.util.LRUCache
Sets the value in the cache at the given key.
put(Object, Object) - Method in class org.eclipse.jdt.internal.core.VerboseElementCache
 
put(SimpleAssignable, Set) - Method in class org.jmlspecs.jml4.esc.gc.IncarnationMap
 
put(SimpleAssignable, int) - Method in class org.jmlspecs.jml4.esc.gc.IncarnationMap
 
put(Object, Object) - Method in class org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache
Puts the key/value pair to this cache.
put(Object[], Object) - Method in class org.jmlspecs.jml4.rac.runtime.JMLOldExpressionCache
Puts the key/value pair to this cache.
put_empty_statement_on_new_line - Variable in class org.eclipse.jdt.internal.formatter.DefaultCodeFormatterOptions
 
putAll(Map) - Method in class org.eclipse.core.internal.resources.MarkerAttributeMap
 
putAll(Map) - Method in class org.eclipse.core.internal.utils.ObjectMap
 
PUTFIELD - Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
 
putfield(FieldBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 
putIfAbsent(char[], int) - Method in class org.eclipse.jdt.internal.compiler.codegen.CharArrayCache
Puts the specified element into the hashtable if it wasn't there already, using the specified key.
putIfAbsent(double, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.DoubleCache
Puts the specified element into the hashtable, using the specified key.
putIfAbsent(float, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.FloatCache
Puts the specified element into the hashtable, using the specified key.
putIfAbsent(int, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.IntegerCache
Puts the specified element into the hashtable if absent, using the specified key.
putIfAbsent(long, int) - Method in class org.eclipse.jdt.internal.compiler.codegen.LongCache
Puts the specified element into the hashtable, using the specified key.
putInfo(IFileInfo, int, IProgressMonitor) - Method in class org.eclipse.core.tests.internal.filesystem.ram.MemoryFileStore
 
putInfo(IPath, IFileInfo, int) - Method in class org.eclipse.core.tests.internal.filesystem.ram.MemoryTree
 
putInfo(IFileInfo, int, IProgressMonitor) - Method in class org.eclipse.core.tests.internal.filesystem.wrapper.WrapperFileStore
 
PutInfoTest - Class in org.eclipse.core.tests.filesystem
Black box tests for IFileStore.putInfo(IFileInfo, int, IProgressMonitor)
PutInfoTest() - Constructor for class org.eclipse.core.tests.filesystem.PutInfoTest
 
putLocal(int, VerificationTypeInfo) - Method in class org.eclipse.jdt.internal.compiler.codegen.StackMapFrame
 
putNewPath(long, IPath) - Method in class org.eclipse.core.internal.events.NodeIDMap
Adds an entry for a node's old path
putOldExpressions(List<RacOldExpression>) - Method in class org.jmlspecs.jml4.rac.PostconditionTranslator
Puts old expressions found in the expression under translation.
putOldExpressions(List<RacOldExpression>) - Method in class org.jmlspecs.jml4.rac.PostStateExpressionTranslator
Puts old expressions found in the expression under translation.
putOldExpressions(List<RacOldExpression>) - Method in class org.jmlspecs.jml4.rac.PreconditionTranslator
Puts old expressions found in the expression under translation.
putOldPath(long, IPath) - Method in class org.eclipse.core.internal.events.NodeIDMap
Adds an entry for a node's old path
putProblems(String, CategorizedProblem[]) - Method in class org.eclipse.jdt.core.compiler.ReconcileContext
Sets the problems to be reported to the problem requestor of the reconcile operation for the given marker type.
PUTSTATIC - Static variable in interface org.eclipse.jdt.core.util.IOpcodeMnemonics
 
putstatic(FieldBinding) - Method in class org.eclipse.jdt.internal.compiler.codegen.CodeStream
 

A B C D E F G H I J K L M N O P Q R S T U V W X Z _