myco 0.1.0.dev

data/lib/myco/parser/ast/misc.rb

@@ -0,0 +1,61 @@
+
+module CodeTools::AST
+  
+  module ProcessorMethods
+    def process_null line
+      NullLiteral.new line
+    end
+    
+    def process_void line
+      VoidLiteral.new line
+    end
+  end
+  
+  class NullLiteral < NilLiteral
+    def to_sexp
+      [:null]
+    end
+  end
+  
+  # Replace NilLiteral with NullLiteral and let original NilLiteral "disappear"
+  NilLiteral = NullLiteral
+  
+  class VoidLiteral < Node
+    def bytecode(g)
+      pos(g)
+      
+      # TODO: create push_void helper to abstract this out (and elsewhere)
+      g.push_cpath_top
+      g.find_const :Myco
+      g.find_const :Void
+    end
+    
+    def to_sexp
+      [:void]
+    end
+  end
+  
+  
+  # Patch the And (and Or) Node bytecode to use .false? to determine falsehood
+  # This accomodates treating Void (or any other non-builtin) as falsey
+  # TODO: use new branch instruction when it gets added to Rubinius
+  class And
+    def bytecode(g, use_git=true)
+      @left.bytecode(g)
+      g.dup
+      lbl = g.new_label
+      
+      g.send :false?, 0
+      if use_git
+        g.git lbl
+      else
+        g.gif lbl
+      end
+      
+      g.pop
+      @right.bytecode(g)
+      lbl.set!
+    end
+  end
+  
+end

data/lib/myco/parser/ast/myco_module_scope.rb

@@ -0,0 +1,58 @@
+
+module CodeTools::AST
+  
+  class MycoModuleScope < ModuleScope
+    def initialize(line, body)
+      @line = line
+      @name = :MycoModuleScope # TODO: remove/fix
+      @body = body
+    end
+    
+    def bytecode(g)
+      pos(g)
+      
+      attach_and_call g, :__myco_module_init__, true
+    end
+    
+    # TODO: figure out how to keep in sync with ClosedScope#attach_and_call impl
+    def attach_and_call(g, arg_name, scoped=false, pass_block=false)
+      name = @name || arg_name
+      meth = new_generator(g, name)
+      
+      meth.push_state self
+      meth.for_module_body = true
+      
+      if scoped
+        meth.push_self
+        meth.add_scope
+      end
+      
+      meth.state.push_name name
+      
+      body_bytecode meth # (@body.bytecode meth) in original implementation
+      
+      meth.state.pop_name
+      
+      meth.ret
+      meth.close
+      
+      meth.local_count = local_count
+      meth.local_names = local_names
+      
+      meth.pop_state
+      
+      g.create_block meth
+      g.swap
+      g.push_scope
+      g.push_true
+      g.send :call_under, 3
+      
+      return meth
+    end
+    
+    def body_bytecode g
+      @body.bytecode g
+    end
+  end
+  
+end

data/lib/myco/parser/ast/quest.rb

@@ -0,0 +1,82 @@
+
+module CodeTools::AST
+  
+  module ProcessorMethods
+    def process_quest line, receiver, questable
+      Quest.new line, receiver, questable
+    end
+  end
+  
+  class Quest < Node
+    attr_accessor :receiver
+    attr_accessor :questable
+    
+    def initialize line, receiver, questable
+      @line      = line
+      @receiver  = receiver
+      @questable = questable
+      
+      @void_literal = VoidLiteral.new @line
+      
+      @questable.receiver = FakeReceiver.new @line
+    end
+    
+    def bytecode g
+      pos(g)
+      
+      ##
+      # unless @receiver.respond_to?(@questable.name).false?
+      #   execute_statement @questable
+      # else
+      #   return void
+      # end
+      
+      else_label = g.new_label
+      end_label  = g.new_label
+      
+      @receiver.bytecode g
+      g.dup_top # dup the receiver to save it for later
+        g.push_literal @questable.name
+      g.send :respond_to?, 1
+      g.send :false?, 0
+      g.goto_if_true else_label
+      
+      # The duped receiver is still at the top of the stack,
+      # and @questable.receiver has been set to an instance of FakeReceiver
+      # to let the true receiver pass through instead.
+      @questable.bytecode g
+      g.goto end_label
+      
+      else_label.set!
+      g.pop # pop the duped receiver - it won't be used after all
+      g.push_cpath_top
+      g.find_const :Myco
+      g.find_const :Void
+      
+      end_label.set!
+    end
+    
+    def to_sexp
+      [:quest, @receiver.to_sexp, @questable.to_sexp]
+    end
+    
+    class FakeReceiver < Node
+      def initialize line
+        @line = line
+      end
+      
+      def bytecode g
+        pos(g)
+        # Do nothing here - this would normally be ill-advised,
+        # because Nodes are expected to push an item onto the stack,
+        # but here we are intentionally not doing so because
+        # the real receiver should already at the top of the stack
+      end
+      
+      def to_sexp
+        [:qrcvr]
+      end
+    end
+  end
+  
+end

data/lib/myco/parser/ast.rb

@@ -0,0 +1,15 @@
+
+require_relative "ast/constant_access"
+require_relative "ast/constant_define"
+require_relative "ast/constant_reopen"
+require_relative "ast/declare_category"
+require_relative "ast/declare_decorator"
+require_relative "ast/declare_file"
+require_relative "ast/declare_meme"
+require_relative "ast/declare_object"
+require_relative "ast/declare_string"
+require_relative "ast/invoke"
+require_relative "ast/local_variable_access_ambiguous"
+require_relative "ast/quest"
+
+require_relative "ast/misc"