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