public class RecordPlayer extends java.lang.Object
Constructor and Description |
---|
RecordPlayer(Queryable queryable)
Create a new RecordPlayer using a Queryable as the source
and no Recording output.
|
RecordPlayer(Queryable queryable,
Recording recording)
Create a new RecordPlayer using a Queryable as the source,
and Recording for the output.
|
Modifier and Type | Method and Description |
---|---|
static void |
closeAllEffigies()
Close any effigies created while replaying workflows.
|
void |
executeActor(java.lang.String className)
Re-execute an actor.
|
Queryable |
getQueryable()
Get the queryable.
|
void |
play(java.lang.Integer execId)
Play a specific execution.
|
void |
play(java.lang.Integer execId,
CompositeActor workflow)
Play a specific execution for a workflow.
|
void |
setExecuteGraphicalActors(boolean execute)
Execute graphical actors in workflow.
|
void |
setPlayPortEvents(boolean playPortEvents)
Set if port events are to be played.
|
public RecordPlayer(Queryable queryable)
setExecuteGraphicalActors(boolean)
public RecordPlayer(Queryable queryable, Recording recording)
public static void closeAllEffigies() throws IllegalActionException, NameDuplicationException
public void executeActor(java.lang.String className)
className
- the class name of the actor to re-execute.public Queryable getQueryable()
public void play(java.lang.Integer execId) throws QueryException, RecordingException
QueryException
RecordingException
public void play(java.lang.Integer execId, CompositeActor workflow) throws QueryException, RecordingException
QueryException
RecordingException
public void setExecuteGraphicalActors(boolean execute)
public void setPlayPortEvents(boolean playPortEvents)