org.jmlspecs.eclipse.jdt.internal.esc2
Class Esc2ProblemReporter

java.lang.Object
  javafe.util.ErrorSet.StandardReporter
      org.jmlspecs.eclipse.jdt.internal.esc2.Esc2ProblemReporter

All Implemented Interfaces:

javafe.util.ErrorSet.Reporter

public class Esc2ProblemReporter
extends javafe.util.ErrorSet.StandardReporter

Constructor Summary

Esc2ProblemReporter(Compiler compiler, CompilationUnitDeclaration unit)

Method Summary

static IWorkspaceRoot	getRoot()
void	report(int severity, int loc, int length, java.lang.String message)
void	reportAssociatedInfo(int loc)
void	reportAssociatedInfo2(int loc, javafe.util.ClipPolicy cp)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Esc2ProblemReporter

public Esc2ProblemReporter(Compiler compiler,
                           CompilationUnitDeclaration unit)

Method Detail

report

public void report(int severity,
                   int loc,
                   int length,
                   java.lang.String message)

Specified by:

report in interface javafe.util.ErrorSet.Reporter

Overrides:

report in class javafe.util.ErrorSet.StandardReporter

reportAssociatedInfo

public void reportAssociatedInfo(int loc)

Specified by:

reportAssociatedInfo in interface javafe.util.ErrorSet.Reporter

Overrides:

reportAssociatedInfo in class javafe.util.ErrorSet.StandardReporter

reportAssociatedInfo2

public void reportAssociatedInfo2(int loc,
                                  javafe.util.ClipPolicy cp)

Specified by:

reportAssociatedInfo2 in interface javafe.util.ErrorSet.Reporter

Overrides:

reportAssociatedInfo2 in class javafe.util.ErrorSet.StandardReporter

getRoot

public static IWorkspaceRoot getRoot()

Returns:

The singleton IWorkspaceRoot for the workspace