myco 0.1.3 → 0.1.4

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

@@ -1,53 +0,0 @@
-
-require_relative 'myco_module_scope'
-
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def category loc, name, body
-      DeclareCategory.new loc.line, name, body
-    end
-  end
-  
-  class DeclareCategoryScope < MycoModuleScope
-    def body_bytecode g
-      g.push_scope
-      g.send :set_myco_category, 0
-      g.pop
-      
-      @body.bytecode g
-    end
-  end
-  
-  class DeclareCategory < Node
-    attr_accessor :name, :body
-    
-    def initialize line, name, body
-      @line = line
-      @name = name
-      @body = body
-    end
-    
-    def to_sexp
-      [:category, @name.value, @body.to_sexp]
-    end
-    
-    def scope_implementation
-      DeclareCategoryScope.new @line, @body
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      ##
-      # category = self.__category__ @name
-      g.push_self
-        g.push_literal @name.value
-      g.send :__category__, 1
-      
-      scope_implementation.bytecode g
-    end
-  end
-  
-end

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

@@ -1,35 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def deco loc, name, arguments
-      DeclareDecorator.new loc.line, name, arguments
-    end
-  end
-  
-  class DeclareDecorator < Node
-    attr_accessor :line, :name, :arguments
-    
-    def initialize line, name, arguments
-      @line      = line
-      @name      = name
-      @arguments = arguments || ArrayAssembly.new(@line, [])
-    end
-    
-    def to_sexp
-      args_sexp = @arguments.to_sexp
-      args_sexp[0] = :arglist
-      sexp = [:deco, @name.value]
-      sexp.push args_sexp unless @arguments.body.empty?
-      sexp
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      ary = ArrayLiteral.new @line, [@name, @arguments]
-      ary.bytecode g
-    end
-  end
-  
-end

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

@@ -1,54 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def declfile loc, body
-      DeclareFile.new loc.line, body
-    end
-  end
-  
-  class DeclareFileScope < MycoModuleScope
-    def body_bytecode g
-      g.push_scope
-      g.send :set_myco_file, 0
-      g.pop
-      
-      @body.bytecode g
-    end
-  end
-  
-  class DeclareFile < Node
-    attr_accessor :body
-    
-    # Use minimal inspect to avoid huge inspect output for inner AST nodes
-    # that store a reference to a DeclareFile in an instance variable. 
-    def inspect
-      to_s
-    end
-    
-    def initialize line, body
-      @line = line
-      @body = body
-    end
-    
-    def to_sexp
-      [:declfile, @body.to_sexp]
-    end
-    
-    def implementation
-      myco = ToplevelConstant.new @line, :Myco
-      type = ScopedConstant.new @line, myco, :FileToplevel
-      types = ArrayAssembly.new @line, [type]
-      decl = DeclareObject.new @line, types, @body
-      decl.scope_type = DeclareFileScope
-      decl
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      implementation.bytecode g
-    end
-  end
-  
-end

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

@@ -1,86 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def meme loc, name, decorations, arguments, body
-      DeclareMeme.new loc.line, name, decorations, arguments, body
-    end
-  end
-  
-  class DeclareMemeBody < Iter
-    attr_accessor :name
-    
-    def bytecode(g)
-      pos(g)
-      
-      g.state.scope.nest_scope self
-      
-      meth = new_generator g, @name, @arguments
-      
-      meth.push_state self
-      meth.state.push_super self
-      meth.definition_line @line
-      
-      meth.state.push_name @name
-      
-      @arguments.bytecode meth
-      @body.bytecode meth
-      
-      meth.state.pop_name
-      
-      meth.local_count = local_count
-      meth.local_names = local_names
-      meth.splat_index = @arguments.splat_index
-      
-      meth.ret
-      meth.close
-      meth.pop_state
-      
-      g.push_scope
-      g.send :for_method_definition, 0
-      g.add_scope
-      
-      # Create the BlockEnvironment from the meth Generator
-      g.create_block meth
-    end
-  end
-  
-  class DeclareMeme < Node
-    attr_accessor :name, :decorations, :arguments, :body
-    
-    def initialize line, name, decorations, arguments, body
-      @line        = line
-      @name        = name.value
-      @decorations = decorations || ArrayAssembly.new(line, [])
-      @arguments   = arguments || Parameters.new(line, [], nil, true, nil, nil, nil, nil)
-      @body        = body || NilLiteral.new(line)
-    end
-    
-    def to_sexp
-      [:meme, @name, @decorations.to_sexp, @arguments.to_sexp, @body.to_sexp]
-    end
-    
-    def body_implementation
-      meme_body = DeclareMemeBody.new(@line, @arguments, @body)
-      meme_body.name = @name
-      meme_body
-    end
-    
-    def bytecode(g)
-      pos(g)
-      
-      ##
-      # module = scope.for_method_definition
-      # module.send :declare_meme, @name, @decorations,
-      #   BlockEnvironment(body_implementation)
-      #
-      g.push_scope
-      g.send :for_method_definition, 0
-        g.push_literal @name
-        @decorations.bytecode g
-        body_implementation.bytecode(g)
-      g.send :declare_meme, 3
-    end
-  end
-  
-end

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

@@ -1,77 +0,0 @@
-
-require_relative 'myco_module_scope'
-
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def declobj loc, types, body
-      DeclareObject.new loc.line, types, body
-    end
-  end
-  
-  class DeclareObjectScope < MycoModuleScope
-    def body_bytecode g
-      g.push_scope
-      g.send :set_myco_component, 0
-      g.pop
-      
-      @body.bytecode g
-    end
-  end
-  
-  class DeclareObject < Node
-    attr_accessor :types, :body
-    attr_accessor :create
-    
-    attr_accessor :scope_type
-    
-    def initialize line, types, body
-      @line   = line
-      @types  = types
-      @body   = body
-      
-      @create = true
-      @scope_type = DeclareObjectScope
-    end
-    
-    def to_sexp
-      [:declobj, @types.to_sexp, @body.to_sexp]
-    end
-    
-    def scope_implementation
-      @scope_type.new @line, @body
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      # ::Myco::Component.new types, parent, filename
-      g.push_cpath_top
-      g.find_const :Myco
-      g.find_const :Component
-        @types.bytecode g
-        g.push_scope; g.send :for_method_definition, 0
-        g.push_scope; g.send :active_path, 0; g.meta_to_s
-        g.push_int @line
-      g.send :new, 4
-      
-      # The return value of Component.new at the top of the stack
-      # will be consumed by @scope.bytecode, so save two copies of it.
-      g.dup_top # One for sending :__last__= to
-      g.dup_top # One for sending :instance to (or returning, if !@create)
-      
-      # Compile the inner scope,
-      # leaving the last object in the scope at the top of the stack.
-      scope_implementation.bytecode g
-      
-      # component.__last__ = (value left on stack from @scope.bytecode)
-      g.send :__last__=, 1
-      g.pop
-      
-      # return (@create ? component.instance : component)
-      g.send :instance, 0 if @create
-    end
-  end
-  
-end

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

@@ -1,37 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def declstr loc, types, string
-      DeclareString.new loc.line, types, string
-    end
-  end
-  
-  class DeclareString < Node
-    attr_accessor :types, :string
-    
-    def initialize line, types, string
-      @line   = line
-      @types  = types
-      @string = string
-    end
-    
-    def to_sexp
-      [:declstr, @types.to_sexp, @string.to_sexp]
-    end
-    
-    def implementation
-      blk   = NilLiteral.new @line
-      obj   = DeclareObject.new @line, @types, blk
-      args  = ArgumentAssembly.new @string.line, [@string]
-      InvokeMethod.new @string.line, obj, :from_string, args
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      implementation.bytecode g
-    end
-  end
-  
-end

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

@@ -1,48 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def invoke loc, receiver, name, arguments, *rest
-      Invoke.new loc.line, receiver, name, arguments, *rest
-    end
-  end
-  
-  class Invoke < Node
-    attr_accessor :receiver, :name, :arguments
-    
-    def initialize line, receiver, name, arguments, block_params=nil, block=nil
-      @line      = line
-      @receiver  = receiver
-      @name      = name
-      @arguments = arguments
-      
-      if block
-        # TODO: error if passing both block argument and block literal
-        # Currently, this fails silently and ignores the block argument
-        @arguments ||= ArgumentAssembly.new(line, [])
-        @arguments.block = Iter.new(line, block_params, block)
-      end
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      implementation.bytecode(g)
-    end
-    
-    def to_sexp
-      implementation.to_sexp
-    end
-    
-    def implementation
-      if @receiver.nil? && @arguments.nil?
-        LocalVariableAccessAmbiguous.new(@line, @name)
-      else
-        rcvr = @receiver || Self.new(@line)
-        args = @arguments || ArgumentAssembly.new(line, [])
-        InvokeMethod.new @line, rcvr, @name, args
-      end
-    end
-  end
-  
-end

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

@@ -1,28 +0,0 @@
-
-module CodeTools::AST
-  
-  class InvokeMethod < Node
-    attr_accessor :line, :receiver, :name, :arguments
-    
-    def initialize line, receiver, name, arguments
-      @line      = line
-      @receiver  = receiver
-      @name      = name
-      @arguments = arguments
-    end
-    
-    def bytecode(g)
-      @receiver.bytecode(g)
-      @arguments.bytecode(g)
-      
-      pos(g)
-      
-      g.__send__(@arguments.send_op, @name, @arguments.send_count)
-    end
-    
-    def to_sexp
-      [:call, @receiver.to_sexp, @name, @arguments.to_sexp]
-    end
-  end
-  
-end

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

@@ -1,34 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def lambig loc, name
-      LocalVariableAccessAmbiguous.new loc.line, name
-    end
-  end
-  
-  class LocalVariableAccessAmbiguous < Node
-    attr_accessor :name
-    
-    def initialize line, name
-      @line = line
-      @name = name
-    end
-    
-    def bytecode g
-      pos(g)
-      
-      local = g.state.scope.search_local @name
-      return local.get_bytecode(g) if local
-      
-      rcvr = Self.new @line
-      send = Send.new @line, rcvr, @name, true, true
-      send.bytecode(g)
-    end
-    
-    def to_sexp
-      [:lambig, @name]
-    end
-  end
-  
-end

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

@@ -1,156 +0,0 @@
-
-module CodeTools::AST
-  
-  # These builder methods are copied directly from rubinius-processor
-  # TODO: remove and Myco-ize all dependencies on rubinius-processor and rubinius-ast
-  module BuilderMethods
-    def colon2 loc, outer, name
-      if outer
-        if outer.kind_of? ConstantAccess and
-           outer.name == :Rubinius
-          case name
-          when :Type
-            TypeConstant.new loc.line
-          when :Mirror
-            MirrorConstant.new loc.line
-          else
-            ScopedConstant.new loc.line, outer, name
-          end
-        else
-          ScopedConstant.new loc.line, outer, name
-        end
-      else
-        ConstantAccess.new loc.line, name
-      end
-    end
-    
-    def colon3 loc, name
-      ToplevelConstant.new loc.line, name
-    end
-    
-    def const loc, name
-      ConstantAccess.new loc.line, name
-    end
-    
-    def lit loc, sym
-      SymbolLiteral.new loc.line, sym
-    end
-    
-    def args loc, required, optional, splat, post, kwargs, kwrest, block
-      Parameters.new loc.line, required, optional, splat, post, kwargs, kwrest, block
-    end
-    
-    def self loc
-      Self.new loc.line
-    end
-    
-    def block loc, array
-      Block.new loc.line, array
-    end
-    
-    def str loc, str
-      StringLiteral.new loc.line, str
-    end
-    
-    def splat loc, expr
-      SplatValue.new loc.line, expr
-    end
-    
-    def block_pass loc, arguments, body
-      BlockPass19.new loc.line, arguments, body
-    end
-    
-    def evstr loc, value
-      if value
-        ToString.new loc.line, value
-      else
-        StringLiteral.new loc.line, ""
-      end
-    end
-    
-    def dsym loc, str, array
-      DynamicSymbol.new loc.line, str, array
-    end
-
-    def dstr loc, str, array
-      DynamicString.new loc.line, str, array
-    end
-    
-    def true loc
-      TrueLiteral.new loc.line
-    end
-
-    def false loc
-      FalseLiteral.new loc.line
-    end
-
-    def return loc, value
-      Return.new loc.line, value
-    end
-    
-    def lasgn loc, name, value
-      LocalVariableAssignment.new loc.line, name, value
-    end
-    
-    def hash loc, array
-      HashLiteral.new loc.line, array
-    end
-    
-    def cdecl loc, expr, value
-      ConstantAssignment.new loc.line, expr, value
-    end
-    
-    def op_cdecl loc, var, value, op
-      op_value = case op
-      when :and
-        And.new loc.line, var, value
-      when :or
-        Or.new loc.line, var, value
-      else
-        args = ArrayLiteral.new loc.line, [value]
-        SendWithArguments.new loc.line, var, op, args
-      end
-      ConstantAssignment.new loc.line, var, op_value
-    end
-  end
-  
-  # These builder methods process the null and void literals
-  module BuilderMethods
-    def null loc
-      NullLiteral.new loc.line
-    end
-    
-    def void loc
-      VoidLiteral.new loc.line
-    end
-  end
-  
-  class NullLiteral < NilLiteral
-    def to_sexp
-      [:null]
-    end
-  end
-  
-  # Replace NilLiteral with NullLiteral and let original NilLiteral "disappear"
-  NilLiteral = NullLiteral
-  
-  class ::CodeTools::Generator
-    def push_void
-      push_cpath_top
-      find_const :Myco
-      find_const :Void
-    end
-  end
-  
-  class VoidLiteral < Node
-    def bytecode(g)
-      pos(g)
-      g.push_void
-    end
-    
-    def to_sexp
-      [:void]
-    end
-  end
-  
-end

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

@@ -1,82 +0,0 @@
-
-module CodeTools::AST
-  
-  module BuilderMethods
-    def quest loc, receiver, questable
-      Quest.new loc.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

@@ -1,21 +0,0 @@
-
-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/invoke_method"
-require_relative "ast/array_assembly"
-require_relative "ast/argument_assembly"
-require_relative "ast/quest"
-require_relative "ast/branch_operator"
-
-require_relative "ast/misc"
-
-Myco.eval_file 'ast/ToRuby.my'