ikra 0.0.1

data/lib/types/union_type.rb

@@ -0,0 +1,155 @@
+require_relative "ruby_type"
+require "set"
+
+module Ikra
+    module Types
+
+        # Represents a possibly polymorphic type consisting of 0..* instances of {RubyType}. Only primitive types or class types are allowed for these inner types, but not union types.
+        class UnionType
+            include RubyType
+
+            # @return [Set<RubyType>] Inner types
+            attr_reader :types
+
+            def initialize(*types)
+                # Check arguments
+                types.each do |type|
+                    if type.is_union_type?
+                        raise "Union type not allowed as inner type of union type"
+                    end
+                end
+
+                @types = Set.new(types)
+            end
+
+            def to_c_type
+                if @types.size == 1
+                    @types.first.to_c_type
+                else
+                    "union_t"
+                end
+            end
+
+            def to_ruby_type
+                if @types.size == 1
+                    @types.first.to_ruby_type
+                else
+                    raise "Not implemented yet"
+                end
+            end
+
+            def is_primitive?
+                if @types.size == 1
+                    @types.first.is_primitive?
+                else
+                    false
+                end
+            end
+
+            def is_union_type?
+                true
+            end
+
+            def is_singleton?
+                @types.size == 1
+            end
+
+            # Returns the single inner type or raises an error if this union type contains more than one inner type.
+            # @return [RubyType] Inner type
+            def singleton_type
+                if @types.size != 1
+                    raise "Union type is not singleton"
+                end
+
+                @types.first
+            end
+
+            # Merges all inner types of the argument into this union type.
+            # @param [UnionType] union_type The other union type
+            # @return [Bool] true if the argument added new inner types to this union type
+            def expand(union_type)
+                if not union_type.is_union_type?
+                    raise "Cannot expand with non-union type"
+                end
+
+                is_expanded = (union_type.types - @types).size > 0
+                @types.merge(union_type.types)
+                is_expanded
+            end
+
+            # Merges all inner types of the argument into this union type.
+            # @param [UnionType] union_type The other union type
+            # @return [UnionType] self
+            def expand_return_type(union_type)
+                expand(union_type)
+                self
+            end
+
+            def expand_with_singleton_type(singleton_type)
+                if singleton_type.is_union_type?
+                    raise "Singleton type expected"
+                end
+
+                is_expanded = !@types.include?(singleton_type)
+                @types.add(singleton_type)
+                is_expanded
+            end
+
+            # Determines if this union type contains a specific singleton type.
+            # @param [RubyType] singleton_type The other type
+            # @return [Bool] true if the type is included
+            def include?(singleton_type)
+                if singleton_type.is_union_type?
+                    raise "Union type can never be included in union type"
+                end
+
+                @types.include?(singleton_type)
+            end
+
+            def include_all?(union_type)
+                if not union_type.is_union_type?
+                    raise "Union type expected"
+                end
+
+                (union_type.types - @types).size == 0
+            end
+
+            # Alias for {#include_all?}
+            def <=(union_type)
+                union_type.include_all?(self)
+            end
+
+            def to_s
+                "{#{@types.to_a.join(", ")}}"
+            end
+
+            class << self
+                def create_int
+                    new(PrimitiveType::Int)
+                end
+
+                def create_float
+                    new(PrimitiveType::Float)
+                end
+
+                def create_bool
+                    new(PrimitiveType::Bool)
+                end
+
+                def create_void
+                    new(PrimitiveType::Void)
+                end
+
+                def create_unknown
+                    new(UnknownType::Instance)
+                end
+
+                def parameter_hash_to_s(hash)
+                    hash.map do |name, type|
+                        name.to_s + ": " + type.to_s
+                    end.join(", ")
+                end
+            end
+        end
+    end
+end

metadata

@@ -0,0 +1,321 @@
+--- !ruby/object:Gem::Specification
+name: ikra
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Matthias Springer
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-08-04 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: ffi
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.9.14
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.9.14
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.9.14
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.9.14
+- !ruby/object:Gem::Dependency
+  name: parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.3.1.2
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.3.1.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.3.1.2
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.3.1.2
+- !ruby/object:Gem::Dependency
+  name: method_source
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.8.2
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.8.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.8.2
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.8.2
+description: GPGPU Accelerator for Array-based Computations
+email: matthias.springer@acm.org
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/ast/builder.rb
+- lib/ast/lexical_variables_enumerator.rb
+- lib/ast/method_definition.rb
+- lib/ast/nodes.rb
+- lib/ast/printer.rb
+- lib/ast/translator.rb
+- lib/ast/visitor.rb
+- lib/config/configuration.rb
+- lib/config/os_configuration.rb
+- lib/entity.rb
+- lib/ikra.rb
+- lib/parsing.rb
+- lib/resources/cuda/block_function_head.cpp
+- lib/resources/cuda/env_builder_copy_array.cpp
+- lib/resources/cuda/header.cpp
+- lib/resources/cuda/kernel.cpp
+- lib/resources/cuda/kernel_launcher.cpp
+- lib/resources/cuda/soa_header.cpp
+- lib/scope.rb
+- lib/sourcify/Gemfile
+- lib/sourcify/HISTORY.txt
+- lib/sourcify/LICENSE
+- lib/sourcify/README.rdoc
+- lib/sourcify/Rakefile
+- lib/sourcify/lib/sourcify.rb
+- lib/sourcify/lib/sourcify/common/parser/converter.rb
+- lib/sourcify/lib/sourcify/common/parser/raw_scanner/comment.rb
+- lib/sourcify/lib/sourcify/common/parser/raw_scanner/counter.rb
+- lib/sourcify/lib/sourcify/common/parser/raw_scanner/dstring.rb
+- lib/sourcify/lib/sourcify/common/parser/raw_scanner/extensions.rb
+- lib/sourcify/lib/sourcify/common/parser/raw_scanner/heredoc.rb
+- lib/sourcify/lib/sourcify/common/parser/source_code.rb
+- lib/sourcify/lib/sourcify/common/ragel/common.rl
+- lib/sourcify/lib/sourcify/common/ragel/expressions.rl
+- lib/sourcify/lib/sourcify/common/ragel/machines.rl
+- lib/sourcify/lib/sourcify/errors.rb
+- lib/sourcify/lib/sourcify/method.rb
+- lib/sourcify/lib/sourcify/method/methods.rb
+- lib/sourcify/lib/sourcify/method/methods/to_raw_source.rb
+- lib/sourcify/lib/sourcify/method/methods/to_sexp.rb
+- lib/sourcify/lib/sourcify/method/methods/to_source.rb
+- lib/sourcify/lib/sourcify/method/parser.rb
+- lib/sourcify/lib/sourcify/method/parser/converter.rb
+- lib/sourcify/lib/sourcify/method/parser/raw_scanner.rb
+- lib/sourcify/lib/sourcify/method/parser/raw_scanner.rl
+- lib/sourcify/lib/sourcify/method/parser/raw_scanner_extensions.rb
+- lib/sourcify/lib/sourcify/method/parser/scanner.rb
+- lib/sourcify/lib/sourcify/method/parser/source_code.rb
+- lib/sourcify/lib/sourcify/patches.rb
+- lib/sourcify/lib/sourcify/proc.rb
+- lib/sourcify/lib/sourcify/proc/methods.rb
+- lib/sourcify/lib/sourcify/proc/methods/source_location.rb
+- lib/sourcify/lib/sourcify/proc/methods/to_raw_source.rb
+- lib/sourcify/lib/sourcify/proc/methods/to_sexp.rb
+- lib/sourcify/lib/sourcify/proc/methods/to_source.rb
+- lib/sourcify/lib/sourcify/proc/parser.rb
+- lib/sourcify/lib/sourcify/proc/parser/converter.rb
+- lib/sourcify/lib/sourcify/proc/parser/normalizer.rb
+- lib/sourcify/lib/sourcify/proc/parser/raw_scanner.rb
+- lib/sourcify/lib/sourcify/proc/parser/raw_scanner.rl
+- lib/sourcify/lib/sourcify/proc/parser/raw_scanner_extensions.rb
+- lib/sourcify/lib/sourcify/proc/parser/scanner.rb
+- lib/sourcify/lib/sourcify/proc/parser/source_code.rb
+- lib/sourcify/lib/sourcify/version.rb
+- lib/sourcify/sourcify.gemspec
+- lib/sourcify/spec/dump_object_space_procs.rb
+- lib/sourcify/spec/method/encoding_from_def_end_block_spec.rb
+- lib/sourcify/spec/method/encoding_from_define_method_spec.rb
+- lib/sourcify/spec/method/others_from_def_end_block_spec.rb
+- lib/sourcify/spec/method/others_from_define_method_spec.rb
+- lib/sourcify/spec/method/raw_scanner/block_comment_spec.rb
+- lib/sourcify/spec/method/raw_scanner/double_colons_spec.rb
+- lib/sourcify/spec/method/raw_scanner/double_quote_str_w_interpolation_spec.rb
+- lib/sourcify/spec/method/raw_scanner/double_quote_str_wo_interpolation_spec.rb
+- lib/sourcify/spec/method/raw_scanner/heredoc_w_indent_spec.rb
+- lib/sourcify/spec/method/raw_scanner/heredoc_wo_indent_spec.rb
+- lib/sourcify/spec/method/raw_scanner/kw_block_start_alias1_spec.rb
+- lib/sourcify/spec/method/raw_scanner/kw_block_start_alias2_spec.rb
+- lib/sourcify/spec/method/raw_scanner/per_line_comment_spec.rb
+- lib/sourcify/spec/method/raw_scanner/single_quote_str_spec.rb
+- lib/sourcify/spec/method/raw_scanner/slash_operator_spec.rb
+- lib/sourcify/spec/method/raw_scanner/spec_helper.rb
+- lib/sourcify/spec/method/spec_helper.rb
+- lib/sourcify/spec/method/to_raw_source_spec.rb
+- lib/sourcify/spec/method/to_raw_source_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_def_end_block_w_variables_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_def_end_block_within_irb_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_def_end_block_within_pry_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_define_method_w_multi_blocks_and_specified_attached_to_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_define_method_w_variables_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_define_method_within_irb_spec.rb
+- lib/sourcify/spec/method/to_sexp_from_define_method_within_pry_spec.rb
+- lib/sourcify/spec/method/to_sexp_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_19_extras_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_begin_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_case_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_class_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_do_end_block_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_for_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_if_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_literal_keyword_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_method_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_module_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_unless_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_until_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_nested_while_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_w_singleton_method_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_within_irb_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_block_within_pry_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_w_multi_blocks_and_many_matches_spec.rb
+- lib/sourcify/spec/method/to_source_from_def_end_w_multi_blocks_and_single_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_braced_block_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_do_end_block_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_many_matches_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_single_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_attached_to_and_many_matches_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_attached_to_and_no_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_attached_to_and_single_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_attached_to_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_body_matcher_and_many_matches_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_body_matcher_and_no_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_body_matcher_and_single_match_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_w_multi_blocks_and_specified_ignore_nested_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_within_irb_spec.rb
+- lib/sourcify/spec/method/to_source_from_define_method_within_pry_spec.rb
+- lib/sourcify/spec/method/to_source_magic_file_var_spec.rb
+- lib/sourcify/spec/method/to_source_magic_line_var_spec.rb
+- lib/sourcify/spec/method/to_source_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/no_method/unsupported_platform_spec.rb
+- lib/sourcify/spec/proc/19x_extras.rb
+- lib/sourcify/spec/proc/created_on_the_fly_proc_spec.rb
+- lib/sourcify/spec/proc/encoding_spec.rb
+- lib/sourcify/spec/proc/others_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/block_comment_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/double_colons_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/double_quote_str_w_interpolation_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/double_quote_str_wo_interpolation_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/heredoc_w_indent_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/heredoc_wo_indent_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/kw_block_start_alias1_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/kw_block_start_alias2_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/per_line_comment_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/single_quote_str_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/slash_operator_spec.rb
+- lib/sourcify/spec/proc/raw_scanner/spec_helper.rb
+- lib/sourcify/spec/proc/readme
+- lib/sourcify/spec/proc/spec_helper.rb
+- lib/sourcify/spec/proc/to_raw_source_spec.rb
+- lib/sourcify/spec/proc/to_raw_source_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/proc/to_sexp_from_multi_blocks_w_specified_attached_to_spec.rb
+- lib/sourcify/spec/proc/to_sexp_variables_spec.rb
+- lib/sourcify/spec/proc/to_sexp_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/proc/to_sexp_within_irb_spec.rb
+- lib/sourcify/spec/proc/to_sexp_within_pry_spec.rb
+- lib/sourcify/spec/proc/to_source_from_braced_block_w_nested_braced_block_spec.rb
+- lib/sourcify/spec/proc/to_source_from_braced_block_w_nested_hash_spec.rb
+- lib/sourcify/spec/proc/to_source_from_braced_block_wo_nesting_complication_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_begin_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_case_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_class_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_do_end_block_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_for_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_if_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_literal_keyword_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_method_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_module_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_unless_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_until_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_w_nested_while_spec.rb
+- lib/sourcify/spec/proc/to_source_from_do_end_block_wo_nesting_complication_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_many_matches_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_single_match_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_attached_to_and_many_matches_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_attached_to_and_no_match_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_attached_to_and_single_match_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_attached_to_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_body_matcher_and_many_matches_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_body_matcher_and_no_match_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_body_matcher_and_single_match_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_blocks_w_specified_ignore_nested_spec.rb
+- lib/sourcify/spec/proc/to_source_from_multi_do_end_blocks_w_single_match_spec.rb
+- lib/sourcify/spec/proc/to_source_magic_file_var_spec.rb
+- lib/sourcify/spec/proc/to_source_magic_line_var_spec.rb
+- lib/sourcify/spec/proc/to_source_variables_spec.rb
+- lib/sourcify/spec/proc/to_source_w_specified_strip_enclosure_spec.rb
+- lib/sourcify/spec/proc/to_source_within_irb_spec.rb
+- lib/sourcify/spec/proc/to_source_within_pry_spec.rb
+- lib/sourcify/spec/raw_scanner/block_comment_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/double_colons_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/double_quote_str_w_interpolation_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/double_quote_str_wo_interpolation_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/heredoc_w_indent_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/heredoc_wo_indent_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/kw_block_start_alias1_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/kw_block_start_alias2_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/per_line_comment_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/shared_specs.rb
+- lib/sourcify/spec/raw_scanner/single_quote_str_shared_spec.rb
+- lib/sourcify/spec/raw_scanner/slash_operator_shared_spec.rb
+- lib/sourcify/spec/run_build.sh
+- lib/sourcify/spec/spec_helper.rb
+- lib/symbolic/symbolic.rb
+- lib/symbolic/visitor.rb
+- lib/translator/block_translator.rb
+- lib/translator/command_translator.rb
+- lib/translator/last_returns_visitor.rb
+- lib/translator/local_variables_enumerator.rb
+- lib/translator/method_translator.rb
+- lib/translator/translator.rb
+- lib/type_aware_array.rb
+- lib/types/array_type.rb
+- lib/types/class_type.rb
+- lib/types/object_tracer.rb
+- lib/types/primitive_type.rb
+- lib/types/ruby_extension.rb
+- lib/types/ruby_type.rb
+- lib/types/type_inference.rb
+- lib/types/union_type.rb
+homepage: https://github.com/prg-titech/ikra-ruby
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.1
+signing_key: 
+specification_version: 4
+summary: Ikra
+test_files: []