class Ikra::Translator::ArrayCommandStructBuilder
Attributes
all_structs[R]
Public Class Methods
build_all_structs(command)
click to toggle source
# File lib/translator/array_command_struct_builder.rb, line 156 def self.build_all_structs(command) visitor = self.new command.accept(visitor) return visitor.all_structs end
new()
click to toggle source
# File lib/translator/array_command_struct_builder.rb, line 146 def initialize @all_structs = [] @builder = SingleStructBuilder.new end
struct_name(command)
click to toggle source
# File lib/translator/array_command_struct_builder.rb, line 41 def self.struct_name(command) return "array_command_#{command.unique_id}" end
Public Instance Methods
visit_array_command(command)
click to toggle source
Calls superclass method
Ikra::Symbolic::Visitor#visit_array_command
# File lib/translator/array_command_struct_builder.rb, line 151 def visit_array_command(command) super @all_structs.push(command.accept(@builder)) end