Package org.mpi_sws.jmc.checker

Class JmcModelCheckerReport

java.lang.Object

org.mpi_sws.jmc.checker.JmcModelCheckerReport

public class JmcModelCheckerReport
extends Object

The JmcModelCheckerReport class represents a report generated by the JMC model checker.

Constructor Summary

Constructors

Constructor	Description
JmcModelCheckerReport(String reportPath)	Constructs a new JmcModelCheckerReport object.

Method Summary

Modifier and Type	Method	Description
Integer	getErrorIteration()
String	getErrorMessage()
<T> T	getParam(String key)
Long	getReplaySeed()
String	getReportPath()
Integer	getTotalIterations()
Long	getTotalTimeMillis()
void	setErrorIteration(Integer errorIteration)
void	setErrorMessage(String errorMessage)
void	setParam(String key, Object value)
void	setReplaySeed(Long replaySeed)
void	setTotalIterations(Integer totalIterations)
void	setTotalTimeMillis(Long totalTimeMillis)
void	setupReportPath()

Methods inherited from class java.lang.Object

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

Constructor Details

JmcModelCheckerReport

public JmcModelCheckerReport(String reportPath)

Constructs a new JmcModelCheckerReport object.

Method Details

setupReportPath

public void setupReportPath()

getReportPath

public String getReportPath()

setTotalTimeMillis

public void setTotalTimeMillis(Long totalTimeMillis)

getTotalTimeMillis

public Long getTotalTimeMillis()

setErrorIteration

public void setErrorIteration(Integer errorIteration)

getErrorIteration

public Integer getErrorIteration()

setErrorMessage

public void setErrorMessage(String errorMessage)

getErrorMessage

public String getErrorMessage()

setReplaySeed

public void setReplaySeed(Long replaySeed)

getReplaySeed

public Long getReplaySeed()

setTotalIterations

public void setTotalIterations(Integer totalIterations)

getTotalIterations

public Integer getTotalIterations()

setParam

public void setParam(String key,
 Object value)

getParam

public <T> T getParam(String key)