gov.nasa.jpf

Class Error

java.lang.Object

gov.nasa.jpf.Error

public class Error
extends java.lang.Object

class used to store property violations (property and path)

Constructor Summary

Constructors

Constructor and Description
Error(int id, Property prop, Path p, ThreadList l)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription()
java.lang.String	getDetails()
int	getId()
Path	getPath()
Property	getProperty()

Methods inherited from class java.lang.Object

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

Constructor Detail

Error

public Error(int id,
             Property prop,
             Path p,
             ThreadList l)

Method Detail

getId

public int getId()

getDescription

public java.lang.String getDescription()

getDetails

public java.lang.String getDetails()

getPath

public Path getPath()

getProperty

public Property getProperty()