p-lang 0.0.1

data/.document

@@ -0,0 +1,5 @@
+README.rdoc
+lib/**/*.rb
+bin/*
+features/**/*.feature
+LICENSE

data/.gitignore

@@ -0,0 +1,21 @@
+## MAC OS
+.DS_Store
+
+## TEXTMATE
+*.tmproj
+tmtags
+
+## EMACS
+*~
+\#*
+.\#*
+
+## VIM
+*.swp
+
+## PROJECT::GENERAL
+coverage
+rdoc
+pkg
+
+## PROJECT::SPECIFIC

data/LICENSE

@@ -0,0 +1,20 @@
+Copyright (c) 2009 Ígor Bonadio
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.rdoc

@@ -0,0 +1,17 @@
+= p-lang
+
+Description goes here.
+
+== Note on Patches/Pull Requests
+ 
+* Fork the project.
+* Make your feature addition or bug fix.
+* Add tests for it. This is important so I don't break it in a
+  future version unintentionally.
+* Commit, do not mess with rakefile, version, or history.
+  (if you want to have your own version, that is fine but bump version in a commit by itself I can ignore when I pull)
+* Send me a pull request. Bonus points for topic branches.
+
+== Copyright
+
+Copyright (c) 2010 Ígor Bonadio. See LICENSE for details.

data/Rakefile

@@ -0,0 +1,54 @@
+require 'rubygems'
+require 'rake'
+
+begin
+  require 'jeweler'
+  Jeweler::Tasks.new do |gem|
+    gem.name = "p-lang"
+    gem.summary = %Q{P programming language}
+    gem.description = %Q{P programming language}
+    gem.email = "igorbonadio@gmail.com"
+    gem.homepage = "http://github.com/igorbonadio/p-lang"
+    gem.authors = ["Igor Bonadio"]
+    gem.add_development_dependency "treetop", ">= 0"
+    gem.add_development_dependency "shoulda", ">= 0"
+    # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
+  end
+  Jeweler::GemcutterTasks.new
+rescue LoadError
+  puts "Jeweler (or a dependency) not available. Install it with: gem install jeweler"
+end
+
+require 'rake/testtask'
+Rake::TestTask.new(:test) do |test|
+  test.libs << 'lib' << 'test'
+  test.pattern = 'test/**/test_*.rb'
+  test.verbose = true
+end
+
+begin
+  require 'rcov/rcovtask'
+  Rcov::RcovTask.new do |test|
+    test.libs << 'test'
+    test.pattern = 'test/**/test_*.rb'
+    test.verbose = true
+  end
+rescue LoadError
+  task :rcov do
+    abort "RCov is not available. In order to run rcov, you must: sudo gem install spicycode-rcov"
+  end
+end
+
+task :test => :check_dependencies
+
+task :default => :test
+
+require 'rake/rdoctask'
+Rake::RDocTask.new do |rdoc|
+  version = File.exist?('VERSION') ? File.read('VERSION') : ""
+
+  rdoc.rdoc_dir = 'rdoc'
+  rdoc.title = "p-lang #{version}"
+  rdoc.rdoc_files.include('README*')
+  rdoc.rdoc_files.include('lib/**/*.rb')
+end

data/VERSION.yml

@@ -0,0 +1,5 @@
+--- 
+:patch: 1
+:build: 
+:major: 0
+:minor: 0

data/bin/p-lang

@@ -0,0 +1,13 @@
+#!/usr/bin/env ruby
+
+require File.join(File.expand_path(File.dirname(__FILE__)), '/../lib/p-lang')
+
+if ARGV[0]
+  @parser = PLangParser.new
+  
+  ast = @parser.parse(File.readlines(ARGV[0]).join("")).build.collect(&:to_sexp)
+  
+  vm = PLang::VM.new(ast)
+  
+  vm.execute!
+end

data/lib/p-lang.rb

@@ -0,0 +1,24 @@
+ROOT_PATH = File.expand_path(File.dirname(__FILE__))
+
+require 'rubygems'
+require 'treetop'
+
+Treetop.load File.join(ROOT_PATH, '/parser/p-lang')
+
+require File.join(ROOT_PATH, '/parser/nodes')
+require File.join(ROOT_PATH, '/parser/ast')
+
+require File.join(ROOT_PATH, '/vm/environment')
+require File.join(ROOT_PATH, '/vm/vm')
+require File.join(ROOT_PATH, '/vm/proc')
+require File.join(ROOT_PATH, '/vm/pobject')
+
+require File.join(ROOT_PATH, '/vm/std/io')
+
+module PLang  
+  class VM
+    def initialize_global_environment(env)
+      IO.def_pfunctions(env)
+    end
+  end
+end

data/lib/parser/ast.rb

@@ -0,0 +1,168 @@
+module PLang
+  module Ast
+    class PStatement
+      def initialize(expression)
+        @expression = expression
+      end
+
+      def to_sexp
+        @expression.to_sexp
+      end
+    end
+
+    class PUnOp
+      attr_reader :op
+      attr_reader :right
+      def initialize(op, right)
+        @op = op
+        @right = right
+      end
+
+      def to_sexp
+        [@op, @right.to_sexp]
+      end
+    end
+
+    class PBinOp
+      attr_reader :op
+      attr_reader :left
+      attr_reader :right
+
+      def initialize(op, left, right)
+        @op = op.to_sym
+        @left = left
+        @right = right
+      end
+
+      def to_sexp
+        [@op, @left.to_sexp, @right.to_sexp]
+      end
+    end
+
+    class PLiteral
+      attr_reader :type
+      attr_reader :value
+
+      def initialize(type, value)
+        @type = type.to_sym
+        @value = value
+      end
+
+      def to_sexp
+        [:literal, @type, @value]
+      end
+    end
+
+    class PId
+      attr_reader :name
+
+      def initialize(name)
+        @name = name.to_sym
+      end
+
+      def to_sexp
+        [:id, @name]
+      end
+    end
+
+    class PObject
+      attr_reader :name
+
+      def initialize(name, params)
+        @name = name.to_sym
+        @params = params
+      end
+
+      def to_sexp
+        [:object, @name, @params.collect(&:to_sexp)]
+      end
+    end
+
+    class PCall
+      attr_reader :cid
+
+      def initialize(cid, params)
+        @cid = cid
+        @params = params
+      end
+
+      def to_sexp
+        @cid = @cid.to_sexp
+        if @cid == [:id, :if]
+          @params = @params.collect(&:to_sexp)
+          if @params.size == 3
+            [:if, @params[0], @params[1], @params[2]]
+          else
+            raise "'if' error"
+          end
+        elsif @cid == [:id, :begin]
+          [:begin, @params.collect(&:to_sexp)]
+        else
+          [:call, @cid, @params.collect(&:to_sexp)]
+        end
+      end
+    end
+
+    class PLet
+      attr_reader :var
+      attr_reader :val
+
+      def initialize(var, val)
+        @var = var
+        @val = val
+      end
+
+      def to_sexp
+        [:let, @var.to_sexp, @val.to_sexp]
+      end
+    end
+
+    class PLambda
+      attr_reader :params
+      attr_reader :expr
+      attr_reader :where
+      attr_accessor :next_lambda
+
+      def initialize(params, expr, where)
+        @params = params
+        @expr = expr
+        @where = where
+        @next_lambda = nil
+      end
+
+      def to_sexp
+        [:lambda, @params.collect(&:to_sexp), @expr.to_sexp, @where.collect(&:to_sexp), @next_lambda]
+      end
+    end
+
+    class PObjectCall
+      attr_reader :obj
+      attr_reader :msg
+
+      def initialize(obj, msg)
+        @obj = obj
+        @msg = msg
+      end
+
+      def to_sexp
+        [:object_call, @obj.to_sexp, @msg.to_sexp]
+      end
+    end
+
+    class PObjectLet
+      attr_reader :obj
+      attr_reader :id
+      attr_reader :value
+
+      def initialize(obj, id, value)
+        @obj = obj
+        @id = id
+        @value = value
+      end
+
+      def to_sexp
+        [:object_let, @obj.to_sexp, @id.to_sexp, @value.to_sexp]
+      end
+    end
+  end
+end

data/lib/parser/nodes.rb

@@ -0,0 +1,212 @@
+module PLang
+
+  module NStatements
+    def build
+      elements.collect { |element| PLang::Ast::PStatement.new(element.statement.build) }
+    end
+  end
+
+  module NCStatementList
+    def build
+      stm = statement_list.build
+      unless stm.class == Array
+        stm = [stm]
+      end
+      [statement.build] + stm
+    end
+  end
+
+  module NBinOp
+    def build
+      PLang::Ast::PBinOp.new(op.text_value, expr.build, statement.build)
+    end
+  end
+
+  module NUnOp
+    def build
+      PLang::Ast::PUnOp.new(:not, statement.build)
+    end
+  end
+
+  module NInteger
+    def build
+      PLang::Ast::PLiteral.new(:integer, text_value.to_i)
+    end
+  end
+
+  module NDecimal
+    def build
+      PLang::Ast::PLiteral.new(:decimal, text_value.to_f)
+    end
+  end
+
+  module NString
+    def build
+      PLang::Ast::PLiteral.new(:string, str.text_value)
+    end
+  end
+
+  module NChar
+    def build
+      PLang::Ast::PLiteral.new(:char, c.text_value)
+    end
+  end
+
+  module NId
+    def build
+      PLang::Ast::PId.new(text_value)
+    end
+  end
+
+  module NObject
+    def build
+      if obj_list.respond_to?(:build)
+        params = obj_list.build
+        unless params.class == Array
+          params = [params]
+        end
+        PLang::Ast::PObject.new(id.text_value, params)
+      else
+        PLang::Ast::PObject.new(id.text_value, [])
+      end
+    end
+  end
+
+  module NObjectList
+    def build
+      statement_list.build
+    end
+  end
+
+  module NParemExpr
+    def build
+      statement.build
+    end
+  end
+
+  module NCall
+    def build
+      params = []
+      if cparams.respond_to?(:build)
+        params = cparams.build
+        unless params.class == Array
+          params = [params]
+        end
+      end
+      PLang::Ast::PCall.new(cid.build, params)
+    end
+  end
+
+  module NVarLet
+    def build
+      PLang::Ast::PLet.new(var.build, statement.build)
+    end
+  end
+
+  module NLambda
+    def build
+      @where = []
+      if where.respond_to?(:build)
+        @where = where.build
+      end
+      @params = []
+      if params.respond_to?(:build)
+        @params = params.build
+      end
+      PLang::Ast::PLambda.new(@params, statement.build, @where)
+    end
+  end
+
+  module NCLambda
+    def build
+      nlambda = lamb.build
+      nlambda.next_lambda = lambda.build.to_sexp
+      nlambda
+    end
+  end
+
+  module NWhere
+    def build
+      w = where_params.build
+      if w.class == Array
+        w
+      else
+        [w]
+      end
+    end
+  end
+
+  module NCWhereParams
+    def build
+      w = where_params.build
+      unless w.class == Array
+        w = [w]
+      end
+      [let.build] + w
+    end
+  end
+
+  module NLambdaParams
+    def build
+      params = lambda_params_list.build
+      if params.class == Array
+        params
+      else
+        [params]
+      end
+    end
+  end
+
+  module NCLambdaParamsList
+    def build
+      params = lambda_params_list.build
+      unless params.class == Array
+        params = [params]
+      end
+      [form.build] + params
+    end
+  end
+
+  module NObjectForm
+    def build
+      if obj_form_list.respond_to?(:build)
+        PLang::Ast::PObject.new(id.text_value, obj_form_list.build)
+      else
+        PLang::Ast::PObject.new(id.text_value, [])
+      end
+    end
+  end
+
+  module NObjectGet
+    def build
+      PLang::Ast::PObjectCall.new(expr.build, id.build)
+    end
+  end
+
+  module NObjectMsg
+    def build
+      params = []
+      if statement_list.respond_to?(:build)
+        params = statement_list.build
+        unless params.class == Array
+          params = [params]
+        end
+      end
+      PLang::Ast::PCall.new(PLang::Ast::PObjectCall.new(expr.build, id.build), [expr.build] | params)
+    end
+  end
+
+  module NObjectLet
+    def build
+      PLang::Ast::PObjectLet.new(object_form.build, var.build, statement.build)
+    end
+  end
+
+  module NBoolean
+    def build
+      PLang::Ast::PLiteral.new(:boolean, text_value.to_sym)
+    end
+  end
+
+end
+