rockit 0.7.1 → 0.7.2

data/tests/acceptance/packrat/java/xtc.lang.java/JavaIdentifier.rats

@@ -0,0 +1,62 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2005 Robert Grimm
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of Java identifiers.
+ *
+ * @author Robert Grimm
+ * @version $Revision: 1.4 $
+ */
+module xtc.lang.JavaIdentifier(Symbol, Spacing);
+
+import Symbol;
+import Spacing;
+
+body {
+  static {
+    reserve(new String[] {
+      "abstract", "default", "if",         "private",     "this",
+      "boolean",  "do",      "implements", "protected",   "throw",
+      "break",    "double",  "import",     "public",      "throws",
+      "byte",     "else",    "instanceof", "return",      "transient",
+      "case",     "extends", "int",        "short",       "try",
+      "catch",    "final",   "interface",  "static",      "void",
+      "char",     "finally", "long",       "strictfp",    "volatile",
+      "class",    "float",   "native",     "super",       "while",
+      "const",    "for",     "new",        "switch",
+      "continue", "goto",    "package",    "synchronized"
+    });
+  }
+}
+
+option reserved;
+
+generic QualifiedIdentifier =
+  Identifier ( void:".":Symbol Identifier )*
+  ;
+
+String Identifier =
+  yyValue:Word &{ ! RESERVED.contains(yyValue) } ;
+
+String Word = WordCharacters Spacing ;
+
+transient String WordCharacters =
+  start:_ &{ Character.isJavaIdentifierStart(start) }
+    ( part:_ &{ Character.isJavaIdentifierPart(part) } )*
+  ;

data/tests/acceptance/packrat/java/xtc.lang.java/JavaSymbol.rats

@@ -0,0 +1,38 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2005 Robert Grimm
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of Java symbols.
+ *
+ * @author Robert Grimm
+ * @version $Revision: 1.2 $
+ */
+module xtc.lang.JavaSymbol(Symbol);
+
+modify Symbol;
+
+String SymbolCharacters +=
+    <TripleGreaterEqual>  ">>>="
+  / <GreaterGreaterEqual> ...
+  ;
+
+String SymbolCharacters +=
+    <TripleGreater>  ">>>"
+  / <GreaterGreater> ...
+  ;

data/tests/acceptance/packrat/java/xtc.lang.java/JavaTree.rats

@@ -0,0 +1,40 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2004-2005 Robert Grimm, New York University
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Java grammar with AST support.
+ *
+ * @author Stacey Kuznetsov
+ * @author Robert Grimm
+ * @version $Revision: 1.7 $
+ */
+module xtc.lang.JavaTree;
+
+instantiate xtc.lang.JavaType(xtc.lang.JavaIdentifier, xtc.lang.JavaSymbol);
+instantiate xtc.lang.JavaConstant(xtc.lang.JavaIdentifier, xtc.util.Spacing);
+instantiate xtc.lang.JavaIdentifier(xtc.lang.JavaSymbol, xtc.util.Spacing);
+instantiate xtc.util.Symbol(xtc.util.Spacing);
+instantiate xtc.lang.JavaSymbol(xtc.util.Symbol);
+instantiate xtc.util.Spacing;
+
+modify xtc.lang.JavaCore(xtc.lang.JavaType, xtc.lang.JavaConstant,
+                         xtc.lang.JavaIdentifier, xtc.lang.JavaSymbol,
+                         xtc.util.Spacing);
+
+option withLocation, constant, parser(xtc.lang.JavaTreeParser);

data/tests/acceptance/packrat/java/xtc.lang.java/JavaType.rats

@@ -0,0 +1,61 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2004-2005 Robert Grimm, New York University
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of Java type names.
+ *
+ * @author Stacey Kuznetsov
+ * @author Robert Grimm
+ * @version $Revision: 1.3 $
+ */
+module xtc.lang.JavaType(Identifier, Symbol);
+
+import Identifier;
+import Symbol;
+
+GNode ResultType =
+    <Void>    VoidTypeSpecifier
+  / <Regular> Type
+  ;
+
+generic VoidTypeSpecifier = <Void> void:"void":Word;
+
+generic Type =
+  <Type> TypeName Dimensions?
+  ;
+
+generic TypeName =
+    <Basic>     BasicType
+  / <Qualified> yyValue:QualifiedIdentifier
+  ;
+
+String BasicType =
+    <Byte>    "byte":Word
+  / <Short>   "short":Word
+  / <Char>    "char":Word
+  / <Int>     "int":Word
+  / <Long>    "long":Word
+  / <Float>   "float":Word
+  / <Double>  "double":Word
+  / <Boolean> "boolean":Word
+  ;
+
+generic Dimensions =
+  ( "[":Symbol void:"]":Symbol )+
+  ;

data/tests/acceptance/packrat/java/xtc.lang.java/Spacing.rats

@@ -0,0 +1,36 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2005 Robert Grimm
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of spacing, including C comments.
+ *
+ * @author Robert Grimm
+ * @version $Revision: 1.3 $
+ */
+module xtc.util.Spacing;
+
+transient void Spacing            =
+  ( Space / LineTerminator / TraditionalComment / EndOfLineComment )*
+  ;
+
+transient void Space              = ' ' / '\t' / '\f' ;
+transient void TraditionalComment = "/*" ( '*' !'/' / !'*' _ )* "*/" ;
+transient void EndOfLineComment   = "//" ( ![\n\r] _ )* LineTerminator ;
+transient void LineTerminator     = '\r' '\n' / '\r' / '\n' ;
+transient void EndOfFile          = !_ ;

data/tests/acceptance/packrat/java/xtc.lang.java/Symbol.rats

@@ -0,0 +1,77 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2005 Robert Grimm
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of symbols common to C and Java.
+ *
+ * @author Robert Grimm
+ * @version $Revision: 1.6 $
+ */
+module xtc.util.Symbol(Spacing);
+
+import Spacing;
+
+String Symbol = SymbolCharacters Spacing ;
+
+transient String SymbolCharacters =
+    <GreaterGreaterEqual> ">>="
+  / <LessLessEqual>       "<<="
+  / <GreaterGreater>      ">>"
+  / <LessLess>            "<<"
+  / <PlusEqual>           "+="
+  / <MinusEqual>          "-="
+  / <StarEqual>           "*="
+  / <SlashEqual>          "/="
+  / <PercentEqual>        "%="
+  / <AmpersandEqual>      "&="
+  / <CaretEqual>          "^="
+  / <BarEqual>            "|="
+  / <PlusPlus>            "++"
+  / <MinusMinus>          "--"
+  / <AmpersandAmpersand>  "&&"
+  / <BarBar>              "||"
+  / <LessEqual>           "<="
+  / <GreaterEqual>        ">="
+  / <EqualEqual>          "=="
+  / <BangEqual>           "!="
+  / <Semicolon>           ";"
+  / <Colon>               ":"
+  / <Comma>               ","
+  / <Period>              "."
+  / <OpenBrace>           "{"
+  / <CloseBrace>          "}"
+  / <OpenParenthesis>     "("
+  / <CloseParenthesis>    ")"
+  / <OpenBracket>         "["
+  / <CloseBracket>        "]"
+  / <Bang>                "!"
+  / <Tilde>               "~"
+  / <Plus>                "+"
+  / <Minus>               "-"
+  / <Star>                "*"
+  / <Slash>               "/"
+  / <Percent>             "%"
+  / <Less>                "<"
+  / <Greater>             ">"
+  / <Equal>               "="
+  / <Ampersand>           "&"
+  / <Caret>               "^"
+  / <Bar>                 "|"
+  / <Question>            "?"
+  ;

data/tests/acceptance/packrat/minibasic/README

@@ -0,0 +1,13 @@
+You can interpret MiniBasic programs by running 
+
+  ruby minibasic.rb program_filename
+
+Example 1.
+
+  $ ruby -I../../../../lib mult3.basic
+  ...
+
+Example 2.
+
+  $ ruby -I../../../../lib sumeven.basic
+  ...

data/tests/acceptance/packrat/minibasic/atest_minibasic.rb

@@ -2,7 +2,7 @@ require 'test/unit'
 
 require File.join(File.dirname(__FILE__), "minibasic")
 
-class ATestMiniBasic < Test::Unit::TestCase
+class ATestMiniBasicParse < Test::Unit::TestCase
   def assert_parse(exp, str)
     res = MiniBasic::Parser.parse_string(str)
     assert_equal(exp, res)
@@ -15,31 +15,169 @@ class ATestMiniBasic < Test::Unit::TestCase
   include MiniBasic::Grammar::ASTs
 
   def test_01
-    assert_stmt(PrintLn["PRINTLN"], "PRINTLN")
+    assert_stmt(PrintLn[], "PRINTLN")
   end
 
   def test_02
-    assert_stmt(Read["READ", :A], "READ A")
+    assert_stmt(Read[:A], "READ A")
   end
 
   def test_03
-    assert_stmt(Print["PRINT", :BC], "PRINT  BC")
+    assert_stmt(Print[:BC], "PRINT  BC")
   end
 
   def test_04
-    assert_stmt(Assign[:D, ":=", 1], "D := 1")
-    assert_stmt(Assign[:D, ":=", 1], "D :=1")
-    assert_stmt(Assign[:D, ":=", 1], "D:=1")
+    assert_stmt(Assign[:D, 1], "D := 1")
+    assert_stmt(Assign[:D, 1], "D :=1")
+    assert_stmt(Assign[:D, 1], "D:=1")
   end
 
   def test_05
-    assert_stmt(For["FOR", :A, ":=", 1, "TO", 3, 
-                 [Assign[:S, ":=", OpExpr[:S, "+", :A]],
-                  Print["PRINT", :S],
-                 ],
-                 "NEXT"], "FOR A := 1 TO 3 S:= S + A PRINT S NEXT")
+    assert_stmt(For[:A, 1, 3, 
+                    [Assign[:S, BinExpr[:S, "+", :A]],
+                     Print[:S]]], 
+                "FOR A := 1 TO 3 S:= S + A PRINT S NEXT")
   end
 
-  def atest_06    
+  def test_06_if_without_else
+    assert_stmt(If[Cond[3, ">", 1], [PrintLn[]], nil],
+                "IF 3 > 1 THEN PRINTLN ENDIF")
+  end
+
+  def test_06_if_with_else
+    assert_stmt(If[Cond[3, ">", 1], 
+                   [Print[:A], PrintLn[]], 
+                   [Print[:B], PrintLn[]]],
+                "IF 3 > 1 THEN PRINT A PRINTLN ELSE PRINT B PRINTLN ENDIF")
+  end
+
+  def test_07_string
+    assert_stmt(Assign[:A, "H"], "A := \"H\"")
+  end
+end
+
+class ATestMiniBasicInterpret < Test::Unit::TestCase
+  def interpret(prg, options = {})
+    i = MiniBasic::Interpreter.new(options)
+    ast = MiniBasic::Parser.parse_string(prg)
+    res = i.interpret(ast)
+    return i, res, ast
+  end
+
+  def interp(prg, options = {})
+    interpret(prg, options).first
+  end
+
+  NoIndata = ("__" + rand(1e10).to_s).intern
+
+  def test_01_assignment
+    i = interp("A:=1")
+    assert_equal({:A => 1}, i.vars)
+
+    i = interp("A:=1 B := 2     C:=     3      D    :=       4")
+    assert_equal({:A => 1, :B => 2, :C => 3, :D => 4}, 
+                 i.vars)
+  end
+
+  def test_02_if
+    i = interp("A := 1 IF A > 1 THEN A := 1 ELSE A := 0 ENDIF")
+    assert_equal({:A => 0}, i.vars)
+
+    i = interp("A := 1 IF A = 1 THEN B := 2 ELSE A := 0 ENDIF")
+    assert_equal({:A => 1, :B => 2}, i.vars)
+  end
+
+  def test_03_for
+    i = interp("S := 1 FOR I := 1 TO 4 S := S + I NEXT")
+    assert_equal({:S => 11, :I => 4}, i.vars)
+  end
+
+  def test_04_string
+    i = interp('A := "Hello World!"')
+    assert_equal({:A => "Hello World!"}, i.vars)
+  end
+
+  class MockStdin
+    def initialize(*lines)
+      @lines, @cnt = lines, -1
+    end
+    def gets; @lines[(@cnt += 1)]; end
+  end
+
+  class MockStdout
+    attr_reader :strs
+    def initialize
+      @strs = []
+    end
+    def print(str); @strs << str; end
+    def flush; end
+  end
+
+  def test_05_read
+    i = interp("READ A", :stdin => MockStdin.new("452"), 
+               :stdout => (so = MockStdout.new))
+    assert_equal({:A => 452}, i.vars)
+    assert_equal(["? "], so.strs)
+  end
+
+  def test_06_print
+    i = interp("A := 1 PRINT A", :stdout => (so = MockStdout.new))
+    assert_equal({:A => 1}, i.vars)
+    assert_equal(["1"], so.strs)
+  end
+
+  def test_07_println
+    i = interp("PRINTLN", :stdout => (so = MockStdout.new))
+    assert_equal({}, i.vars)
+    assert_equal(["\n"], so.strs)
+  end
+
+  def assert_prg(filename, stdInLines, expStdoutStrs)
+    fn = File.join(File.dirname(__FILE__), filename)
+    prg = File.open(fn) {|fh| fh.read}
+    stdout = MockStdout.new
+    stdin = MockStdin.new(*stdInLines)
+    i = interp(prg, :stdout => stdout, :stdin => stdin)
+    assert_equal(expStdoutStrs, stdout.strs)
+  end
+
+  def assert_mult3(input, out)
+    ao =
+      ["What is your number", "? ", input.to_s, " * 3 = ", out.to_s, "\n"]
+    assert_prg("mult3.basic", [input.to_s], ao)
+  end
+
+  def test_08_mult3
+    assert_mult3(0, 0)
+    assert_mult3(1, 3)
+    assert_mult3(2, 6)
+    assert_mult3(10, 30)
+  end
+
+  def assert_sumeven(input, out)
+    ao =
+      [
+       "I can sum even numbers.", "\n", 
+       "At what number should I start summing", "? ",
+       "At what number should I stop", "? ",
+       "The sum of all even numbers between (inclusive) ",
+      ]
+    ao << input[0].to_s
+    ao << " and "
+    ao << input[1].to_s
+    ao << " is = "
+    ao << out.to_s
+    ao << "\n"
+    assert_prg("sumeven.basic", input.map {|i| i.to_s}, ao)
+  end
+
+  def test_09_sumeven_program_file
+    assert_sumeven([0, 1], 0)
+    assert_sumeven([1, 1], 0)
+    assert_sumeven([1, 4], 6)
+    assert_sumeven([1, 5], 6)
+    assert_sumeven([1, 6], 12)
+    assert_sumeven([1, 8], 20)
+    assert_sumeven([1, 10], 30)
   end
 end