gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class FailEntry

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.FailEntry

public class FailEntry
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FailEntry.FailReason

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	failMsg
FailEntry.FailReason	failReason

Constructor Summary

Constructors

Constructor and Description
FailEntry(FailEntry.FailReason failReason, java.lang.String failMsg)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

failReason

public FailEntry.FailReason failReason

failMsg

public java.lang.String failMsg

Constructor Detail

FailEntry

public FailEntry(FailEntry.FailReason failReason,
                 java.lang.String failMsg)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object