org.ginsim.servicegui.tool.avatar

Class AvatarResults

java.lang.Object

org.ginsim.servicegui.tool.avatar.AvatarResults

public class AvatarResults
extends Object

Facilities to run and kill simulations and display their results

Version:

1.0

Author:

Rui Henriques

Constructor Summary

Constructors

Constructor and Description
AvatarResults(Simulation _sim, JTextArea _progress, AvatarConfigFrame _parent, boolean _quiet, StatefulLogicalModel _model, File _memFile, File _logFile, File _resFile, File _csvFile, JButton _brun, JButton _stop) Creates the necessary context to run a simulation and display its results

Method Summary

Modifier and Type	Method and Description
static void	errorDisplay(String errorMessage, Exception e) Displays a message of error whenever a simulation is not successfully executed
void	kill(boolean dialog)
void	runAvatarResults() Executes the instantiated simulation and displays its results
void	showOutputFrame(Result res) Creates the graphical display of the results from an executed simulation (called after finishing 'runAvatarResults')

Methods inherited from class java.lang.Object

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

Constructor Detail

AvatarResults

public AvatarResults(Simulation _sim,
                     JTextArea _progress,
                     AvatarConfigFrame _parent,
                     boolean _quiet,
                     StatefulLogicalModel _model,
                     File _memFile,
                     File _logFile,
                     File _resFile,
                     File _csvFile,
                     JButton _brun,
                     JButton _stop)

Creates the necessary context to run a simulation and display its results

Parameters:

_sim - the simulation

_progress - the component for posting updates during the execution of a simulation

_parent - the parent panel

_quiet - whether detailed logs are to be printed (default: true)

_model - the stateful logical model possibly defining a set of initial states and oracles

_memFile - the directory or file to save plots

_logFile - the file to print logs

Method Detail

runAvatarResults

public void runAvatarResults()

Executes the instantiated simulation and displays its results

kill

public void kill(boolean dialog)

showOutputFrame

public void showOutputFrame(Result res)

Creates the graphical display of the results from an executed simulation (called after finishing 'runAvatarResults')

Parameters:

res - the results to be displayed

errorDisplay

public static void errorDisplay(String errorMessage,
                                Exception e)

Displays a message of error whenever a simulation is not successfully executed

Parameters:

errorMessage - the message to be display

e - the exception whose stack trace is to be printed in the log of ginsim