Class: RDG::Control::Ensure

Inherits:
Analysis::Propagater show all
Defined in:
lib/rdg/control/ensure.rb

Instance Method Summary collapse

Methods inherited from Analysis::Analyser

#initialize, register_analyser, register_default_analyser

Constructor Details

This class inherits a constructor from RDG::Analysis::Analyser

Instance Method Details

#analyse ⇒ Object 



12
13
14
15
 
# File 'lib/rdg/control/ensure.rb', line 12

def analyse
  super
  registry.prepend_for(@finaliser, Handler)
end

#end_nodes ⇒ Object 



25
26
27
 
# File 'lib/rdg/control/ensure.rb', line 25

def end_nodes
  [@finaliser]
end

#internal_flow_edges ⇒ Object 



17
18
19
 
# File 'lib/rdg/control/ensure.rb', line 17

def internal_flow_edges
  [[@body, @finaliser]]
end

#prepare ⇒ Object 



8
9
10
 
# File 'lib/rdg/control/ensure.rb', line 8

def prepare
  @body, @finaliser = nodes
end

#start_node ⇒ Object 



21
22
23
 
# File 'lib/rdg/control/ensure.rb', line 21

def start_node
  @body
end