org.jmlspecs.eclipse.jdt.ui
Class EscjavaMarker

java.lang.Object
  org.jmlspecs.eclipse.jdt.ui.EscjavaMarker

Deprecated. - we have reverted to problem reporting via the JDT core.

public class EscjavaMarker
extends java.lang.Object

This class manages a new type of marker for Esc/Java2 warnings.

Author:

David R. Cok

Field Summary

static java.lang.String	ESCJAVA_MARKER_ID Deprecated. The id that is also used in plugin.xml.
static java.lang.String	EXTRA_INFO Deprecated. The id of the marker property that holds the 'associated declaration' information.

Constructor Summary

EscjavaMarker()
Deprecated.

Method Summary

static void	addMarkerInfo(java.lang.String filename, int line, int cpos) Deprecated. Adds extra information to the most recently created marker
static void	clearMarkers(java.util.Collection c) Deprecated. Clears all the markers for the resources in the Collection; does this within a ResourcesPlugin batch operation
static void	clearMarkers(IResource r) Deprecated. A callback called when the set of markers should be cleared.
void	escjavaFailed(IResource resource, java.lang.String file, int lineNumber, int offset, int length, java.lang.String errorMessage, int severity) Deprecated. A callback method called when a marker should be created.
static void	escjavaFailedX(IResource resource, java.lang.String file, int lineNumber, int offset, int length, java.lang.String errorMessage, int severity) Deprecated.
static java.util.List	getExtraInfo(IMarker m) Deprecated. Returns the extra information associated with a Marker.
static IWorkspaceRoot	getRoot() Deprecated.
static void	report(org.eclipse.core.runtime.IPath errorPath, int severity, int loc, int length, java.lang.String message) Deprecated.

Methods inherited from class java.lang.Object

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

Field Detail

ESCJAVA_MARKER_ID

public static final java.lang.String ESCJAVA_MARKER_ID

Deprecated.

The id that is also used in plugin.xml.

See Also:

Constant Field Values

EXTRA_INFO

public static final java.lang.String EXTRA_INFO

Deprecated.

The id of the marker property that holds the 'associated declaration' information.

See Also:

Constant Field Values

Constructor Detail

EscjavaMarker

public EscjavaMarker()

Deprecated.

Method Detail

report

public static void report(org.eclipse.core.runtime.IPath errorPath,
                          int severity,
                          int loc,
                          int length,
                          java.lang.String message)

Deprecated.

escjavaFailed

public void escjavaFailed(IResource resource,
                          java.lang.String file,
                          int lineNumber,
                          int offset,
                          int length,
                          java.lang.String errorMessage,
                          int severity)

Deprecated.

A callback method called when a marker should be created.

Parameters:

resource - The resource in which the error occured

file - The file in which the error occured

lineNumber - The line number where the error happened

offset - The character position (0-based) from the beginning of the file where the error begins

length - The number of characters to highlight

errorMessage - A message explaining the type of error

severity - The severity of the error (using one of the error severity constants defined in this class)

escjavaFailedX

public static void escjavaFailedX(IResource resource,
                                  java.lang.String file,
                                  int lineNumber,
                                  int offset,
                                  int length,
                                  java.lang.String errorMessage,
                                  int severity)

Deprecated.

addMarkerInfo

public static void addMarkerInfo(java.lang.String filename,
                                 int line,
                                 int cpos)
                          throws org.eclipse.core.runtime.CoreException

Deprecated.

Adds extra information to the most recently created marker

Parameters:

s - The additional information to be added

Throws:

org.eclipse.core.runtime.CoreException

clearMarkers

public static void clearMarkers(IResource r)
                         throws org.eclipse.core.runtime.CoreException

Deprecated.

A callback called when the set of markers should be cleared.

Parameters:

r - The resource whose markers are to be cleared

Throws:

org.eclipse.core.runtime.CoreException

clearMarkers

public static void clearMarkers(java.util.Collection c)
                         throws org.eclipse.core.runtime.CoreException

Deprecated.

Clears all the markers for the resources in the Collection; does this within a ResourcesPlugin batch operation

Parameters:

c - A collection of IResource objects

Throws:

org.eclipse.core.runtime.CoreException

getExtraInfo

public static java.util.List getExtraInfo(IMarker m)
                                   throws java.lang.Exception

Deprecated.

Returns the extra information associated with a Marker.

Parameters:

m - The marker whose infor is to be returned

Returns:

A List of String containing associated locations

Throws:

java.lang.Exception

getRoot

public static IWorkspaceRoot getRoot()

Deprecated.

Returns:

The singleton IWorkspaceRoot for the workspace