yadriggy 1.1.0 → 1.2.0

data/lib/yadriggy/c/codegen.rb

@@ -23,25 +23,11 @@ module Yadriggy
         @typechecker = typechecker
         @func_counter = 0
         @func_names = {}
-        @nerrors = 0
-        @messages = []
         @public_methods = {}
         public_methods.each {|m| @public_methods[m.tree] = m.tree }
         @gvariables = {}
       end
 
-      # Tests whether a type error was found.
-      #
-      def errors?
-        @nerrors > 0
-      end
-
-      # Gets an array of error messages.
-      #
-      def error_messages
-        @messages
-      end
-
       # Gets the type checker.
       #
       def typechecker
@@ -99,7 +85,7 @@ module Yadriggy
       rule(InstanceVariable) do
         t = @typechecker.type(ast)
         vname = @gvariables[InstanceType.role(t)&.object]
-        error(ast, 'unknown instance variable') if vname.nil?
+        error!(ast, 'unknown instance variable') if vname.nil?
         @printer << vname
       end
 
@@ -153,7 +139,7 @@ module Yadriggy
       end
 
       rule(Dots) do
-        error(ast, 'a range object is not available')
+        error!(ast, 'a range object is not available')
       end
 
       rule(Call) do
@@ -199,7 +185,7 @@ module Yadriggy
       rule(Conditional) do
         case ast.op
         when :unless, :unless_mod
-          error(ast, "a bad control statement")
+          error!(ast, "a bad control statement")
         when :ifop
           @printer << '('
           check(ast.cond)
@@ -230,7 +216,7 @@ module Yadriggy
       rule(Loop) do
         case ast.op
         when :until, :while_mod, :until_mod
-          error(ast, "#{ast.op} is not available")
+          error!(ast, "#{ast.op} is not available")
         else
           @printer << 'while ('
           check(ast.cond)
@@ -355,7 +341,7 @@ module Yadriggy
           parameters(expr, fname_str, mt)
           @printer << ';' << :nl
         else
-          error(expr, "bad method #{fname_str}")
+          error!(expr, "bad method #{fname_str}")
         end
         self
       end
@@ -373,7 +359,7 @@ module Yadriggy
       #
       # @param [Array<String>] func_names  the names of the generated
       #   functions.
-      # @param [Array<Type>] func_names  the types of the original methods.
+      # @param [Array<Type>] func_types  the types of the original methods.
       # @return [Array<String>, Array<Type>]  the names and types.
       def expand_functions(func_names, func_types)
         return func_names, func_types
@@ -421,7 +407,7 @@ module Yadriggy
         if mt
           parameters(expr, fname, mt)
         else
-          error(expr, 'not a function')
+          error!(expr, 'not a function')
         end
 
         @printer << ' {'
@@ -449,7 +435,7 @@ module Yadriggy
             @printer << c_type(param_types[i]) << ' ' << p.name
           end
         else
-          error(expr, 'bad parameter types')
+          error!(expr, 'bad parameter types')
         end
         @printer << ')'
       end
@@ -458,7 +444,7 @@ module Yadriggy
       def local_var_declarations(def_or_block)
         local_vars = @typechecker.local_vars_table[def_or_block]
         if local_vars.nil?
-          error(def_or_block, 'bad function definition or block')
+          error!(def_or_block, 'bad function definition or block')
         else
           local_vars.each do |name, type|
             @printer << c_type(type) << ' ' << name.to_s << ';' << :nl
@@ -471,11 +457,10 @@ module Yadriggy
         CFI::c_type_name(type)
       end
 
-      def error(ast, msg)
-        @nerrors += 1
-        @messages << "#{ast.source_location_string}: #{msg}"
+      # @api private
+      def error_group
+        'code generation'
       end
-
     end # end of CodeGen
   end
 end

data/lib/yadriggy/c/config.rb

@@ -42,7 +42,7 @@ module Yadriggy
 
       # Compiler option for OpenCL
       # @return [String]
-      OpenCLoptions = '-framework opencl '
+      OpenCLoptions = '-framework opencl -DCL_SILENCE_DEPRECATION '
 
       # Lines inserted in the generated OpenCL source file.
       OpenCLHeaders = [ '#include <OpenCL/opencl.h>' ]

data/lib/yadriggy/c/ctype.rb

@@ -17,7 +17,7 @@ module Yadriggy
       class Float32
       end
 
-      # @private
+      # @api private
       # An alias `RubyClass[Float32]`.
       Float32Type = RubyClass[Float32]
 
@@ -33,11 +33,11 @@ module Yadriggy
         include Yadriggy::C::CType
       end
 
-      # @private
+      # @api private
       # Array type available only in C code.
       # See also {IntArray} and {FloatArray} in `ffi.rb`.
       class CArray < IvarObj
-        # @private
+        # @api private
         def typedecl(arg) end
 
         # debug mode.
@@ -53,14 +53,14 @@ module Yadriggy
           @debug = false
         end
 
-        # @private
+        # @api private
         # @abstract
         # @return [Type] the element type.
         def type()
           Undef
         end
 
-        # @private
+        # @api private
         def check_range(indexes)
           raise 'wrong number of indexes' unless indexes.size == @sizes.size
           indexes.each_index do |i|

data/lib/yadriggy/c/ctypecheck.rb

@@ -96,7 +96,7 @@ module Yadriggy
         Void
       end
 
-      # @private
+      # @api private
       # @param [ASTnode] type_expr
       def typedecl_type(type_expr)
         if type_expr.is_a?(Call)
@@ -116,7 +116,7 @@ module Yadriggy
         end
       end
 
-      # @private
+      # @api private
       def declare_type(name, name_ast, t)
         if name == 'return' || name == 'foreign'
           type_assert(valid_type?(t) || t == Void,
@@ -135,7 +135,7 @@ module Yadriggy
         end
       end
 
-      # @private
+      # @api private
       def check_duplicate(name, t)
         old_type = type_env.bound_name?(name)
         type_assert(old_type.nil? || old_type == t,
@@ -204,7 +204,7 @@ module Yadriggy
         binary_cexpr_type(ast.op, t1, t2)
       end
 
-      # @private
+      # @api private
       def binary_cexpr_type(op, t1, t2)
         case op
         when :+, :-, :*, :/
@@ -316,8 +316,8 @@ module Yadriggy
       # Specifies the names of methods with a block.
       #
       # @param [String] name  a method name.
-      # @see {CodeGen#call_with_block}
-      # @see {#typecheck_call_with_block}
+      # @see CodeGen#call_with_block
+      # @see #typecheck_call_with_block
       def method_with_block?(name)
         name == 'times'
       end

data/lib/yadriggy/c/ffi.rb

@@ -130,7 +130,7 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     # Attaches functions to a module.  The functions are retrieved
     # from the library generated by compiling Ruby methods.
     #
@@ -159,7 +159,7 @@ module Yadriggy
       module_obj
     end
 
-    # @private
+    # @api private
     # Generates a Ruby source file.  When the file is executed,
     # it retrieves functions from the library generated by
     # compiling Ruby methods, and then it attaches the functions
@@ -199,7 +199,7 @@ module Yadriggy
       file_name
     end
 
-    # @private
+    # @api private
     def self.invoker_name(mtype)
       case ArrayType.role(MethodType.role(mtype)&.result_type)&.element_type
       when RubyClass::Integer
@@ -213,25 +213,25 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     def self.invoke_int(module_obj, func_name, args)
       r = invoke(module_obj, func_name, args)
       IntArray.new(0, r)
     end
 
-    # @private
+    # @api private
     def self.invoke_float(module_obj, func_name, args)
       r = invoke(module_obj, func_name, args)
       FloatArray.new(0, r)
     end
 
-    # @private
+    # @api private
     def self.invoke_float32(module_obj, func_name, args)
       r = invoke(module_obj, func_name, args)
       Float32Array.new(0, r)
     end
 
-    # @private
+    # @api private
     def self.invoke(module_obj, func_name, args)
       args2 = args.map do |e|
         if e.is_a?(IntArray) || e.is_a?(FloatArray) || e.is_a?(Float32Array)
@@ -243,7 +243,7 @@ module Yadriggy
       module_obj.method(func_name).call(*args2)
     end
 
-    # @private
+    # @api private
     # C Function Interface
     module CFI
       def self.param_types(method_type)

data/lib/yadriggy/checker.rb

@@ -24,13 +24,13 @@ module Yadriggy
       @rule_declarators[node_type] = self
     end
 
-    # @private
+    # @api private
     # Initializes this class if necessary.
     def self.check_init_class
       init_class if @rules.nil?
     end
 
-    # @private
+    # @api private
     # @return [Array<Hash>] all the rules defined so far.
     def self.all_rules
       [@rules, @rule_declarators]
@@ -48,7 +48,7 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     # internal-use only.  Don't call this.
     # @return [Pair<Proc,Class>] a rule and the class declaring it, or nil.
     #
@@ -77,17 +77,68 @@ module Yadriggy
     # Initializes the object.
     def initialize
       self.class.check_init_class
-      @error = nil
+      @nerrors = 0
+      @messages = []
       @check_list = []
       @current_ast = nil
       @current_env = nil
       @rule_declarator = nil
     end
 
-    # @return [String] an error message when the last invocation of check()
-    # returns nil.
-    def error
-      @error || ''
+    # Tests whether a type error was found.
+    # @return [Boolean]  true if an error message is recorded.
+    #
+    def errors?
+      @nerrors > 0
+    end
+
+    # Gets an array of error messages.
+    # @return [Array<String>]  error messages or `[]`.
+    #
+    def error_messages
+      @messages
+    end
+
+    # The last error message.
+    #
+    # @return [String|nil]  the message.
+    def last_error
+      @messages.last
+    end
+
+    # Throws an error.
+    #
+    # @param [ASTnode] an_ast  the AST causing the error.
+    # @param [String] msg  the error message.
+    # @return [void]  always throws an exception.
+    def error_found!(an_ast, msg='')
+      emsg = error!(an_ast, msg)
+      raise CheckError.new(emsg)
+    end
+
+    # Records an error message.
+    #
+    # @param [ASTnode] an_ast  the AST causing the error.
+    # @param [String] msg      the error message.
+    #
+    def error!(an_ast, msg='')
+      loc  = if an_ast.is_a?(ASTnode)
+               an_ast.source_location_string
+             else
+               ''
+             end
+      emsg = "#{loc} DSL #{error_group} error. #{msg}"
+      @nerrors += 1
+      @messages << emsg
+      binding.pry if Yadriggy.debug > 1
+      emsg
+    end
+
+    # @api private
+    # The returned value is inserted into an error messagge
+    # as the error category.
+    def error_group
+      ''
     end
 
     # Applies rules to the given AST.
@@ -136,7 +187,7 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     # internal use only
     def apply_typing_rule(rule, an_ast, ast_tenv)
       if rule.nil?
@@ -194,23 +245,6 @@ module Yadriggy
       @check_list << [cur_ast, cur_env, proc]
     end
 
-    # @private
-    def error_found!(an_ast, msg='')
-      loc  = if an_ast.is_a?(ASTnode)
-               an_ast.source_location_string
-             else
-               ''
-             end
-      @error = "#{loc} DSL #{error_group} error. #{msg}"
-      binding.pry if Yadriggy.debug > 1
-      raise CheckError.new(@error)
-    end
-
-    # @private
-    def error_group
-      ''
-    end
-
     init_class
   end
 end

data/lib/yadriggy/eval.rb

@@ -115,7 +115,11 @@ module Yadriggy
     end
 
     def assign(expr)
-      binary(expr)
+      if expr.left.is_a?(Array) || expr.right.is_a?(Array)
+        raise NotImplementedError.new('multiple assignment')
+      else
+        binary(expr)
+      end
     end
 
     def array_ref(expr)

data/lib/yadriggy/eval_all.rb

@@ -51,6 +51,19 @@ module Yadriggy
       evaluate(expr.right)
     end
 
+    def assign(expr)
+      if expr.right.is_a?(Array)
+        expr.right.each {|e| evaluate(e) }
+      else
+        evaluate(expr.right)
+      end
+      if expr.left.is_a?(Array)
+        expr.left.each {|e| evaluate(e) }
+      else
+        evaluate(expr.left)
+      end
+    end
+
     def hash(expr)
       expr.pairs.each {|p| p.each {|e| evaluate(e) }}
     end

data/lib/yadriggy/pretty_print.rb

@@ -33,9 +33,17 @@ module Yadriggy
     end
 
     rule(Assign) do
-      print(ast.left)
+      if ast.left.is_a?(Array)
+        print_each(ast.left, true)
+      else
+        print(ast.left)
+      end
       @printer << ' ' << ast.op << ' '
-      print(ast.right)
+      if ast.right.is_a?(Array)
+        print_each(ast.right, true)
+      else
+        print(ast.right)
+      end
     end
 
     rule(Name) do
@@ -137,7 +145,7 @@ module Yadriggy
       is_cmd = ast.is_a?(Command)
       print(ast.receiver) if ast.receiver
       @printer << ast.op if ast.op
-      @printer << ast.name.name
+      @printer << ast.name.name if ast.name
       print_arguments(ast.args, ast.block_arg, ast.block, is_cmd)
     end
 
@@ -276,7 +284,7 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     def print_parameters(params_ast)
       is_first = true
       is_first = print_each(params_ast.params, is_first)
@@ -458,7 +466,7 @@ module Yadriggy
       end
     end
 
-    # @private
+    # @api private
     def print_each(array, first)
       array.each do |e|
         if e
@@ -473,7 +481,7 @@ module Yadriggy
       first
     end
 
-    # @private
+    # @api private
     def print_list(array, first)
       array.each do |e|
         if e