class RDG::Control::Ensure
Public Instance Methods
analyse()
click to toggle source
Calls superclass method
RDG::Analysis::Propagater#analyse
# File lib/rdg/control/ensure.rb, line 12 def analyse super registry.prepend_for(@finaliser, Handler) end
end_nodes()
click to toggle source
# File lib/rdg/control/ensure.rb, line 25 def end_nodes [@finaliser] end
internal_flow_edges()
click to toggle source
# File lib/rdg/control/ensure.rb, line 17 def internal_flow_edges [[@body, @finaliser]] end
prepare()
click to toggle source
# File lib/rdg/control/ensure.rb, line 8 def prepare @body, @finaliser = nodes end
start_node()
click to toggle source
# File lib/rdg/control/ensure.rb, line 21 def start_node @body end