public class TextFileRecording extends Recording
Modifier and Type | Class and Description |
---|---|
protected class |
TextFileRecording.TextFileRecordingParameters
Configuration Parameters for TextFileRecording.
|
Modifier and Type | Field and Description |
---|---|
protected boolean |
_addTimestampVal
If true, add timestamp to output.
|
protected boolean |
_alwaysFlushVal
If true, flush after writing to output.
|
protected java.text.SimpleDateFormat |
_dFormat
Format timestamps.
|
protected java.lang.String |
_outputName
Output name.
|
protected TextFileRecording.TextFileRecordingParameters |
_params
Parameters for TextFileRecording
|
protected boolean |
_recordSpecVal
Whether to record workflow specification.
|
protected java.io.PrintStream |
_textWriter
Output writer.
|
_containerFullName, _containerLSID, _containerName, _debugPrint, _debugWriter, _machineStr, _recorder, _recorderContainer, _stateSerializer
Constructor and Description |
---|
TextFileRecording()
Create a new provenance recording.
|
Modifier and Type | Method and Description |
---|---|
protected void |
_write(java.lang.String str)
Output a string.
|
protected void |
_write(java.lang.String str,
boolean outputDebug)
Output a string.
|
protected void |
_writeOutput(java.lang.String str)
Output a string, optionally adding a timestamp.
|
protected void |
_writeOutput(java.lang.String str,
boolean outputDebug)
Output a string, optionally adding a timestamp.
|
protected void |
_writeOutput(java.lang.String str,
boolean outputDebug,
java.util.Date timestamp)
Output a string, optionally adding a timestamp.
|
protected void |
_writeOutput(java.lang.String str,
java.util.Date timestamp)
Output a string, optionally adding a timestamp.
|
void |
actorFire(FiringEvent event,
java.util.Date timestamp)
Record starting an actor fire event.
|
void |
attributeChanged(Attribute attribute)
React to a change in an attribute.
|
void |
customProvEvent(ProvenanceEvent event)
Record a custom provenance event.
|
void |
disconnect()
Stop recording.
|
void |
evolutionStart()
Start an evolution.
|
void |
evolutionStop()
Stop an evolution.
|
void |
executionError(Nameable source,
java.lang.Throwable throwable)
An actor threw an exception.
|
void |
executionStart()
Record the starting of workflow execution.
|
void |
executionStop()
Record the stopping of workflow execution.
|
RecordingParameters |
generateParameters(NamedObj no)
Add Parameters for ProvenanceListener.
|
void |
portEvent(IOPortEvent event,
java.util.Date timestamp)
Record a port event.
|
boolean |
regActor(Actor actor)
Register an actor.
|
boolean |
regDirector(Director director)
Register a director.
|
boolean |
regLink(NamedObj endPoint1,
NamedObj endPoint2)
Register a link between two endpoints.
|
boolean |
regParameter(NamedObj parameter)
Register a parameter.
|
boolean |
regPort(TypedIOPort port)
Register a port or portparameter.
|
boolean |
regRelation(IORelation relation)
Register a relation.
|
void |
remove(java.lang.String name)
A NamedObj was removed.
|
void |
removeLink(java.lang.String endPoint1,
java.lang.String endPoint2)
Remove a link between two endpoints.
|
void |
rename(java.lang.String oldName,
java.lang.String newName)
A NamedObj was renamed.
|
void |
setAddTimestamp(boolean addTimestamp)
Set if the output should have a timestamp.
|
void |
specificationStart()
Called before registering workflow contents.
|
void |
specificationStop()
Called when finished registering workflow contents.
|
void |
tagAdded(TagEvent event)
A tag was added.
|
void |
tagRemoved(TagEvent event)
A tag was removed.
|
_debug, _debug, _debugWrite, _debugWrite, _error, _getExceptionMessage, _getNameableFullName, _needWorkflowContents, _updateContainerName, _warn, actorFire, addFileForLastExecution, changeExecutionLSID, executionError, executionImported, executionImported, executionStart, executionStart, executionStart, executionStop, executionStop, executionStop, getContainer, getQueryable, portEvent, refillPortEvent, regContents, removeStateSerializer, renamedWorkflow, setContainer, setContainerLSID, setContainerName, setDebugWriter, setStateSerializer
protected boolean _recordSpecVal
protected java.io.PrintStream _textWriter
protected boolean _alwaysFlushVal
protected boolean _addTimestampVal
protected java.text.SimpleDateFormat _dFormat
protected TextFileRecording.TextFileRecordingParameters _params
protected java.lang.String _outputName
public TextFileRecording() throws RecordingException
RecordingException
public void disconnect() throws RecordingException
disconnect
in class Recording
RecordingException
public void specificationStart() throws RecordingException
specificationStart
in class Recording
RecordingException
public void specificationStop() throws RecordingException
specificationStop
in class Recording
RecordingException
public boolean regActor(Actor actor) throws RecordingException
regActor
in class Recording
RecordingException
public boolean regDirector(Director director) throws RecordingException
regDirector
in class Recording
RecordingException
public boolean regParameter(NamedObj parameter) throws RecordingException
regNNN()
method. This can be user-level
parameters (e.g., Parameter, StringParameter, etc.) or
internal to Kepler (e.g., _location, semanticType000, etc.).
(A "parameter" corresponds to a property in the MoML).regParameter
in class Recording
RecordingException
public boolean regLink(NamedObj endPoint1, NamedObj endPoint2) throws RecordingException
regLink
in class Recording
endPoint1
- first endpoint.endPoint2
- second endpoint.RecordingException
public boolean regPort(TypedIOPort port) throws RecordingException
regPort
in class Recording
RecordingException
public boolean regRelation(IORelation relation) throws RecordingException
regRelation
in class Recording
RecordingException
public void evolutionStart() throws RecordingException
Recording
evolutionStart
in class Recording
RecordingException
public void evolutionStop() throws RecordingException
Recording
evolutionStop
in class Recording
RecordingException
public void remove(java.lang.String name) throws RecordingException
Recording
remove
in class Recording
RecordingException
public void removeLink(java.lang.String endPoint1, java.lang.String endPoint2) throws RecordingException
Recording
removeLink
in class Recording
RecordingException
public void rename(java.lang.String oldName, java.lang.String newName) throws RecordingException
rename
in class Recording
RecordingException
public void executionStart() throws RecordingException
executionStart
in class Recording
RecordingException
public void executionStop() throws RecordingException
executionStop
in class Recording
RecordingException
public void executionError(Nameable source, java.lang.Throwable throwable) throws RecordingException
executionError
in class Recording
source
- the source of the error. This may be null.throwable
- the error.RecordingException
public void actorFire(FiringEvent event, java.util.Date timestamp) throws RecordingException
actorFire
in class Recording
RecordingException
public void portEvent(IOPortEvent event, java.util.Date timestamp) throws RecordingException
portEvent
in class Recording
RecordingException
public void customProvEvent(ProvenanceEvent event) throws RecordingException
customProvEvent
in class Recording
RecordingException
public RecordingParameters generateParameters(NamedObj no) throws IllegalActionException, NameDuplicationException
generateParameters
in class Recording
IllegalActionException
NameDuplicationException
public void attributeChanged(Attribute attribute) throws IllegalActionException
attributeChanged
in class Recording
IllegalActionException
public void tagAdded(TagEvent event) throws RecordingException
tagAdded
in class Recording
RecordingException
public void tagRemoved(TagEvent event) throws RecordingException
tagRemoved
in class Recording
RecordingException
public void setAddTimestamp(boolean addTimestamp)
protected void _write(java.lang.String str) throws RecordingException
RecordingException
protected void _write(java.lang.String str, boolean outputDebug) throws RecordingException
RecordingException
protected void _writeOutput(java.lang.String str) throws RecordingException
RecordingException
protected void _writeOutput(java.lang.String str, java.util.Date timestamp) throws RecordingException
RecordingException
protected void _writeOutput(java.lang.String str, boolean outputDebug) throws RecordingException
RecordingException
protected void _writeOutput(java.lang.String str, boolean outputDebug, java.util.Date timestamp) throws RecordingException
RecordingException