gov.nasa.jpf.util

Class Result

java.lang.Object

gov.nasa.jpf.util.Result

public class Result
extends java.lang.Object

simple result wrapper that can store a boolean value and a String, to be used as method return value if we have to keep exceptions in the callee

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	error
static Result	OK

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
static Result	failure(java.lang.String errorMsg)

Methods inherited from class java.lang.Object

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

Field Detail

OK

public static final Result OK

error

public final java.lang.String error

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

failure

public static Result failure(java.lang.String errorMsg)