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
QueryExceptionRecordingExceptionpublic void play(java.lang.Integer execId, CompositeActor workflow) throws QueryException, RecordingException
QueryExceptionRecordingExceptionpublic void setExecuteGraphicalActors(boolean execute)
public void setPlayPortEvents(boolean playPortEvents)