Class: RDG::Control::Case

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

Instance Method Summary collapse

Methods inherited from Analysis::Propagater

#analyse

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

#end_nodesObject



20
21
22
# File 'lib/rdg/control/case.rb', line 20

def end_nodes
  @consequences
end

#internal_flow_edgesObject



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

def internal_flow_edges
  nodes.each_cons(2).to_a
end

#prepareObject



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

def prepare
  @expression, *@consequences = nodes
end

#start_nodeObject



16
17
18
# File 'lib/rdg/control/case.rb', line 16

def start_node
  @expression
end