minjs 0.3.0 → 0.4.0

data/lib/minjs/ecma262/punctuator.rb

@@ -0,0 +1,141 @@
+module Minjs
+  module ECMA262
+    # ECMA262 punctuator element
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 7.7
+    class Punctuator < Literal
+      attr_reader :val
+
+      @@sym = {}
+
+      def initialize(val)
+        @val = val.to_sym
+      end
+
+      # Returns punctuator object representation of string.
+      #
+      # @param val [String] punctuator
+      def self.get(val)
+        @@sym[val] ||= self.new(val)
+      end
+
+      # Returns a string containg the representation of punctuator.
+      def to_s
+        val.to_s
+      end
+
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
+      def to_js
+        val.to_s
+      end
+
+      # Return true if punctuator equals to other.
+      #
+      # @param obj other element.
+      def ==(obj)
+        self.class == obj.class and self.val == obj.val
+      end
+    end
+    #punctuator
+    PUNC_CONDIF = Punctuator.get('?')
+    #punctuator
+    PUNC_ASSIGN = Punctuator.get('=')
+    #punctuator
+    PUNC_DIVASSIGN = Punctuator.get('/=')
+    #punctuator
+    PUNC_MULASSIGN = Punctuator.get('*=')
+    #punctuator
+    PUNC_MODASSIGN = Punctuator.get('%=')
+    #punctuator
+    PUNC_ADDASSIGN = Punctuator.get('+=')
+    #punctuator
+    PUNC_SUBASSIGN = Punctuator.get('-=')
+    #punctuator
+    PUNC_LSHIFTASSIGN = Punctuator.get('<<=')
+    #punctuator
+    PUNC_RSHIFTASSIGN = Punctuator.get('>>=')
+    #punctuator
+    PUNC_URSHIFTASSIGN = Punctuator.get('>>>=')
+    #punctuator
+    PUNC_ANDASSIGN = Punctuator.get('&=')
+    #punctuator
+    PUNC_XORASSIGN = Punctuator.get('^=')
+    #punctuator
+    PUNC_ORASSIGN = Punctuator.get('|=')
+    #punctuator
+    PUNC_LOR = Punctuator.get('||')
+    #punctuator
+    PUNC_LAND = Punctuator.get('&&')
+    #punctuator
+    PUNC_OR = Punctuator.get('|')
+    #punctuator
+    PUNC_XOR = Punctuator.get('^')
+    #punctuator
+    PUNC_AND = Punctuator.get('&')
+    #punctuator
+    PUNC_EQ = Punctuator.get('==')
+    #punctuator
+    PUNC_NEQ = Punctuator.get('!=')
+    #punctuator
+    PUNC_SEQ = Punctuator.get('===')
+    #punctuator
+    PUNC_SNEQ = Punctuator.get('!==')
+    #punctuator
+    PUNC_LT = Punctuator.get('<')
+    #punctuator
+    PUNC_GT = Punctuator.get('>')
+    #punctuator
+    PUNC_LTEQ = Punctuator.get('<=')
+    #punctuator
+    PUNC_GTEQ = Punctuator.get('>=')
+    #punctuator
+    PUNC_LSHIFT = Punctuator.get('<<')
+    #punctuator
+    PUNC_RSHIFT = Punctuator.get('>>')
+    #punctuator
+    PUNC_URSHIFT = Punctuator.get('>>>')
+    #punctuator
+    PUNC_ADD = Punctuator.get('+')
+    #punctuator
+    PUNC_SUB = Punctuator.get('-')
+    #punctuator
+    PUNC_MUL = Punctuator.get('*')
+    #punctuator
+    PUNC_DIV = Punctuator.get('/')
+    #punctuator
+    PUNC_MOD = Punctuator.get('%')
+    #punctuator
+    PUNC_INC = Punctuator.get('++')
+    #punctuator
+    PUNC_DEC = Punctuator.get('--')
+    #punctuator
+    PUNC_NOT = Punctuator.get('~')
+    #punctuator
+    PUNC_LNOT = Punctuator.get('!')
+    #punctuator
+    PUNC_LPARENTHESIS = Punctuator.get('(')
+    #punctuator
+    PUNC_RPARENTHESIS = Punctuator.get(')')
+    #punctuator
+    PUNC_LSQBRAC = Punctuator.get('[')
+    #punctuator
+    PUNC_RSQBRAC = Punctuator.get(']')
+    #punctuator
+    PUNC_LCURLYBRAC = Punctuator.get('{')
+    #punctuator
+    PUNC_RCURLYBRAC = Punctuator.get('}')
+    #punctuator
+    PUNC_COMMA = Punctuator.get(',')
+    #punctuator
+    PUNC_COLON = Punctuator.get(':')
+    #punctuator
+    PUNC_SEMICOLON = Punctuator.get(';')
+    #punctuator
+    PUNC_PERIOD = Punctuator.get('.')
+
+    Punctuator.class_eval {
+      private_class_method :new
+    }
+  end
+end

data/lib/minjs/ecma262/{st.rb → statement.rb}

@@ -1,30 +1,37 @@
 module Minjs
   module ECMA262
-    class St < Base
+    # Base class of ECMA262 statement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12
+    class Statement < Base
+      # return true if statement can convert to expression.
       def to_exp?
         false
       end
 
+      # return true if statement can convert to return statement.
       def to_return?
         false
       end
 
+      # @return [Fixnum] expression priority
       def priority
         999
       end
 
+      # return true if statement can convert to empty statement.
       def empty?
         false
       end
     end
 
+    # Base class of ECMA262 Block element.
     #
-    # 12.1
-    #
-    class StBlock < St
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.1
+    class StBlock < Statement
       attr_reader :statement_list
 
-      #statement_list:StatementList
+      # @param statement_list [StatementList] statement list
       def initialize(statement_list)
         if statement_list.kind_of? Array
           @statement_list = StatementList.new(statement_list)
@@ -33,30 +40,41 @@ module Minjs
         end
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@statement_list.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from == @statement_list
           @statement_list = to
         end
       end
 
+      # Traverses this children and itself with given block.
+      #
+      # @see Base#traverse
       def traverse(parent, &block)
         @statement_list.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @statement_list == obj.statement_list
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat(options, "{", @statement_list, "}")
       end
 
+      # true if block can convert to expression
       def to_exp?
         t = @statement_list.statement_list.select{|s|
           s.class != StEmpty
@@ -64,6 +82,7 @@ module Minjs
         t.length == 1 and t[0].to_exp?
       end
 
+      # Converts block to expression and returns it.
       def to_exp(options = {})
         @statement_list.statement_list.select{|s|
           s.class != StEmpty
@@ -71,6 +90,7 @@ module Minjs
 
       end
 
+      # @return true if block can convert to single statement.
       def to_statement?
         t = @statement_list.statement_list.select{|s|
           s.class != StEmpty
@@ -78,6 +98,7 @@ module Minjs
         t.length == 1 || t.length == 0
       end
 
+      # Converts block to single statement and return it.
       def to_statement
         t = @statement_list.statement_list.select{|s|
           s.class != StEmpty
@@ -90,32 +111,39 @@ module Minjs
         end
       end
 
+      # @return true if block can convert to 'return statement'
       def to_return?
         to_statement? and to_statement.to_return?
       end
 
+      # Converts block to 'return statement' and returns it
       def to_return
         to_statement.to_return
       end
 
+      # @return true if block is empty
       def empty?
         @statement_list.statement_list.select{|s|
           s.class != StEmpty
         }.length == 0
       end
 
+      # Returns the statement at index
+      # @param i index
+      # @return [Statement] statement
       def [](i)
         @statement_list[i]
       end
 
+      # Removes empty statement in this block.
       def remove_empty_statement
         statement_list.remove_empty_statement
       end
     end
+    # Base class of ECMA262 VariableStatement element.
     #
-    # 12.2
-    #
-    class StVar < St
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.2
+    class StVar < Statement
       attr_reader :vars
       attr_reader :context
       #
@@ -127,6 +155,8 @@ module Minjs
         @context = context
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context,
                        @vars.collect{|x,y|
@@ -134,6 +164,8 @@ module Minjs
                        })
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         @vars.each do |x|
           if x[0] .eql? from
@@ -146,6 +178,7 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @vars.each do |x|
           x[0].traverse(self, &block)
@@ -153,13 +186,16 @@ module Minjs
             x[1].traverse(self, &block)
           end
         end
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and @vars == obj.vars
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
           t = concat(options, :var, @vars.collect{|x|
                        if x[1]
@@ -175,8 +211,8 @@ module Minjs
         end
       end
 
+      # If variable has no initializer, this method moves it to latter
       def normalization
-        # if var has no initializer, move it to latter
         v1 = []
         v2 = []
         @vars.each do |x|
@@ -189,6 +225,7 @@ module Minjs
         @vars = v1.concat(v2)
       end
 
+      # remove parenthesis if possible
       def remove_paren
         @vars.each do |x|
           if x[1] and x[1].kind_of? ExpParen and x[1].val.priority <= PRIORITY_ASSIGNMENT
@@ -198,6 +235,7 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         @vars.each do |x|
           if x[1] and x[1].priority > PRIORITY_ASSIGNMENT
@@ -208,71 +246,93 @@ module Minjs
       end
     end
 
-    #12.3 empty
-    class StEmpty < St
+    # Base class of ECMA262 EmptyStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.2
+    class StEmpty < Statement
       def initialize()
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new()
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         ";;"
       end
 
+      # return true if statement can convert to empty statement.
       def empty?
         true
       end
     end
 
-    #12.4
-    class StExp < St
+    # Base class of ECMA262 ExpressionStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.4
+    class StExp < Statement
       attr_reader :exp
 
       def initialize(exp)
         @exp = exp
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if @exp .eql? from
           @exp = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and @exp == obj.exp
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat(options, @exp, ";")
       end
 
+      # Converts statement to expression and returns it.
       def to_exp(options = {})
         @exp.deep_dup
       end
 
+      # true if statement can convert to expression
       def to_exp?
         true
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val if @exp.remove_paren?
@@ -280,13 +340,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
-    #12.5
-    class StIf < St
+    # Base class of ECMA262 IfStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.5
+    class StIf < Statement
       attr_reader :then_st, :else_st, :cond
 
       def initialize(cond, then_st, else_st)
@@ -295,6 +358,8 @@ module Minjs
         @else_st = else_st
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @cond
           @cond = to
@@ -305,19 +370,23 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @cond.traverse(self, &block)
         @then_st.traverse(self, &block)
         if @else_st
           @else_st.traverse(self, &block)
         end
-        yield self, parent
+        yield parent, self
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@cond.deep_dup, @then_st.deep_dup, @else_st ? @else_st.deep_dup : nil)
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @cond == obj.cond and
@@ -325,6 +394,8 @@ module Minjs
           @else_st == obj.else_st
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @else_st
           concat options, :if, "(", @cond, ")", @then_st, :else, @else_st
@@ -333,6 +404,7 @@ module Minjs
         end
       end
 
+      # return true if statement can convert to return statement.
       def to_return?
         if !@else_st
           return false
@@ -341,6 +413,7 @@ module Minjs
         end
       end
 
+      # Converts block to 'return statement' and returns it
       def to_return
         then_exp = then_st.exp;
         if @else_st
@@ -361,6 +434,7 @@ module Minjs
         ret
       end
 
+      # true if statement can convert to expression
       def to_exp?
         if !@else_st
           return false if @then_st.to_exp? == false
@@ -371,6 +445,7 @@ module Minjs
         return true
       end
 
+      # Converts statement to expression and returns it.
       def to_exp(options = {})
         cond = @cond.deep_dup
         if !@else_st
@@ -400,6 +475,7 @@ module Minjs
         end
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @cond.kind_of? ExpParen
           @cond = @cond.val
@@ -407,10 +483,12 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
 
+      # Removes empty statement in this then-clause or else-clause
       def remove_empty_statement
         if @then_st.kind_of? StBlock
           @then_st.remove_empty_statement
@@ -421,36 +499,46 @@ module Minjs
       end
     end
 
-    #12.6
-    class StWhile < St
+    # Base class of ECMA262 'while' IterationStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.2
+    class StWhile < Statement
       attr_reader :exp, :statement
 
       def initialize(exp, statement)
         @exp, @statement = exp, statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp.deep_dup, @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @statement
           @statement = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp and
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -461,6 +549,7 @@ module Minjs
         concat(options, :while, "(", @exp, ")", statement)
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val
@@ -468,40 +557,52 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
-    class StDoWhile < St
+    # Base class of ECMA262 'do-while' IterationStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.1
+    class StDoWhile < Statement
       attr_reader :exp, :statement
 
       def initialize(exp, statement)
         @exp, @statement = exp, statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp.deep_dup, @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @statement
           @statement = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp and
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -512,6 +613,7 @@ module Minjs
         concat options, :do, statement, :while, "(", @exp, ")", ";"
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val
@@ -519,15 +621,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
+    # Base class of ECMA262 'for(;;)' IterationStatement element.
     #
-    # 12.6.3 the for statement
-    #
-    class StFor < St
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.3
+    class StFor < Statement
       attr_reader :exp1, :exp2, :exp3, :statement
 
       def initialize(exp1, exp2, exp3, statement)
@@ -537,6 +640,8 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp1 && @exp1.deep_dup,
                        @exp2 && @exp2.deep_dup,
@@ -544,6 +649,8 @@ module Minjs
                        @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @exp1
           @exp1 = to
@@ -556,14 +663,16 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp1.traverse(self, &block) if @exp1
         @exp2.traverse(self, &block) if @exp2
         @exp3.traverse(self, &block) if @exp3
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp1 == obj.exp1 and
@@ -572,6 +681,8 @@ module Minjs
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -579,9 +690,10 @@ module Minjs
           statement = @statement
         end
 
-        concat options, :for, "(", @exp1, ";", @exp2, ";", @exp3, ")", statement
+        concat options, :for, "(", @exp1, ";;", @exp2, ";;", @exp3, ")", statement
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp1.kind_of? ExpParen
           @exp1 = @exp1.val
@@ -595,15 +707,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
+    # Base class of ECMA262 'for(var;;)' IterationStatement element.
     #
-    # for(var i=0,... ; ; )
-    #
-    class StForVar < St
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.3
+    class StForVar < Statement
       attr_reader :context
       attr_reader :var_decl_list, :exp2, :exp3, :statement
 
@@ -619,6 +732,8 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context,
                        @var_decl_list.collect{|x,y|
@@ -629,12 +744,15 @@ module Minjs
                        @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @statement
           @statement = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @var_decl_list.each do |x|
           x[0].traverse(self, &block)
@@ -645,12 +763,10 @@ module Minjs
         @exp2.traverse(self, &block) if @exp2
         @exp3.traverse(self, &block) if @exp3
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
-      #
-      # for(var ...; ; ) => for(...; ; )
-      #
+      # converts for-var-statement to for-statement
       def to_st_for
         tt = nil
         @var_decl_list.each{|x|
@@ -668,6 +784,7 @@ module Minjs
         StFor.new(tt, @exp2, @exp3, @statement)
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @var_decl_list == obj.var_decl_list and
@@ -676,6 +793,8 @@ module Minjs
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -690,10 +809,11 @@ module Minjs
             concat options, x[0]
           end
         }.join(",")
-        t = concat({:for_args => true}.merge(options), :for, "(var", _var_decl_list, ";", @exp2, ";", @exp3, ")")
+        t = concat(options, :for, "(var", _var_decl_list, ";;", @exp2, ";;", @exp3, ")")
         concat options, t, statement
       end
 
+      # remove parenthesis if possible
       def remove_paren
         @var_decl_list.each do|x|
           if x[1] and x[1].kind_of? ExpParen
@@ -709,12 +829,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
-    class StForIn < St
+    # Base class of ECMA262 'for(in)' IterationStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.4
+    class StForIn < Statement
       attr_reader :exp1, :exp2, :statement
 
       def initialize(exp1, exp2, statement)
@@ -723,23 +847,29 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp1.deep_dup, @exp2.deep_dup, @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @statement
           @statement = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp1.traverse(self, &block)
         @exp2.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp1 == obj.exp1 and
@@ -747,6 +877,8 @@ module Minjs
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -757,6 +889,7 @@ module Minjs
         concat options, :for, '(', @exp1, :in, @exp2, ')', statement
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp1.kind_of? ExpParen and @exp1.val.priority <= PRIORITY_LEFT_HAND_SIDE
           @exp1 = @exp1.val
@@ -767,6 +900,7 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         if @exp1.priority > PRIORITY_LEFT_HAND_SIDE
           @exp1 = ExpParen.new(@exp1)
@@ -775,7 +909,10 @@ module Minjs
       end
     end
 
-    class StForInVar < St
+    # Base class of ECMA262 'for(var in)' IterationStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.6.4
+    class StForInVar < Statement
       attr_reader :context
       attr_reader :var_decl, :exp2, :statement
 
@@ -786,6 +923,8 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context,
                        [@var_decl[0].deep_dup, @var_decl[1] ? @var_decl[1].deep_dup : nil],
@@ -793,20 +932,24 @@ module Minjs
                        @statement.deep_dup)
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @var_decl[0].traverse(self, &block)
         @var_decl[1].traverse(self, &block) if @var_decl[1]
         @exp2.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @statement
           @statement = to
         end
       end
 
+      # converts for-in-var-statement to for-var-statement
       def to_st_for_in
         if @var_decl[1]
           t = ExpAssign.new(@var_decl[0], @var_decl[1])
@@ -816,6 +959,7 @@ module Minjs
         StForIn.new(t, @exp2, @statement)
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @var_decl == obj.var_decl and
@@ -823,6 +967,8 @@ module Minjs
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @statement.kind_of? StBlock and @statement.statement_list.length == 1
           statement = @statement.statement_list.statement_list[0]
@@ -839,6 +985,7 @@ module Minjs
         concat options, :for, "(", :var, _var_decl, :in, @exp2, ")", statement
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @var_decl[1] and @var_decl[1].kind_of? ExpParen
           @var_decl[1] = @var_decl[1].val
@@ -849,34 +996,43 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
 
 
-    #12.7
-    class StContinue < St
+    # Base class of ECMA262 ContinueStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.7
+    class StContinue < Statement
       attr_reader :exp
 
       def initialize(exp = nil)
         @exp = exp
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp ? @exp.deep_dup : nil)
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block) if @exp
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @exp
           concat options, :continue, @exp, ";"
@@ -886,28 +1042,36 @@ module Minjs
       end
     end
 
-    #12.8
-    class StBreak < St
+    # Base class of ECMA262 BreakStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.8
+    class StBreak < Statement
       attr_reader :exp
 
       def initialize(exp = nil)
         @exp = exp
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp ? @exp.deep_dup : nil)
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block) if @exp
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @exp
           concat options, :break, @exp, ";"
@@ -917,41 +1081,53 @@ module Minjs
       end
     end
 
-    #12.9
-    class StReturn < St
+    # Base class of ECMA262 ReturnStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.9
+    class StReturn < Statement
       attr_reader :exp
 
       def initialize(exp = nil)
         @exp = exp
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(exp ? exp.deep_dup : nil)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @exp
           @exp = to
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block) if @exp
-        yield self, parent
+        yield parent, self
       end
 
+      # return true if statement can convert to return statement.
       def to_return?
         true
       end
 
+      # Converts block to 'return statement' and returns it
       def to_return
         self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and @exp == obj.exp
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @exp
           concat options, :return, @exp, ";"
@@ -960,6 +1136,7 @@ module Minjs
         end
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val
@@ -967,12 +1144,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
-    #12.10
-    class StWith < St
+
+    # Base class of ECMA262 WithStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.10
+    class StWith < Statement
       attr_reader :exp, :statement, :context
 
       def initialize(context, exp, statement)
@@ -981,10 +1162,14 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context, @exp.deep_dup, @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if @exp .eql? from
           @exp = to
@@ -993,22 +1178,27 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp and
           @statement == obj.statement
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat options, :with, "(", @exp, ")", @statement
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val
@@ -1016,12 +1206,16 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
-    #12.11
-    class StSwitch < St
+
+    # Base class of ECMA262 SwitchStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.11
+    class StSwitch < Statement
       attr_reader :exp, :blocks
 
       #
@@ -1032,6 +1226,8 @@ module Minjs
         @blocks = blocks
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp.deep_dup,
                        @blocks.collect{|x, y|
@@ -1042,6 +1238,8 @@ module Minjs
                        })
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if @exp .eql? from
           @exp = to
@@ -1050,6 +1248,7 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &blocks)
         @exp.traverse(self, &blocks)
         @blocks.each do |b|
@@ -1058,14 +1257,18 @@ module Minjs
           end
           b[1].traverse(self, &blocks)
         end
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp and
           @blocks == obj.blocks
       end
+
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         t = concat(options, :switch, "(", @exp, ")", "{")
         @blocks.each do |b|
@@ -1078,6 +1281,7 @@ module Minjs
         t = concat(options, t, "}")
       end
 
+      # remove parenthesis if possible
       def remove_paren
         if @exp.kind_of? ExpParen
           @exp = @exp.val
@@ -1090,12 +1294,15 @@ module Minjs
         self
       end
 
+      # add parenthesis if need
       def add_paren
         self
       end
     end
-    #12.12
-    class StLabelled < St
+    # Base class of ECMA262 LabelledStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.12
+    class StLabelled < Statement
       attr_reader :label, :statement
 
       def initialize(label, statement)
@@ -1103,10 +1310,14 @@ module Minjs
         @statement = statement
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@label.deep_dup, @statement.deep_dup)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @label
           @label = to
@@ -1115,51 +1326,66 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @label.traverse(self, &block)
         @statement.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @label == obj.label and
           @statement == obj.statement
       end
+
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat options, @label, ":", @statement
       end
     end
 
-    #12.13
-    class StThrow < St
+    # Base class of ECMA262 ThrowStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.13
+    class StThrow < Statement
       attr_reader :exp
 
       def initialize(exp)
         @exp = exp
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@exp.deep_dup)
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @exp.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @exp == obj.exp
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat options, :throw, @exp, ";"
       end
     end
 
-    #12.14
-    class StTry < St
+    # Base class of ECMA262 TryStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.14
+    class StTry < Statement
       attr_reader :context
       attr_reader :try, :catch, :finally
 
@@ -1170,6 +1396,8 @@ module Minjs
         @finally = finally
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context,
                        @try.deep_dup,
@@ -1177,6 +1405,8 @@ module Minjs
                        @finally ? @finally.deep_dup : nil)
       end
 
+      # Replaces children object.
+      # @see Base#replace
       def replace(from, to)
         if from .eql? @try
           @try = to
@@ -1189,6 +1419,7 @@ module Minjs
         end
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @try.traverse(self, &block)
         if @catch
@@ -1196,9 +1427,10 @@ module Minjs
           @catch[1].traverse(self, &block)
         end
         @finally.traverse(self, &block) if @finally
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           self.try == obj.try and
@@ -1206,6 +1438,8 @@ module Minjs
           self.finally == obj.finally
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         if @catch and @finally
           concat(options, :try, @try, :catch, "(", @catch[0], ")", @catch[1], :finally, @finally)
@@ -1217,31 +1451,38 @@ module Minjs
       end
     end
 
-    #12.15
-    class StDebugger < St
+    # Base class of ECMA262 DebuggerStatement element.
+    #
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 12.15
+    class StDebugger < Statement
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         concat options, :debugger, ";"
       end
     end
 
+    # Base class of ECMA262 FunctionDeclaration / FunctionExpression
+    # element
     #
-    # 13 function declaration
-    # 13 function expression
-    # 11.1.5 getter/setter
-    #
-    class StFunc < St
+    # @see http://www.ecma-international.org/ecma-262 ECMA262 13, 11.1.5
+    class StFunc < Statement
       attr_reader :name
       attr_reader :args
       attr_reader :statements
@@ -1257,10 +1498,13 @@ module Minjs
         @setter = options[:setter]
       end
 
+      # @return [Fixnum] expression priority
       def priority
-        10
+        PRIORITY_PRIMARY
       end
 
+      # duplicate object
+      # @see Base#deep_dup
       def deep_dup
         self.class.new(@context, @name ? @name.deep_dup : nil,
                        @args.collect{|args|args.deep_dup},
@@ -1268,15 +1512,17 @@ module Minjs
                        {decl: @decl, getter: @getter, setter: @setter})
       end
 
+      # Traverses this children and itself with given block.
       def traverse(parent, &block)
         @name.traverse(self, &block) if @name
         @args.each do |arg|
           arg.traverse(self, &block)
         end
         @statements.traverse(self, &block)
-        yield self, parent
+        yield parent, self
       end
 
+      # compare object
       def ==(obj)
         self.class == obj.class and
           @name == obj.name and
@@ -1284,6 +1530,8 @@ module Minjs
           @statements == obj.statements
       end
 
+      # Returns a ECMAScript string containg the representation of element.
+      # @see Base#to_js
       def to_js(options = {})
         _args = @args.collect{|x|x.to_js(options)}.join(",")
         if @getter
@@ -1295,18 +1543,22 @@ module Minjs
         end
       end
 
+      # @return [Boolean] true if expression is kind of LeftHandSideExpression.
       def left_hand_side_exp?
         true
       end
 
+      # Returns true if this object is setter in object
       def getter?
         @getter
       end
 
+      # Returns true if this object is setter in object
       def setter?
         @setter
       end
 
+      # Returns true if this object is function declaration
       def decl?
         @decl
       end