Exception: Roby::EventStructure::MissedDeadlineError

Inherits:
LocalizedError show all
Defined in:
lib/roby/event_structure/temporal_constraints.rb

Overview

Exception class used when an event has missed its deadline

Instance Attribute Summary collapse

Attributes inherited from LocalizedError

#failed_event, #failed_generator, #failed_task, #failure_point

Attributes inherited from Roby::ExceptionBase

#original_exceptions

Instance Method Summary collapse

Methods inherited from LocalizedError

#fatal?, #involved_plan_object?, match, #propagated?, #to_execution_exception, to_execution_exception_matcher

Methods included from DRoby::V5::LocalizedErrorDumper

#droby_dump

Methods inherited from Roby::ExceptionBase

#each_original_exception, #report_exceptions_from

Methods included from DRoby::V5::ExceptionBaseDumper

#droby_dump

Methods included from DRoby::V5::Builtins::ExceptionDumper

#droby_dump

Constructor Details

#initialize(generator, constraining_event, deadline) ⇒ MissedDeadlineError

Returns a new instance of MissedDeadlineError.



66
67
68
69
70
# File 'lib/roby/event_structure/temporal_constraints.rb', line 66

def initialize(generator, constraining_event, deadline)
    super(generator)
    @constraining_event = constraining_event
    @deadline = deadline
end

Instance Attribute Details

#constraining_eventObject (readonly)

The event from which we deduced the deadline



62
63
64
# File 'lib/roby/event_structure/temporal_constraints.rb', line 62

def constraining_event
  @constraining_event
end

#deadlineObject (readonly)

The time before which the failed generator should have emitted



64
65
66
# File 'lib/roby/event_structure/temporal_constraints.rb', line 64

def deadline
  @deadline
end

Instance Method Details

#pretty_print(pp) ⇒ Object



72
73
74
75
76
# File 'lib/roby/event_structure/temporal_constraints.rb', line 72

def pretty_print(pp)
    pp.text "#{failed_generator} missed the deadline of #{deadline}"
    pp.breakable
    pp.text "  required after the emission of #{constraining_event}"
end