org.eclipse.mtj.preverifier.results
Class PreverificationError

java.lang.Object
  org.eclipse.mtj.preverifier.results.PreverificationError

public class PreverificationError
extends Object

The description of an error that occurred during preverification.

Constructor Summary

PreverificationError(PreverificationErrorType type, PreverificationErrorLocation location, String detailMessage)
Construct a new error.

Method Summary

String	getDetail() Returns the detailed message concerning this error or null if no detail message has been specified.
PreverificationErrorLocation	getLocation() Returns the location where the error occurred.
PreverificationErrorType	getType() Returns the type of the error.

Methods inherited from class java.lang.Object

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

Constructor Detail

PreverificationError

public PreverificationError(PreverificationErrorType type,
                            PreverificationErrorLocation location,
                            String detailMessage)

Construct a new error.

Parameters:

type -

location -

detailMessage -

Method Detail

getDetail

public String getDetail()

Returns the detailed message concerning this error or null if no detail message has been specified.

Returns:

Returns the detail.

getLocation

public PreverificationErrorLocation getLocation()

Returns the location where the error occurred.

Returns:

Returns the error location.

getType

public PreverificationErrorType getType()

Returns the type of the error.

Returns:

Returns the error type.