org.eclipse.emf.henshin.statespace.external.prism
Class PRISMExperiment

java.lang.Object
  org.eclipse.emf.henshin.statespace.external.prism.PRISMExperiment

public class PRISMExperiment
extends Object

Data class and parsing functionality for PRISM experiment results.

Field Summary

static NumberFormat

NUMBER_FORMAT English number format (used for parsing and printing).

Constructor Summary

PRISMExperiment()
Default constructor.

Method Summary

static StateSpaceXYPlot	generatePlot(StateSpace stateSpace, List<PRISMExperiment> experiments) Generate plots from a list of PRISM experiments.
Map<String,Double>	getConstants()
double	getResult()
static PRISMExperiment	parse(BufferedReader reader, org.eclipse.core.runtime.IProgressMonitor monitor) Parse an experiment from a PRISM process.
static List<PRISMExperiment>	parseAll(Process process, org.eclipse.core.runtime.IProgressMonitor monitor) Parse all experiments from a PRISM process.
static ValidationResult	parseValidationResult(StateSpace stateSpace, Process process, org.eclipse.core.runtime.IProgressMonitor monitor) Parse the output of PRISM and generate a validation result.
void	setResult(double result)

Methods inherited from class java.lang.Object

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

Field Detail

NUMBER_FORMAT

public static final NumberFormat NUMBER_FORMAT

English number format (used for parsing and printing).

Constructor Detail

PRISMExperiment

public PRISMExperiment()

Default constructor.

Method Detail

getResult

public double getResult()

setResult

public void setResult(double result)

getConstants

public Map<String,Double> getConstants()

parse

public static PRISMExperiment parse(BufferedReader reader,
                                    org.eclipse.core.runtime.IProgressMonitor monitor)
                             throws Exception

Parse an experiment from a PRISM process.

Parameters:

reader - Reader for the input stream of the PRISM process.

monitor - Progress monitor.

Returns:

The PRISMExperiment object.

Throws:

Exception - On errors.

parseAll

public static List<PRISMExperiment> parseAll(Process process,
                                             org.eclipse.core.runtime.IProgressMonitor monitor)
                                      throws Exception

Parse all experiments from a PRISM process.

Parameters:

process - PRISM process.

monitor - Progress monitor.

Returns:

List of experiments.

Throws:

Exception - On errors.

generatePlot

public static StateSpaceXYPlot generatePlot(StateSpace stateSpace,
                                            List<PRISMExperiment> experiments)

Generate plots from a list of PRISM experiments.

Parameters:

experiments - List of experiments.

Returns:

Generated plot.

parseValidationResult

public static ValidationResult parseValidationResult(StateSpace stateSpace,
                                                     Process process,
                                                     org.eclipse.core.runtime.IProgressMonitor monitor)
                                              throws Exception

Parse the output of PRISM and generate a validation result.

Parameters:

stateSpace - The state space.

process - The PRISM process.

monitor - Progress monitor.

Returns:

The validation result.

Throws:

Exception - On errors.