Go to the documentation of this file.
33 #include <boost/format.hpp>
58 bool throwWhenConflict) :
60 operationID_(operationID), throwWhenConflict_(throwWhenConflict),
91 "Resource conflict detected: operation %s.")
FUResourceConflictDetector & detector_
The conflict detector used to test whether starting operation is legal.
virtual ~ConflictDetectingOperationExecutor()
virtual TCEString name() const
int OperationID
Type for identifying operations in the conflict detector interface.
virtual void startOperation(Operation &op)
bool hasPendingOperations_
This is set to true if the OperationExecutor is not in 'idle' mode.
virtual OperationExecutor * copy()
virtual void advanceClock()
const FUResourceConflictDetector::OperationID operationID_
The conflict detector ID of the operation executed with this executor.
virtual void startOperation(Operation &op)
ConflictDetectingOperationExecutor(FUResourceConflictDetector &detector, FUResourceConflictDetector::OperationID operationID, FUState &parent, TTAMachine::HWOperation &hwOp, bool throwWhenConflict)
virtual bool issueOperation(OperationID id)
ClockCycleCount conflictCounter_
Counter for detected conflicts.
virtual void advanceClock()
const bool throwWhenConflict_
True in case an exception should be thrown in case of a resource conflict.