Package edu.udel.cis.vsl.civl.run.IF

Class TracePlayer

java.lang.Object

edu.udel.cis.vsl.civl.run.IF.Player

edu.udel.cis.vsl.civl.run.IF.TracePlayer

public class TracePlayer
extends Player

A tool to replay a trace saved by a previous CIVL session. NOTE: need to have the new options override the ones specified in the trace file.

Constructor Summary

Constructors

Constructor	Description
TracePlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config, Model model, edu.udel.cis.vsl.gmc.TransitionChooser<State,Transition> chooser, java.io.PrintStream out, java.io.PrintStream err)
TracePlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config, Model model, java.io.File traceFile, java.io.PrintStream out, java.io.PrintStream err)

Method Summary

Modifier and Type	Method	Description
long	getSeed()	Returns the random seed if this is a random simulator, otherwise 0.
static TracePlayer	guidedPlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config, Model model, java.io.File traceFile, java.io.PrintStream out, java.io.PrintStream err)
boolean	isRandom()
void	printStats()
static TracePlayer	randomPlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config, Model model, java.io.PrintStream out, java.io.PrintStream err)
edu.udel.cis.vsl.gmc.Trace<Transition,State>	run()

Methods inherited from class edu.udel.cis.vsl.civl.run.IF.Player

addPredicate, printResult, stateManager

Methods inherited from class java.lang.Object

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

Constructor Detail

TracePlayer

public TracePlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config,
                   Model model,
                   edu.udel.cis.vsl.gmc.TransitionChooser<State,Transition> chooser,
                   java.io.PrintStream out,
                   java.io.PrintStream err)
            throws edu.udel.cis.vsl.gmc.CommandLineException

Throws:

edu.udel.cis.vsl.gmc.CommandLineException

TracePlayer

public TracePlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config,
                   Model model,
                   java.io.File traceFile,
                   java.io.PrintStream out,
                   java.io.PrintStream err)
            throws edu.udel.cis.vsl.gmc.CommandLineException,
                   java.io.IOException,
                   edu.udel.cis.vsl.gmc.MisguidedExecutionException

Throws:

edu.udel.cis.vsl.gmc.CommandLineException

java.io.IOException

edu.udel.cis.vsl.gmc.MisguidedExecutionException

Method Detail

guidedPlayer

public static TracePlayer guidedPlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config,
                                       Model model,
                                       java.io.File traceFile,
                                       java.io.PrintStream out,
                                       java.io.PrintStream err)
                                throws edu.udel.cis.vsl.gmc.CommandLineException,
                                       java.io.IOException,
                                       edu.udel.cis.vsl.gmc.MisguidedExecutionException

Throws:

edu.udel.cis.vsl.gmc.CommandLineException

java.io.IOException

edu.udel.cis.vsl.gmc.MisguidedExecutionException

randomPlayer

public static TracePlayer randomPlayer(edu.udel.cis.vsl.gmc.GMCConfiguration config,
                                       Model model,
                                       java.io.PrintStream out,
                                       java.io.PrintStream err)
                                throws edu.udel.cis.vsl.gmc.CommandLineException,
                                       java.io.IOException,
                                       edu.udel.cis.vsl.gmc.MisguidedExecutionException

Throws:

edu.udel.cis.vsl.gmc.CommandLineException

java.io.IOException

edu.udel.cis.vsl.gmc.MisguidedExecutionException

run

public edu.udel.cis.vsl.gmc.Trace<Transition,State> run()
                                                       throws edu.udel.cis.vsl.gmc.MisguidedExecutionException

Throws:

edu.udel.cis.vsl.gmc.MisguidedExecutionException

printStats

public void printStats()

getSeed

public long getSeed()

Returns the random seed if this is a random simulator, otherwise 0.

Returns:

the random seed

isRandom

public boolean isRandom()