Uses of Class
org.eclipse.jdt.internal.compiler.problem.ProblemReporter

Packages that use ProblemReporter

org.eclipse.jdt.internal.codeassist.complete
org.eclipse.jdt.internal.codeassist.impl
org.eclipse.jdt.internal.codeassist.select
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.compiler.parser
org.eclipse.jdt.internal.core
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.core.util
org.eclipse.jdt.internal.eval
org.jmlspecs.jml4.ast
org.jmlspecs.jml4.compiler
org.jmlspecs.jml4.esc
org.jmlspecs.jml4.esc.provercoordinator.prover
org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3
org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle
org.jmlspecs.jml4.esc.provercoordinator.prover.simplify
org.jmlspecs.jml4.esc.provercoordinator.strategy
org.jmlspecs.jml4.lookup
org.jmlspecs.jml4.rac

Uses of ProblemReporter in org.eclipse.jdt.internal.codeassist.complete

Constructors in org.eclipse.jdt.internal.codeassist.complete with parameters of type ProblemReporter

CompletionParser(ProblemReporter problemReporter, boolean storeExtraSourceEnds)

Uses of ProblemReporter in org.eclipse.jdt.internal.codeassist.impl

Constructors in org.eclipse.jdt.internal.codeassist.impl with parameters of type ProblemReporter

AssistParser(ProblemReporter problemReporter)

Uses of ProblemReporter in org.eclipse.jdt.internal.codeassist.select

Constructors in org.eclipse.jdt.internal.codeassist.select with parameters of type ProblemReporter

SelectionParser(ProblemReporter problemReporter)

Uses of ProblemReporter in org.eclipse.jdt.internal.compiler

Fields in org.eclipse.jdt.internal.compiler declared as ProblemReporter

ProblemReporter

Compiler.problemReporter

Methods in org.eclipse.jdt.internal.compiler that return ProblemReporter

ProblemReporter

DocumentElementParser.problemReporter() Returns this parser's problem reporter initialized with its reference context.

Uses of ProblemReporter in org.eclipse.jdt.internal.compiler.ast

Fields in org.eclipse.jdt.internal.compiler.ast declared as ProblemReporter

ProblemReporter

CompilationUnitDeclaration.problemReporter

Methods in org.eclipse.jdt.internal.compiler.ast with parameters of type ProblemReporter

void	TypeReference.handleAnnotations(Annotation[] annotations, ProblemReporter problemReporter)

Constructors in org.eclipse.jdt.internal.compiler.ast with parameters of type ProblemReporter

CompilationUnitDeclaration(ProblemReporter problemReporter, CompilationResult compilationResult, int sourceLength)

Uses of ProblemReporter in org.eclipse.jdt.internal.compiler.lookup

Fields in org.eclipse.jdt.internal.compiler.lookup declared as ProblemReporter

ProblemReporter

LookupEnvironment.problemReporter

Methods in org.eclipse.jdt.internal.compiler.lookup that return ProblemReporter

abstract ProblemReporter	Scope.problemReporter()
ProblemReporter	MethodScope.problemReporter() Answer the problem reporter to use for raising new problems.
ProblemReporter	CompilationUnitScope.problemReporter()
ProblemReporter	ClassScope.problemReporter()
ProblemReporter	BlockScope.problemReporter()

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type ProblemReporter

LookupEnvironment(ITypeRequestor typeRequestor, CompilerOptions globalOptions, ProblemReporter problemReporter, INameEnvironment nameEnvironment)

Uses of ProblemReporter in org.eclipse.jdt.internal.compiler.parser

Methods in org.eclipse.jdt.internal.compiler.parser that return ProblemReporter

ProblemReporter

Parser.problemReporter() Returns this parser's problem reporter initialized with its reference context.

Methods in org.eclipse.jdt.internal.compiler.parser with parameters of type ProblemReporter

static CompilationUnitDeclaration

SourceTypeConverter.buildCompilationUnit(ISourceType[] sourceTypes, int flags, ProblemReporter problemReporter, CompilationResult compilationResult)

Constructors in org.eclipse.jdt.internal.compiler.parser with parameters of type ProblemReporter

Parser(ProblemReporter problemReporter, boolean optimizeStringLiterals)

Uses of ProblemReporter in org.eclipse.jdt.internal.core

Constructors in org.eclipse.jdt.internal.core with parameters of type ProblemReporter

BinaryTypeConverter(ProblemReporter problemReporter, CompilationResult compilationResult, HashSetOfCharArrayArray typeNames)

Uses of ProblemReporter in org.eclipse.jdt.internal.core.search.matching

Methods in org.eclipse.jdt.internal.core.search.matching with parameters of type ProblemReporter

static MatchLocatorParser

MatchLocatorParser.createParser(ProblemReporter problemReporter, MatchLocator locator)

Uses of ProblemReporter in org.eclipse.jdt.internal.core.util

Constructors in org.eclipse.jdt.internal.core.util with parameters of type ProblemReporter

CommentRecorderParser(ProblemReporter problemReporter, boolean optimizeStringLiterals)

Uses of ProblemReporter in org.eclipse.jdt.internal.eval

Constructors in org.eclipse.jdt.internal.eval with parameters of type ProblemReporter

CodeSnippetParser(ProblemReporter problemReporter, EvaluationContext evaluationContext, boolean optimizeStringLiterals, int codeSnippetStart, int codeSnippetEnd)
Creates a new code snippet parser.

Uses of ProblemReporter in org.jmlspecs.jml4.ast

Methods in org.jmlspecs.jml4.ast with parameters of type ProblemReporter

static void

JmlAstUtils.handleAnnotations(JmlTypeReference type, Annotation[] annotations, ProblemReporter problemReporter)

Constructors in org.jmlspecs.jml4.ast with parameters of type ProblemReporter

JmlCompilationUnitDeclaration(ProblemReporter problemReporter, CompilationResult compilationResult, int sourceLength)

JmlCompilationUnitDeclaration(ProblemReporter problemReporter, CompilationResult compilationResult, int sourceLength, Nullity nullity)

Uses of ProblemReporter in org.jmlspecs.jml4.compiler

Constructors in org.jmlspecs.jml4.compiler with parameters of type ProblemReporter

ReferenceCounterVisitor(ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc

Constructors in org.jmlspecs.jml4.esc with parameters of type ProblemReporter

GcTranslator(CompilerOptions options, ProblemReporter problemReporter)

PostProcessor(CompilerOptions options, ProblemReporter problemReporter, Counter counter)

ProverCoordinator(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

VcGenerator(CompilerOptions options, ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc.provercoordinator.prover

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover with parameters of type ProblemReporter

ProverAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3 with parameters of type ProblemReporter

Cvc3Adapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle with parameters of type ProblemReporter

IsabelleAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify with parameters of type ProblemReporter

SimplifyAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of ProblemReporter in org.jmlspecs.jml4.esc.provercoordinator.strategy

Methods in org.jmlspecs.jml4.esc.provercoordinator.strategy with parameters of type ProblemReporter

static IProverStrategy

ProverStrategyFactory.make(java.lang.String jmlEscProverStrategy, CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Constructors in org.jmlspecs.jml4.esc.provercoordinator.strategy with parameters of type ProblemReporter

ProveEntireVC(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

ProveVcPiecewise(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Uses of ProblemReporter in org.jmlspecs.jml4.lookup

Methods in org.jmlspecs.jml4.lookup with parameters of type ProblemReporter

static void	JmlBinaryLookup.mergeMethods(ProblemReporter problemReporter, MethodBinding[] sourceMethods, AbstractMethodDeclaration[] specMethods)
void	JmlBinaryLookup.mergeWithSourceAndSpec(ProblemReporter problemReporter, ReferenceBinding referenceBinding)

Uses of ProblemReporter in org.jmlspecs.jml4.rac

Constructors in org.jmlspecs.jml4.rac with parameters of type ProblemReporter

RacParser(ProblemReporter problemReporter, boolean optimizeStringLiterals)