jack.plugin
Class RunnableWithError

java.lang.Object
  jack.plugin.RunnableWithError

Direct Known Subclasses:

Generator, ImageGenerator, JmlClauseGenerator

public class RunnableWithError

extends java.lang.Object

This class manages errors that can occur during an action.

Author:

A. Requet

Constructor Summary

RunnableWithError()

Method Summary

java.lang.String	getErrorDescription() Return a description of the error in case where hasSucceeded return false.
java.lang.String	getErrorDetails() Returns detail for the error, if available.
boolean	hasDetails() Indicates if a detailed description of the error is available.
boolean	hasSucceeded() Return true if the JPO generation succeeded, false otherwise.

Methods inherited from class java.lang.Object

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

Constructor Detail

RunnableWithError

public RunnableWithError()

Method Detail

hasSucceeded

public boolean hasSucceeded()

Return true if the JPO generation succeeded, false otherwise. In case where the method return false, a description of the error can be found in @see getErrorDescription()

hasDetails

public boolean hasDetails()

Indicates if a detailed description of the error is available.

Returns:

true if a detailed description of the error is available, false otherwise.

getErrorDescription

public java.lang.String getErrorDescription()

Return a description of the error in case where hasSucceeded return false.

getErrorDetails

public java.lang.String getErrorDetails()

Returns detail for the error, if available. return null if no details are available.