RubyToC 1.0.0.4 → 1.0.0.5

data/{test_typed_sexp_processor.rb → test/test_typed_sexp_processor.rb}

@@ -1,11 +1,9 @@
 #!/usr/local/bin/ruby -w
 
-require 'test_sexp_processor'
+require 'test_sexp'
 require 'typed_sexp_processor'
 require 'test/unit'
 
-# Fake test classes:
-
 class TestTypedSexp < TestSexp
 
   def setup
@@ -13,11 +11,68 @@ class TestTypedSexp < TestSexp
     @sexp.sexp_type = Type.str
   end
 
+  def test__set_sexp_type
+    assert_equal Type.str, @sexp.sexp_type
+    @sexp._set_sexp_type Type.bool
+    assert_equal Type.bool, @sexp.sexp_type
+  end
+
+  def test_equals2_tsexp
+    sexp2 = s(1, 2, 3)
+    sexp3 = t(1, 2, 3, Type.str)
+    assert_equal(@sexp, sexp3)
+    assert_not_equal(@sexp, sexp2)
+  end
+
+  def test_equals_array_typed
+    # can't use assert_equals because it uses array as receiver
+    assert_not_equal(@sexp, [1, 2, 3, Type.str],
+                     "Sexp must not be equal to equivalent array")
+    # both directions just in case
+    assert_not_equal([1, 2, 3, Type.str], @sexp,
+                     "Sexp must not be equal to equivalent array")
+  end
+
+  def test_equals_not_body_typed
+    sexp2 = t(1, 2, 5)
+    sexp2.sexp_type = Type.str
+    assert_not_equal(@sexp, sexp2)
+  end
+
+  def test_equals_not_type
+    sexp2 = t(1, 2, 3)
+    sexp2.sexp_type = Type.long
+    assert_not_equal(@sexp, sexp2)
+  end
+
+  def test_equals_sexp
+    sexp2 = t(1, 2, 3, Type.str)
+    assert_equal(@sexp, sexp2)
+  end
+
+  def test_equals_sexp_typed
+    sexp2 = t(1, 2, 3)
+    sexp2.sexp_type = Type.str
+    assert_equal(@sexp, sexp2)
+  end
+
   def test_new_nested_typed
     @sexp = TypedSexp.new(:lasgn, "var", TypedSexp.new(:str, "foo", Type.str), Type.str)
     assert_equal('t(:lasgn, "var", t(:str, "foo", Type.str), Type.str)',
                  @sexp.inspect)
   end
+
+  def test_pretty_print_typed
+    util_pretty_print("t(Type.str)",
+                      t(Type.str))
+    util_pretty_print("t(:a, Type.long)",
+                      t(:a, Type.long))
+    util_pretty_print("t(:a, :b, Type.long)",
+                      t(:a, :b, Type.long))
+    util_pretty_print("t(:a, t(:b, Type.long), Type.str)",
+                      t(:a, t(:b, Type.long), Type.str))
+  end
+
   def test_sexp_type
     assert_equal(Type.str, @sexp.sexp_type)
   end
@@ -29,13 +84,6 @@ class TestTypedSexp < TestSexp
     assert_equal(24, @sexp.sexp_type)
   end
 
-  def test_sexp_type_array_homo
-    @sexp = t(:array, t(:lit, 1, Type.long),
-                          t(:lit, 2, Type.long))
-    assert_equal(Type.homo, @sexp.sexp_type)
-    assert_equal([Type.long, Type.long], @sexp.sexp_types)
-  end
-
   def test_sexp_type_array_hetero
     @sexp = t(:array, t(:lit, 1, Type.long),
                           t(:str, "foo", Type.str))
@@ -43,6 +91,13 @@ class TestTypedSexp < TestSexp
     assert_equal([Type.long, Type.str], @sexp.sexp_types)
   end
 
+  def test_sexp_type_array_homo
+    @sexp = t(:array, t(:lit, 1, Type.long),
+                          t(:lit, 2, Type.long))
+    assert_equal(Type.homo, @sexp.sexp_type)
+    assert_equal([Type.long, Type.long], @sexp.sexp_types)
+  end
+
   def test_sexp_type_array_nested
     @sexp = t(:array, t(:lit, 1, Type.long),
                      t(:array, t(:lit, 1, Type.long)))
@@ -50,12 +105,6 @@ class TestTypedSexp < TestSexp
     assert_equal([Type.long, Type.homo], @sexp.sexp_types)
   end
 
-  def test__set_sexp_type
-    assert_equal Type.str, @sexp.sexp_type
-    @sexp._set_sexp_type Type.bool
-    assert_equal Type.bool, @sexp.sexp_type
-  end
-
   def test_sexp_types
     assert_raises(RuntimeError) do
       @sexp.sexp_types
@@ -66,47 +115,13 @@ class TestTypedSexp < TestSexp
     assert_equal([Type.long, Type.str], @sexp.sexp_types)
   end
 
-  def test_equals_sexp
-    sexp2 = t(1, 2, 3, Type.str)
-    assert_equal(@sexp, sexp2)
-  end
-
-  def test_equals_not_body_typed
-    sexp2 = t(1, 2, 5)
-    sexp2.sexp_type = Type.str
-    assert_not_equal(@sexp, sexp2)
-  end
-
-  def test_equals_not_type
-    sexp2 = t(1, 2, 3)
-    sexp2.sexp_type = Type.long
-    assert_not_equal(@sexp, sexp2)
-  end
-
-  def test_equals_sexp_typed
-    sexp2 = t(1, 2, 3)
-    sexp2.sexp_type = Type.str
-    assert_equal(@sexp, sexp2)
-  end
-
-  def test_equals_array_typed
-    # can't use assert_equals because it uses array as receiver
-    assert_not_equal(@sexp, [1, 2, 3, Type.str],
-                     "Sexp must not be equal to equivalent array")
-    # both directions just in case
-    assert_not_equal([1, 2, 3, Type.str], @sexp,
-                     "Sexp must not be equal to equivalent array")
+  def test_to_a
+    @sexp = t(1, 2, 3)
+    assert_equal([1, 2, 3], @sexp.to_a)
   end
 
-  def test_pretty_print_typed
-    util_pretty_print("t(Type.str)",
-                      t(Type.str))
-    util_pretty_print("t(:a, Type.long)",
-                      t(:a, Type.long))
-    util_pretty_print("t(:a, :b, Type.long)",
-                      t(:a, :b, Type.long))
-    util_pretty_print("t(:a, t(:b, Type.long), Type.str)",
-                      t(:a, t(:b, Type.long), Type.str))
+  def test_to_a_typed
+    assert_equal([1, 2, 3, Type.str], @sexp.to_a)
   end
 
   def test_to_s_typed
@@ -121,14 +136,4 @@ class TestTypedSexp < TestSexp
     assert_equal("#{n}(:a, #{n}(:b, Type.long), Type.str)",
                  k.new(:a, k.new(:b, Type.long), Type.str).inspect)
   end
-
-  def test_to_a
-    @sexp = t(1, 2, 3)
-    assert_equal([1, 2, 3], @sexp.to_a)
-  end
-
-  def test_to_a_typed
-    assert_equal([1, 2, 3, Type.str], @sexp.to_a)
-  end
-
 end

metadata

@@ -1,74 +1,81 @@
 --- !ruby/object:Gem::Specification 
-rubygems_version: 0.8.10.1
+rubygems_version: 0.8.11.15
 specification_version: 1
 name: RubyToC
 version: !ruby/object:Gem::Version 
-  version: 1.0.0.4
-date: 2005-07-13
+  version: 1.0.0.5
+date: 2006-05-12 00:00:00 -07:00
 summary: Ruby (subset) to C translator.
 require_paths: 
-  - "."
+- lib
 email: ryand-ruby@zenspider.com
 homepage: http://rubyforge.org/projects/ruby2c/
 rubyforge_project: ruby2c
 description: ruby_to_c translates a static ruby subset to C. Hopefully it works.
-autorequire: ruby_to_c
+autorequire: 
 default_executable: 
 bindir: bin
 has_rdoc: true
 required_ruby_version: !ruby/object:Gem::Version::Requirement 
   requirements: 
-    - 
-      - ">"
-      - !ruby/object:Gem::Version 
-        version: 0.0.0
+  - - ">"
+    - !ruby/object:Gem::Version 
+      version: 0.0.0
   version: 
 platform: ruby
+signing_key: 
+cert_chain: 
+post_install_message: 
 authors: 
-  - Ryan Davis
+- Ryan Davis
 files: 
-  - History.txt
-  - Makefile
-  - Manifest.txt
-  - README.txt
-  - demo/char.rb
-  - demo/factorial.rb
-  - demo/hello.rb
-  - demo/misc.rb
-  - demo/newarray.rb
-  - demo/strcat.rb
-  - rewrite.rb
-  - rewriter.rb
-  - ruby_to_c.rb
-  - support.rb
-  - test_all.rb
-  - test_extras.rb
-  - test_rewriter.rb
-  - test_ruby_to_c.rb
-  - test_support.rb
-  - test_type_checker.rb
-  - test_typed_sexp_processor.rb
-  - translate.rb
-  - type.rb
-  - type_checker.rb
-  - typed_sexp_processor.rb
-  - validate.sh
-  - zcomparable.rb
+- History.txt
+- Makefile
+- Manifest.txt
+- README.txt
+- Rakefile
+- bin/ruby_to_c_show
+- bin/ruby_to_c_validate
+- demo/char.rb
+- demo/factorial.rb
+- demo/hello.rb
+- demo/misc.rb
+- demo/newarray.rb
+- demo/strcat.rb
+- lib/rewriter.rb
+- lib/ruby_to_ansi_c.rb
+- lib/ruby_to_ruby_c.rb
+- lib/support.rb
+- lib/type_checker.rb
+- lib/typed_sexp_processor.rb
+- test/r2ctestcase.rb
+- test/test_all.rb
+- test/test_extras.rb
+- test/test_rewriter.rb
+- test/test_ruby_to_ansi_c.rb
+- test/test_ruby_to_ruby_c.rb
+- test/test_support.rb
+- test/test_type_checker.rb
+- test/test_typed_sexp_processor.rb
 test_files: 
-  - test_all.rb
+- test/test_all.rb
 rdoc_options: []
+
 extra_rdoc_files: []
+
 executables: []
+
 extensions: []
+
 requirements: []
+
 dependencies: 
-  - !ruby/object:Gem::Dependency 
-    name: ParseTree
-    version_requirement: 
-    version_requirements: !ruby/object:Gem::Version::Requirement 
-      requirements: 
-        - 
-          - ">"
-          - !ruby/object:Gem::Version 
-            version: 0.0.0
-      version: 
+- !ruby/object:Gem::Dependency 
+  name: ParseTree
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Version::Requirement 
+    requirements: 
+    - - ">"
+      - !ruby/object:Gem::Version 
+        version: 0.0.0
+    version: 

data/rewrite.rb

@@ -1,32 +0,0 @@
-#!/usr/local/bin/ruby -w
-
-require 'pp'
-require 'rewriter'
-
-old_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  old_classes << klass
-end
-
-ARGV.each do |name|
-  require name
-end
-
-new_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  new_classes << klass
-end
-
-new_classes -= old_classes
-
-parser = ParseTree.new
-rewriter = Rewriter.new
-
-new_classes.each do |klass|
-  sexp = parser.parse_tree klass
-  sexp.each do |exp|
-    exp = rewriter.process(exp)
-    pp exp
-  end
-end
-

data/translate.rb

@@ -1,31 +0,0 @@
-#!/usr/local/bin/ruby -ws
-
-begin require 'rubygems' rescue LoadError end
-require 'parse_tree'
-require 'ruby_to_c'
-
-old_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  old_classes << klass
-end
-
-ARGV.each do |name|
-  require name
-end
-
-new_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  new_classes << klass
-end
-
-new_classes -= old_classes
-new_classes = [ eval($c) ] if defined? $c
-
-rubytoc = RubyToC.translator
-
-code = ParseTree.new(false).parse_tree(*new_classes).map do |klass|
-  rubytoc.process(klass)
-end # rescue nil
-
-puts rubytoc.processors.last.preamble
-puts code.join("\n\n")

data/type.rb

@@ -1,33 +0,0 @@
-#!/usr/local/bin/ruby -ws
-
-require 'pp'
-require 'type_checker'
-
-old_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  old_classes << klass
-end
-
-ARGV.each do |name|
-  require name
-end
-
-new_classes = []
-ObjectSpace.each_object(Class) do |klass|
-  new_classes << klass
-end
-
-new_classes -= old_classes
-new_classes = [ eval($c) ] if defined? $c
-
-parser = ParseTree.new(false)
-rewriter = Rewriter.new
-type_checker = TypeChecker.new
-
-new_classes.each do |klass|
-  sexp = parser.parse_tree klass
-  sexp.each do |exp|
-    exp = type_checker.process(rewriter.process(exp))
-    pp exp.to_a
-  end
-end

data/zcomparable.rb

@@ -1,300 +0,0 @@
-
-class ZComparable
-
-# int
-# rb_cmpint(val, a, b)
-#     VALUE val, a, b;
-# {
-#     if (NIL_P(val)) {
-# 	zrb_cmperr(a, b);
-#     }
-#     if (FIXNUM_P(val)) return FIX2INT(val);
-#     if (TYPE(val) == T_BIGNUM) {
-# 	if (RBIGNUM(val)->sign) return 1;
-# 	return -1;
-#     }
-#     if (RTEST(rb_funcall(val, '>', 1, INT2FIX(0)))) return 1;
-#     if (RTEST(rb_funcall(val, '<', 1, INT2FIX(0)))) return -1;
-#     return 0;
-# }
-
-def zrb_cmpint(val, a, b)
-  return val.to_i
-end
-
-# void
-# rb_cmperr(x, y)
-#     VALUE x, y;
-# {
-#     const char *classname;
-#
-#     if (SPECIAL_CONST_P(y)) {
-# 	y = rb_inspect(y);
-# 	classname = StringValuePtr(y);
-#     }
-#     else {
-# 	classname = rb_obj_classname(y);
-#     }
-#     rb_raise(rb_eArgError, "comparison of %s with %s failed",
-# 	     rb_obj_classname(x), classname);
-# }
-
-def zrb_cmperr(x, y)
-  $stderr.puts("comparison of " + x.class.to_s + " with " + y.class.to_s + " failed")
-  exit 1
-#  raise ArgumentError, "comparison of #{x.class} with #{y.class} failed"
-end
-
-# #define cmperr() (rb_cmperr(x, y), Qnil)
-
-# static VALUE
-# cmp_eq(a)
-#     VALUE *a;
-# {
-#     VALUE c = rb_funcall(a[0], cmp, 1, a[1]);
-
-#     if (NIL_P(c)) return Qnil;
-#     if (rb_cmpint(c, a[0], a[1]) == 0) return Qtrue;
-#     return Qfalse;
-# }
-
-def zcmp_eq(a, b)
-  c = a <=> b
-  return false if c.nil?
-  return c.to_i == 0
-end
-
-# static VALUE
-# cmp_failed()
-# {
-#     return Qnil;
-# }
-
-# TODO RETIRE me
-def zcmp_failed
-  return nil
-end
-
-# /*
-#  *  call-seq:
-#  *     obj == other    => true or false
-#  *  
-#  *  Compares two objects based on the receiver's <code><=></code>
-#  *  method, returning true if it returns 0. Also returns true if
-#  *  _obj_ and _other_ are the same object.
-#  */
-
-# static VALUE
-# cmp_equal(x, y)
-#     VALUE x, y;
-# {
-#     VALUE a[2];
-#
-#     if (x == y) return Qtrue;
-#
-#     a[0] = x; a[1] = y;
-#     return rb_rescue(cmp_eq, (VALUE)a, cmp_failed, 0);
-# }
-
-def zcmp_equal(x, y)
-
-  if x.equal? y then
-    return true
-  else
-    return zcmp_eq(x, y) # HACK rescue false
-  end
-
-end
-
-# /*
-#  *  call-seq:
-#  *     obj > other    => true or false
-#  *  
-#  *  Compares two objects based on the receiver's <code><=></code>
-#  *  method, returning true if it returns 1.
-#  */
-
-# static VALUE
-# cmp_gt(x, y)
-#     VALUE x, y;
-# {
-#     VALUE c = rb_funcall(x, cmp, 1, y);
-
-#     if (NIL_P(c)) return cmperr();
-#     if (rb_cmpint(c, x, y) > 0) return Qtrue;
-#     return Qfalse;
-# }
-
-def zcmp_gt(x, y)
-  c = x <=> y
-
-  zrb_cmperr(x, y) if c.nil?
-
-  return c.to_i > 0
-end
-
-# /*
-#  *  call-seq:
-#  *     obj >= other    => true or false
-#  *  
-#  *  Compares two objects based on the receiver's <code><=></code>
-#  *  method, returning true if it returns 0 or 1.
-#  */
-
-# static VALUE
-# cmp_ge(x, y)
-#     VALUE x, y;
-# {
-#     VALUE c = rb_funcall(x, cmp, 1, y);
-
-#     if (NIL_P(c)) return cmperr();
-#     if (rb_cmpint(c, x, y) >= 0) return Qtrue;
-#     return Qfalse;
-# }
-
-def zcmp_ge(x, y)
-  c = x <=> y
-
-  zrb_cmperr(x, y) if c.nil?
-
-  return c.to_i >= 0
-end
-
-# /*
-#  *  call-seq:
-#  *     obj < other    => true or false
-#  *  
-#  *  Compares two objects based on the receiver's <code><=></code>
-#  *  method, returning true if it returns -1.
-#  */
-
-# static VALUE
-# cmp_lt(x, y)
-#     VALUE x, y;
-# {
-#     VALUE c = rb_funcall(x, cmp, 1, y);
-#
-#     if (NIL_P(c)) return cmperr();
-#     if (rb_cmpint(c, x, y) < 0) return Qtrue;
-#     return Qfalse;
-# }
-
-def zcmp_lt(x, y)
-  c = x <=> y
-
-  zrb_cmperr(x, y) if c.nil?
-
-  return c.to_i < 0
-end
-
-# /*
-#  *  call-seq:
-#  *     obj <= other    => true or false
-#  *  
-#  *  Compares two objects based on the receiver's <code><=></code>
-#  *  method, returning true if it returns -1 or 0.
-#  */
-
-# static VALUE
-# cmp_le(x, y)
-#     VALUE x, y;
-# {
-#     VALUE c = rb_funcall(x, cmp, 1, y);
-
-#     if (NIL_P(c)) return cmperr();
-#     if (rb_cmpint(c, x, y) <= 0) return Qtrue;
-#     return Qfalse;
-# }
-
-def zcmp_le(x, y)
-  c = x <=> y
-
-  zrb_cmperr(x, y) if c.nil?
-
-  return c.to_i <= 0
-end
-
-# /*
-#  *  call-seq:
-#  *     obj.between?(min, max)    => true or false
-#  *  
-#  *  Returns <code>false</code> if <i>obj</i> <code><=></code>
-#  *  <i>min</i> is less than zero or if <i>anObject</i> <code><=></code>
-#  *  <i>max</i> is greater than zero, <code>true</code> otherwise.
-#  *     
-#  *     3.between?(1, 5)               #=> true
-#  *     6.between?(1, 5)               #=> false
-#  *     'cat'.between?('ant', 'dog')   #=> true
-#  *     'gnu'.between?('ant', 'dog')   #=> false
-#  *     
-#  */
-
-# static VALUE
-# cmp_between(x, min, max)
-#     VALUE x, min, max;
-# {
-#     if (RTEST(cmp_lt(x, min))) return Qfalse;
-#     if (RTEST(cmp_gt(x, max))) return Qfalse;
-#     return Qtrue;
-# }
-
-def zcmp_between(x, min, max)
-
-  return false if zcmp_lt(x, min)
-  return false if zcmp_gt(x, max)
-  return true
-
-end
-
-# /*
-#  *  The <code>Comparable</code> mixin is used by classes whose objects
-#  *  may be ordered. The class must define the <code><=></code> operator,
-#  *  which compares the receiver against another object, returning -1, 0,
-#  *  or +1 depending on whether the receiver is less than, equal to, or
-#  *  greater than the other object. <code>Comparable</code> uses
-#  *  <code><=></code> to implement the conventional comparison operators
-#  *  (<code><</code>, <code><=</code>, <code>==</code>, <code>>=</code>,
-#  *  and <code>></code>) and the method <code>between?</code>.
-#  *     
-#  *     class SizeMatters
-#  *       include Comparable
-#  *       attr :str
-#  *       def <=>(anOther)
-#  *         str.size <=> anOther.str.size
-#  *       end
-#  *       def initialize(str)
-#  *         @str = str
-#  *       end
-#  *       def inspect
-#  *         @str
-#  *       end
-#  *     end
-#  *     
-#  *     s1 = SizeMatters.new("Z")
-#  *     s2 = SizeMatters.new("YY")
-#  *     s3 = SizeMatters.new("XXX")
-#  *     s4 = SizeMatters.new("WWWW")
-#  *     s5 = SizeMatters.new("VVVVV")
-#  *     
-#  *     s1 < s2                       #=> true
-#  *     s4.between?(s1, s3)           #=> false
-#  *     s4.between?(s3, s5)           #=> true
-#  *     [ s3, s2, s5, s4, s1 ].sort   #=> [Z, YY, XXX, WWWW, VVVVV]
-#  *     
-#  */
-
-# void
-# Init_Comparable()
-# {
-#     rb_mComparable = rb_define_module("Comparable");
-#     rb_define_method(rb_mComparable, "==", cmp_equal, 1);
-#     rb_define_method(rb_mComparable, ">", cmp_gt, 1);
-#     rb_define_method(rb_mComparable, ">=", cmp_ge, 1);
-#     rb_define_method(rb_mComparable, "<", cmp_lt, 1);
-#     rb_define_method(rb_mComparable, "<=", cmp_le, 1);
-#     rb_define_method(rb_mComparable, "between?", cmp_between, 2);
-
-#     cmp = rb_intern("<=>");
-# }
-
-end