Method: Divine::BabelHelperMethods#get_fresh_variable_name

Defined in:
lib/divine/code_generators/code_generator.rb

#get_fresh_variable_name ⇒ Object

Return new variable name



67
68
69
70
 
# File 'lib/divine/code_generators/code_generator.rb', line 67

def get_fresh_variable_name
  @vindex = (@vindex || 0xFF) + 1
  return "var_#{@vindex.to_s(16)}"
end