yadriggy 1.1.0 → 1.2.0

data/lib/yadriggy/typecheck.rb

@@ -6,7 +6,10 @@ require 'yadriggy/type'
 
 module Yadriggy
 
-  # Type checker for ASTree
+  # Type checker for ASTree.
+  # This provides several basic methods and utility classes for type checking.
+  # It does not specify any specific typing rules.  Define a subclass of
+  # {TypeChecker} and write typing rules there.
   #
   # A type object used by TypeChecker can be an instance of any subclass
   # of Type.  It does not have to necessarily be an object representing
@@ -81,7 +84,7 @@ module Yadriggy
         @parent&.context
       end
 
-      # @private
+      # @api private
       class BaseTypeEnv < TypeEnv
         def initialize(clazz)
           super(nil)
@@ -192,7 +195,7 @@ module Yadriggy
 
     # Applies typing rules to the given AST.
     # It returns the type of the AST or throws
-    # a CheckError.
+    # a {CheckError}.
     # This is the entry point of the type checker.  It may also
     # type the other ASTs invoked in the given AST.
     #
@@ -211,7 +214,7 @@ module Yadriggy
       TypeEnv::BaseTypeEnv.new(klass)
     end
 
-    # @private
+    # @api private
     # Internal-use only.  Don't use this method.  Use type().
     #
     def check(an_ast, ast_tenv=nil)
@@ -245,7 +248,7 @@ module Yadriggy
     #
     # @param [ASTnode|nil]  an_ast  an AST.
     # @param [Type] a_type  a type.
-    # @param [Type|nil] the given type `a_type`.
+    # @return [Type|nil] the given type `a_type`.
     def type_as(an_ast, a_type)
       if an_ast.nil?
         DynType
@@ -254,6 +257,16 @@ module Yadriggy
       end
     end
 
+    # Gets the type of the given AST if its type has been
+    # already determined by {.type}.  Only the memoized types
+    # are returned.
+    #
+    # @param [ASTnode]   an_ast    an AST.
+    # @return [Type|nil] the type or `nil` if not found.
+    def type?(an_ast)
+      @typetable[an_ast]
+    end
+
     def type_assert(is_valid, errmsg='')
       error_found!(@current_ast, errmsg) unless is_valid
     end

data/lib/yadriggy/version.rb

@@ -1,5 +1,5 @@
 # Copyright (C) 2017- Shigeru Chiba.  All rights reserved.
 
 module Yadriggy
-  VERSION = "1.1.0"
+  VERSION = "1.2.0"
 end

data/yadriggy.gemspec

@@ -11,7 +11,7 @@ Gem::Specification.new do |spec|
 
   spec.summary       = %q{library for building a DSL embedded in Ruby.}
 
-  spec.description   = %q{Yadriggy builds the abstract syntax tree (AST) of a method, checks its syntax and types, and runs it.  When checking the syntax and types, it is treated as the code written in a domain specific language (DSL).  It also provide a simple DSL for computation offloading from Ruby to C.}
+  spec.description   = %q{Yadriggy builds the abstract syntax tree (AST) of a method, checks its syntax and types, and runs it.  When checking the syntax and types, it is treated as the code written in a domain specific language (DSL).  It also provide simple DSLs for computation offloading from Ruby to C, Python, etc.}
 
   spec.homepage      = "https://github.com/csg-tokyo/yadriggy"
   spec.license       = "MIT"
@@ -28,6 +28,7 @@ Gem::Specification.new do |spec|
 
   spec.add_development_dependency "bundler", "~> 1.13"
   spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "yard"
   # spec.add_development_dependency "minitest", "~> 5.0"
   spec.add_development_dependency "test-unit", "~> 3.2.5"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: yadriggy
 version: !ruby/object:Gem::Version
-  version: 1.1.0
+  version: 1.2.0
 platform: ruby
 authors:
 - Shigeru Chiba
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-07-07 00:00:00.000000000 Z
+date: 2018-12-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ffi
@@ -66,6 +66,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: yard
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: test-unit
   requirement: !ruby/object:Gem::Requirement
@@ -82,14 +96,15 @@ dependencies:
         version: 3.2.5
 description: Yadriggy builds the abstract syntax tree (AST) of a method, checks its
   syntax and types, and runs it.  When checking the syntax and types, it is treated
-  as the code written in a domain specific language (DSL).  It also provide a simple
-  DSL for computation offloading from Ruby to C.
+  as the code written in a domain specific language (DSL).  It also provide simple
+  DSLs for computation offloading from Ruby to C, Python, etc.
 email: 
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
 - ".gitignore"
+- ".yardopts"
 - Gemfile
 - LICENSE
 - README.md
@@ -114,6 +129,11 @@ files:
 - lib/yadriggy/eval_all.rb
 - lib/yadriggy/pretty_print.rb
 - lib/yadriggy/printer.rb
+- lib/yadriggy/py.rb
+- lib/yadriggy/py/codegen.rb
+- lib/yadriggy/py/import.rb
+- lib/yadriggy/py/py_typechecker.rb
+- lib/yadriggy/py/python.rb
 - lib/yadriggy/ruby_typecheck.rb
 - lib/yadriggy/ruby_typeinfer.rb
 - lib/yadriggy/source_code.rb