Module: Minjs::Lex::Expression

Includes:
Minjs
Included in:
Parser
Defined in:
lib/minjs/lex/expression.rb

Overview

Expression

Constant Summary

Constants included from Minjs

VERSION

Instance Method Summary collapse

Instance Method Details

#additive_exp(var_env) ⇒ ECMA262::Base

Tests next literal is AdditiveExpression or not.

If literal is AdditiveExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
 
# File 'lib/minjs/lex/expression.rb', line 666

def additive_exp(var_env)
  # AdditiveExpression :
  #   MultiplicativeExpression AdditiveExpression +
  #   MultiplicativeExpression AdditiveExpression -
  #   MultiplicativeExpression
  a = multiplicative_exp(var_env)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_ADD) || eql_lit?(ECMA262::PUNC_SUB)
    if b = multiplicative_exp(var_env)
      if punc == ECMA262::PUNC_ADD
        t = ECMA262::ExpAdd.new(t, b)
      else
        t = ECMA262::ExpSub.new(t, b)
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#arguments(var_env) ⇒ Array<ECMA262::Base>

Tests next literal is Arguments or not.

If literal is Arguments return them and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
 
# File 'lib/minjs/lex/expression.rb', line 515

def arguments(var_env)
  # Arguments :
  # ( )
  # ( ArgumentList )
  return nil if eql_lit?(ECMA262::PUNC_LPARENTHESIS).nil?
  return [] if eql_lit?(ECMA262::PUNC_RPARENTHESIS)

  args = []
  while true
    if t = assignment_exp(var_env, {})
      args.push(t)
    else
      raise ParseError.new("unexpected token", self)
    end
    if eql_lit?(ECMA262::PUNC_COMMA)
      ;
    elsif eql_lit?(ECMA262::PUNC_RPARENTHESIS)
      break
    else
      raise ParseError.new("unexpected token", self)
    end
  end
  args
end

#array_literal(var_env) ⇒ ECMA262::ECMA262Array

Tests next literal is ArrayLiteral or not.

If literal is ArrayLiteral return ECMA262::ECMA262Array object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
 
# File 'lib/minjs/lex/expression.rb', line 116

def array_literal(var_env)
  return nil unless eql_lit?(ECMA262::PUNC_LSQBRAC)
  t = []
  while true
    if eql_lit?(ECMA262::PUNC_COMMA)
      t.push(nil)
    elsif eql_lit?(ECMA262::PUNC_RSQBRAC)
      break
    elsif a = assignment_exp(var_env, {})
      t.push(a)
      eql_lit?(ECMA262::PUNC_COMMA)
    else
      raise ParseError.new("no `]' end of array", self)
    end
  end
  ECMA262::ECMA262Array.new(t)
end

#assignment_exp(var_env, options) ⇒ Object

Tests next literal is AssignmentExpression or not.

If literal is AssignmentExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

See Also:



987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
 
# File 'lib/minjs/lex/expression.rb', line 987

def assignment_exp(var_env, options)
  # AssignmentExpression :
  #  ConditionalExpression
  #  LeftHandSideExpression = AssignmentExpression
  #  LeftHandSideExpression AssignmentOperator AssignmentExpression
  @logger.debug "*** assignment_exp"

  t = cond_exp(var_env, options)
  return nil if t.nil?

  if !t.left_hand_side_exp?
    return  t
  end
  left_hand = t
  punc = peek_lit(:div)
  if punc == ECMA262::PUNC_ASSIGN ||
     punc == ECMA262::PUNC_DIVASSIGN ||
     punc == ECMA262::PUNC_MULASSIGN ||
     punc == ECMA262::PUNC_MODASSIGN ||
     punc == ECMA262::PUNC_ADDASSIGN ||
     punc == ECMA262::PUNC_SUBASSIGN ||
     punc == ECMA262::PUNC_LSHIFTASSIGN ||
     punc == ECMA262::PUNC_RSHIFTASSIGN ||
     punc == ECMA262::PUNC_URSHIFTASSIGN ||
     punc == ECMA262::PUNC_ANDASSIGN ||
     punc == ECMA262::PUNC_ORASSIGN ||
     punc == ECMA262::PUNC_XORASSIGN
    fwd_after_peek
    if b = assignment_exp(var_env, options)
      case punc
      when ECMA262::PUNC_ASSIGN
        ECMA262::ExpAssign.new(left_hand, b)
      when ECMA262::PUNC_DIVASSIGN
        ECMA262::ExpDivAssign.new(left_hand, b)
      when ECMA262::PUNC_MULASSIGN
        ECMA262::ExpMulAssign.new(left_hand, b)
      when ECMA262::PUNC_MODASSIGN
        ECMA262::ExpModAssign.new(left_hand, b)
      when ECMA262::PUNC_ADDASSIGN
        ECMA262::ExpAddAssign.new(left_hand, b)
      when ECMA262::PUNC_SUBASSIGN
        ECMA262::ExpSubAssign.new(left_hand, b)
      when ECMA262::PUNC_LSHIFTASSIGN
        ECMA262::ExpLShiftAssign.new(left_hand, b)
      when ECMA262::PUNC_RSHIFTASSIGN
        ECMA262::ExpRShiftAssign.new(left_hand, b)
      when ECMA262::PUNC_URSHIFTASSIGN
        ECMA262::ExpURShiftAssign.new(left_hand, b)
      when ECMA262::PUNC_ANDASSIGN
        ECMA262::ExpAndAssign.new(left_hand, b)
      when ECMA262::PUNC_ORASSIGN
        ECMA262::ExpOrAssign.new(left_hand, b)
      when ECMA262::PUNC_XORASSIGN
        ECMA262::ExpXorAssign.new(left_hand, b)
      else
        raise "internal error"
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  else
    @logger.debug {
      "*** assignment_exp => #{t ? t.to_js : t}"
    }
    t
  end
end

#bitwise_and_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is BitwiseAndExpression or not.

If literal is BitwiseAndExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



823
824
825
826
827
828
829
830
831
832
833
834
835
836
 
# File 'lib/minjs/lex/expression.rb', line 823

def bitwise_and_exp(var_env, options)
  a = equality_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_AND)
    if b = equality_exp(var_env, options)
      t = ECMA262::ExpAnd.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#bitwise_or_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is BitwiseOrExpression or not.

If literal is BitwiseOrExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



880
881
882
883
884
885
886
887
888
889
890
891
892
893
 
# File 'lib/minjs/lex/expression.rb', line 880

def bitwise_or_exp(var_env, options)
  a = bitwise_xor_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_OR)
    if b = bitwise_xor_exp(var_env, options)
      t = ECMA262::ExpOr.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#bitwise_xor_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is BitwiseXorExpression or not.

If literal is BitwiseXorExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
 
# File 'lib/minjs/lex/expression.rb', line 851

def bitwise_xor_exp(var_env, options)
  a = bitwise_and_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_XOR)
    if b = bitwise_and_exp(var_env, options)
      t = ECMA262::ExpXor.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end

  t
end

#call_exp(var_env) ⇒ Object

Tests next literal is CallExpression or not.

If literal is CallExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

See Also:



404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
 
# File 'lib/minjs/lex/expression.rb', line 404

def call_exp(var_env)
  # CallExpression :
  # MemberExpression Arguments
  # CallExpression Arguments
  # CallExpression [ Expression ]
  # CallExpression . IdentifierName
  if a = member_exp(var_env)
    if b = arguments(var_env)
      t = ECMA262::ExpCall.new(a, b)
    # if b is nil, this may be MemberExpression of NewExpression
    else
      return a
    end
  else
    return nil
  end

  while true
    if b = arguments(var_env)
      t = ECMA262::ExpCall.new(t, b)
    elsif eql_lit?(ECMA262::PUNC_LSQBRAC)
      if b=exp(var_env, {}) and eql_lit?(ECMA262::PUNC_RSQBRAC)
        t = ECMA262::ExpPropBrac.new(t, b)
      else
        raise ParseError.new("unexpceted token", self)
      end
    elsif eql_lit?(ECMA262::PUNC_PERIOD)
      if (b=fwd_lit(nil)).kind_of?(ECMA262::IdentifierName)
        t = ECMA262::ExpProp.new(t, b)
      else
        raise ParseError.new("unexpceted token", self)
      end
    else
      break
    end
  end
  t
end

#cond_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is ConditionalExpression or not.

If literal is ConditionalExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



962
963
964
965
966
967
968
969
970
971
972
973
974
975
 
# File 'lib/minjs/lex/expression.rb', line 962

def cond_exp(var_env, options)
  a = logical_or_exp(var_env, options)
  return nil if !a

  if eql_lit?(ECMA262::PUNC_CONDIF)
    if b=assignment_exp(var_env, options) and eql_lit?(ECMA262::PUNC_COLON) and c=assignment_exp(var_env, options)
      ECMA262::ExpCond.new(a, b, c)
    else
      raise ParseError.new("unexpceted token", self)
    end
  else
    a
  end
end

#equality_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is EqualityExpression or not.

If literal is EqualityExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
 
# File 'lib/minjs/lex/expression.rb', line 784

def equality_exp(var_env, options)
  a = relational_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_EQ) ||
               eql_lit?(ECMA262::PUNC_NEQ) ||
               eql_lit?(ECMA262::PUNC_SEQ) ||
               eql_lit?(ECMA262::PUNC_SNEQ)
    if b = relational_exp(var_env, options)
      if punc == ECMA262::PUNC_EQ
        t = ECMA262::ExpEq.new(t, b)
      elsif punc == ECMA262::PUNC_NEQ
        t = ECMA262::ExpNotEq.new(t, b)
      elsif punc == ECMA262::PUNC_SEQ
        t = ECMA262::ExpStrictEq.new(t, b)
      elsif punc == ECMA262::PUNC_SNEQ
        t = ECMA262::ExpStrictNotEq.new(t, b)
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is Expression or not.

If literal is Expression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
 
# File 'lib/minjs/lex/expression.rb', line 1068

def exp(var_env, options)
  # Expression :
  # AssignmentExpression
  # Expression , AssignmentExpression
  @logger.debug "*** expression"

  t = assignment_exp(var_env, options)
  return nil if t.nil?
  while punc = eql_lit?(ECMA262::PUNC_COMMA)
    if b = assignment_exp(var_env, options)
      t = ECMA262::ExpComma.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  @logger.debug{
    "*** expression => #{t ? t.to_js : t}"
  }
  t
end

#identifier(var_env) ⇒ ECMA262::Literal

Tests next literal is Identifier or not.

If literal is Identifier return ECMA262::Lit object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



94
95
96
97
98
99
100
101
102
103
 
# File 'lib/minjs/lex/expression.rb', line 94

def identifier(var_env)
  a = peek_lit(:regexp)
  if a.kind_of? ECMA262::IdentifierName and !a.reserved?
    fwd_after_peek
    #a.var_env = var_env
    a
  else
    nil
  end
end

#left_hand_side_exp(var_env) ⇒ ECMA262::Base

Tests next literal is LeftHandSideExpression or not.

If literal is LeftHandSideExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
 
# File 'lib/minjs/lex/expression.rb', line 317

def left_hand_side_exp(var_env)
  #
  # LeftHandSideExpression :
  # NewExpression
  # CallExpression
  #
  @logger.debug "*** left_hand_side_exp"

  t = call_exp(var_env) || new_exp(var_env)
  #t = new_exp(var_env) || call_exp(var_env)

  @logger.debug{
    "*** left_hand_side_exp => #{t ? t.to_js: t}"
  }
  t
end

#literal(var_env) ⇒ ECMA262::Base

Tests next literal is Literal or not

If literal is Literal, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
 
# File 'lib/minjs/lex/expression.rb', line 57

def literal(var_env)
  # Literal ::
  # NullLiteral
  # BooleanLiteral
  # NumericLiteral
  # StringLiteral
  # RegularExpressionLiteral
  a = peek_lit(:regexp)
  if a.kind_of? ECMA262::ECMA262Numeric or a.kind_of? ECMA262::ECMA262String or a.kind_of? ECMA262::ECMA262RegExp
    fwd_after_peek
    a
  elsif a .eql? ECMA262::ID_NULL
    fwd_after_peek
    ECMA262::Null.get
  elsif a .eql? ECMA262::ID_TRUE
    fwd_after_peek
    ECMA262::Boolean.get(:true)
  elsif a .eql? ECMA262::ID_FALSE
    fwd_after_peek
    ECMA262::Boolean.get(:false)
  else
    nil
  end
end

#logical_and_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is LogicalAndExpression or not

If literal is LogicalAndExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
 
# File 'lib/minjs/lex/expression.rb', line 907

def logical_and_exp(var_env, options)
  a = bitwise_or_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_LAND)
    if b = bitwise_or_exp(var_env, options)
      t = ECMA262::ExpLogicalAnd.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end

  t
end

#logical_or_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is LogicalOrExpression or not

If literal is LogicalOrExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:

See Also:



935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
 
# File 'lib/minjs/lex/expression.rb', line 935

def logical_or_exp(var_env, options)
  a = logical_and_exp(var_env, options)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_LOR)
    if b = logical_and_exp(var_env, options)
      t = ECMA262::ExpLogicalOr.new(t, b)
    else
      raise ParseError.new("unexpceted token", self)
    end
  end

  t
end

#member_exp(var_env) ⇒ ECMA262::Base

Tests next literal is MemberExpression or not.

If literal is MemberExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Returns:

See Also:



457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
 
# File 'lib/minjs/lex/expression.rb', line 457

def member_exp(var_env)
  # MemberExpression :
  # PrimaryExpression
  # FunctionExpression
  # MemberExpression [ Expression ]
  # MemberExpression . IdentifierName
  # new MemberExpression Arguments
  #
  t = eval_lit{
    if eql_lit? ECMA262::ID_NEW
       if a = member_exp(var_env)
         b = arguments(var_env)
         # if b is nil, this may be NewExpression
         if b
           s = b.collect{|x| x.to_js}.join(',');
           #puts "member_exp> [new] #{a.to_js} (#{s})"
           next ECMA262::ExpNew.new(a, b)
         else
           return nil
         end
       else
         return nil
       end
    end
  } || primary_exp(var_env) || func_exp(var_env)
  return nil if t.nil?

  while true
    if eql_lit?(ECMA262::PUNC_LSQBRAC)
      if b=exp(var_env, {}) and eql_lit?(ECMA262::PUNC_RSQBRAC)
        t = ECMA262::ExpPropBrac.new(t, b)
      else
        raise ParseError.new("unexpceted token", self)
      end
    elsif eql_lit?(ECMA262::PUNC_PERIOD)
      if (b=fwd_lit(nil)).kind_of?(ECMA262::IdentifierName)
        t = ECMA262::ExpProp.new(t, b)
      else
        raise ParseError.new("unexpceted token", self)
      end
    else
      break
    end
  end
  t
end

#multiplicative_exp(var_env) ⇒ ECMA262::Base

Tests next literal is MultiplicativeExpression or not.

If literal is MultiplicativeExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Returns:

See Also:



631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
 
# File 'lib/minjs/lex/expression.rb', line 631

def multiplicative_exp(var_env)
  a = unary_exp(var_env)
  return nil if !a
  t = a
  while punc = eql_lit?(ECMA262::PUNC_MUL) ||
               eql_lit?(ECMA262::PUNC_DIV, :div) ||
               eql_lit?(ECMA262::PUNC_MOD)

    if b = unary_exp(var_env)
      if punc == ECMA262::PUNC_MUL
        t = ECMA262::ExpMul.new(t, b)
      elsif punc == ECMA262::PUNC_DIV
        t = ECMA262::ExpDiv.new(t, b)
      else
        t = ECMA262::ExpMod.new(t, b)
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#new_exp(var_env) ⇒ ECMA262::Base

Tests next literal is NewExpression or not.

If literal is NewExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

The NewExpression only matchs no-arguments-constructor because member expression also has “new MemberExpression Arguments”

For example,

  1. new A;

  2. new A;

  3. new A.B;

  4. new A.B();

  5. new new B();

  6. A();

1 to 3 are NewExpression. 4 is MemberExpression. 5 ‘s first new is NewExpression and second one is MemberExpression. 6 is CallExpression

In the results, NewExpression can be rewritten as follows:

NewExpression :
MemberExpression [lookahead ∉ {(}]
new NewExpression [lookahead ∉ {(}]

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Returns:

See Also:



371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
 
# File 'lib/minjs/lex/expression.rb', line 371

def new_exp(var_env)
  # NewExpression :
  # MemberExpression
  # new NewExpression
  if eql_lit?(ECMA262::ID_NEW)
    if a = new_exp(var_env)
      if eql_lit? ECMA262::PUNC_LPARENTHESIS
        # minjs evaluate CallExpression first, so
        # program never falls to here.
        raise ParseError.new("unexpceted token", self)
        nil # this is not NewExpression, may be MemberExpression.
      end
      #puts "new_exp> #{a.to_js}"
      ECMA262::ExpNew.new(a, nil)
    else
      # minjs evaluate CallExpression first, so
      # raise exception when program falls to here.
      raise ParseError.new("unexpceted token", self)
      #nil
    end
  else
    member_exp(var_env)
  end
end

#object_literal(var_env) ⇒ ECMA262::ECMA262Object

Tests next literal is ObjectLiteral or not.

If literal is ObjectLiteral return ECMA262::ECMA262Object object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
 
# File 'lib/minjs/lex/expression.rb', line 145

def object_literal(var_env)
  #
  # 11.1.5
  #
  # ObjectLiteral :
  # { }
  # { PropertyNameAndValueList }
  # { PropertyNameAndValueList , }
  #
  return nil unless eql_lit?(ECMA262::PUNC_LCURLYBRAC)
  #{}
  if eql_lit?(ECMA262::PUNC_RCURLYBRAC)
    ECMA262::ECMA262Object.new([])
  else
    ECMA262::ECMA262Object.new(property_name_and_value_list(var_env))
  end
end

#postfix_exp(var_env) ⇒ ECMA262::ECMA262Object

Tests next literal is PostfixExpression or not.

If literal is PostfixExpression return ECMA262::Base object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



552
553
554
555
556
557
558
559
560
561
562
563
564
565
 
# File 'lib/minjs/lex/expression.rb', line 552

def postfix_exp(var_env)
  exp = left_hand_side_exp(var_env)
  return nil if exp.nil?
  if punc = (eql_lit_nolt?(ECMA262::PUNC_INC) ||
             eql_lit_nolt?(ECMA262::PUNC_DEC))
    if punc == ECMA262::PUNC_INC
      ECMA262::ExpPostInc.new(exp)
    else
      ECMA262::ExpPostDec.new(exp)
    end
  else
    exp
  end
end

#primary_exp(var_env) ⇒ ECMA262::ECMA262Object

Tests next literal is PrimaryExpression or not.

If literal is PrimaryExpression return ECMA262::Base object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
# File 'lib/minjs/lex/expression.rb', line 18

def primary_exp(var_env)
  @logger.debug "*** primary_exp"

  if eql_lit?(ECMA262::ID_THIS)
    @logger.debug "*** primary_exp => this"
    return ECMA262::This.new
  end
  # (exp)
  if eql_lit?(ECMA262::PUNC_LPARENTHESIS)
    if a=exp(var_env, {}) and eql_lit?(ECMA262::PUNC_RPARENTHESIS)
      @logger.debug "*** primary_exp => ()"
      return ECMA262::ExpParen.new(a)
    else
      raise ParseError.new("no `)' at end of expression", self)
    end
  end

  t = literal(var_env) ||
      identifier(var_env) ||
      array_literal(var_env) ||
      object_literal(var_env)

  @logger.debug {
    "*** primary_exp => #{t ? t.to_js : t}"
  }
  t
end

#property_name(var_env) ⇒ ECMA262::Base

Tests next literal is PropertyName or not.

If literal is PropertyName return ECMA262::Base object and forward lexical parser position. Otherwise return nil and position is not changed.

11.1.5

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
 
# File 'lib/minjs/lex/expression.rb', line 265

def property_name(var_env)
  # PropertyName :
  # IdentifierName
  # StringLiteral
  # NumericLiteral
  a = fwd_lit(nil)
  if a.kind_of?(ECMA262::ECMA262String)
    a
  elsif a.kind_of?(ECMA262::IdentifierName)
    ECMA262::ECMA262String.new(a.to_js)
  elsif a.kind_of?(ECMA262::ECMA262Numeric)
    a
  elsif a.eql?(ECMA262::PUNC_COLON)
    nil
  else
    raise ParseError.new("unexpceted token", self)
  end
end

#property_name_and_value_list(var_env) ⇒ Array<Array>

Tests next literal is PropertyNameAndValueList or not.

If literal is PropertyNameAndValueList return Array object and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

  • (Array<Array>) —

    expression

See Also:



176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
 
# File 'lib/minjs/lex/expression.rb', line 176

def property_name_and_value_list(var_env)
  # PropertyNameAndValueList :
  # PropertyAssignment
  # PropertyNameAndValueList , PropertyAssignment
  #
  # PropertyAssignment :
  # PropertyName : AssignmentExpression
  # get PropertyName ( ) { FunctionBody }
  # set PropertyName ( PropertySetParameterList ) { FunctionBody }
  h = []
  while !eof?
    #get
    if match_lit? ECMA262::ID_GET
      # {get : val}
      if eql_lit? ECMA262::PUNC_COLON
        b = assignment_exp(var_env, {})
        h.push([ECMA262::ID_GET, b])
      # {get name(){}}
      else
        new_var_env = ECMA262::LexEnv.new(outer: var_env)
        if(a = property_name(var_env) and
           eql_lit? ECMA262::PUNC_LPARENTHESIS and
           eql_lit? ECMA262::PUNC_RPARENTHESIS and
           eql_lit? ECMA262::PUNC_LCURLYBRAC and
           b = func_body(new_var_env) and
           eql_lit? ECMA262::PUNC_RCURLYBRAC)
          h.push([a, f = ECMA262::StFunc.new(new_var_env, ECMA262::ID_GET, [], b, :getter => true)])
          #new_var_env.func = f
        else
          raise ParseError.new("unexpceted token", self)
        end
      end
    #set
    elsif match_lit?(ECMA262::ID_SET)
      # {set : val}
      if eql_lit? ECMA262::PUNC_COLON
        b = assignment_exp(var_env, {})
        h.push([ECMA262::ID_SET, b])
      # {set name(arg){}}
      else
        new_var_env = ECMA262::LexEnv.new(outer: var_env)
        if(a = property_name(var_env) and
           eql_lit? ECMA262::PUNC_LPARENTHESIS and
           arg = property_set_parameter_list(new_var_env) and
           eql_lit? ECMA262::PUNC_RPARENTHESIS and
           eql_lit? ECMA262::PUNC_LCURLYBRAC and
           b = func_body(new_var_env) and
           eql_lit? ECMA262::PUNC_RCURLYBRAC)
          h.push([a, f = ECMA262::StFunc.new(new_var_env, ECMA262::ID_SET, arg, b, :setter => true)])
          #new_var_env.func = f
        else
          raise ParseError.new("unexpceted token", self)
        end
      end
    #property
    elsif(a = property_name(var_env) and
          eql_lit? ECMA262::PUNC_COLON and
          b = assignment_exp(var_env, {}))
      h.push([a, b])
    else
      raise ParseError.new("unexpceted token", self)
    end

    if eql_lit?(ECMA262::PUNC_COMMA)
      break if eql_lit?(ECMA262::PUNC_RCURLYBRAC)
    elsif eql_lit?(ECMA262::PUNC_RCURLYBRAC)
      break
    else
      raise ParseError.new("no `}' end of object", self)
    end
  end
  h
end

#property_set_parameter_list(var_env) ⇒ Array<ECMA262::Base>

Tests next literal is PropertySetParameterList or not.

If literal is PropertySetParameterList return them and forward lexical parser position. Otherwise return nil and position is not changed.

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

Returns:

See Also:



296
297
298
299
300
301
302
303
304
 
# File 'lib/minjs/lex/expression.rb', line 296

def property_set_parameter_list(var_env)
  # PropertySetParameterList :
  # Identifier
  argName = identifier(var_env)

  var_env.record.create_mutable_binding(argName, nil)
  var_env.record.set_mutable_binding(argName, :undefined, nil, _parameter_list: true)
  [argName]
end

#relational_exp(var_env, options) ⇒ ECMA262::Base

Tests next literal is RelationalExpression or not.

If literal is RelationalExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

see ECMA262 11.8

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Options Hash (options):

  • :no_in (Boolean) —

    If set, the parser interpret as RelationExpressionNoIn

Returns:



734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
 
# File 'lib/minjs/lex/expression.rb', line 734

def relational_exp(var_env, options)
  #RelationalExpression :
  # ShiftExpression
  # RelationalExpression < ShiftExpression
  # RelationalExpression > ShiftExpression
  # RelationalExpression <= ShiftExpression
  # RelationalExpression >= ShiftExpression
  # RelationalExpression instanceof ShiftExpression
  # RelationalExpression in ShiftExpression
  a = shift_exp(var_env)
  return nil if !a

  t = a
  while (punc = eql_lit?(ECMA262::PUNC_LT) || eql_lit?(ECMA262::PUNC_GT) ||
                eql_lit?(ECMA262::PUNC_LTEQ) || eql_lit?(ECMA262::PUNC_GTEQ) ||
                eql_lit?(ECMA262::ID_INSTANCEOF) || (!options[:no_in] && eql_lit?(ECMA262::ID_IN)))
    if b = shift_exp(var_env)
      if punc == ECMA262::PUNC_LT
        t = ECMA262::ExpLt.new(t, b)
      elsif punc == ECMA262::PUNC_GT
        t = ECMA262::ExpGt.new(t, b)
      elsif punc == ECMA262::PUNC_LTEQ
        t = ECMA262::ExpLtEq.new(t, b)
      elsif punc == ECMA262::PUNC_GTEQ
        t = ECMA262::ExpGtEq.new(t, b)
      elsif punc.val == :instanceof
        t = ECMA262::ExpInstanceOf.new(t, b)
      elsif !options[:no_in] and punc.val == :in
        t = ECMA262::ExpIn.new(t, b)
      else
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#shift_exp(var_env) ⇒ ECMA262::Base

Tests next literal is ShiftExpression or not.

If literal is ShiftExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

see ECMA262 11.8

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Returns:



700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
 
# File 'lib/minjs/lex/expression.rb', line 700

def shift_exp(var_env)
  a = additive_exp(var_env)
  return nil if !a

  t = a
  while punc = eql_lit?(ECMA262::PUNC_LSHIFT) ||
               eql_lit?(ECMA262::PUNC_RSHIFT) ||
               eql_lit?(ECMA262::PUNC_URSHIFT)
    if b = additive_exp(var_env)
      if punc == ECMA262::PUNC_LSHIFT
        t = ECMA262::ExpLShift.new(t, b)
      elsif punc == ECMA262::PUNC_RSHIFT
        t = ECMA262::ExpRShift.new(t, b)
      elsif punc == ECMA262::PUNC_URSHIFT
        t = ECMA262::ExpURShift.new(t, b)
      end
    else
      raise ParseError.new("unexpceted token", self)
    end
  end
  t
end

#unary_exp(var_env) ⇒ ECMA262::Base

Tests next literal is UnaryExpression or not.

If literal is UnaryExpression, return ECMA262::Base object correspoding to expression and forward lexical parser position. Otherwise return nil and position is not changed.

see ECMA262 11.4

Parameters:

  • var_env (EnvRecord) —

    Lexical Environment

  • options (Hash) —

    a customizable set of options

Returns:



579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
 
# File 'lib/minjs/lex/expression.rb', line 579

def unary_exp(var_env)
  if punc = (eql_lit?(ECMA262::ID_DELETE) ||
             eql_lit?(ECMA262::ID_VOID) ||
             eql_lit?(ECMA262::ID_TYPEOF) ||
             eql_lit?(ECMA262::PUNC_INC) ||
             eql_lit?(ECMA262::PUNC_DEC) ||
             eql_lit?(ECMA262::PUNC_ADD) ||
             eql_lit?(ECMA262::PUNC_SUB) ||
             eql_lit?(ECMA262::PUNC_NOT) ||
             eql_lit?(ECMA262::PUNC_LNOT))
    exp = unary_exp(var_env)
    if exp.nil?
      raise ParseError.new("unexpceted token", self)
    elsif punc == ECMA262::PUNC_INC
      ECMA262::ExpPreInc.new(exp)
    elsif punc == ECMA262::PUNC_DEC
      ECMA262::ExpPreDec.new(exp)
    elsif punc == ECMA262::PUNC_ADD
      ECMA262::ExpPositive.new(exp)
    elsif punc == ECMA262::PUNC_SUB
      ECMA262::ExpNegative.new(exp)
    elsif punc == ECMA262::PUNC_NOT
      ECMA262::ExpBitwiseNot.new(exp)
    elsif punc == ECMA262::PUNC_LNOT
      ECMA262::ExpLogicalNot.new(exp)
    elsif punc.respond_to?(:val)
        if punc.val == :delete
          ECMA262::ExpDelete.new(exp)
        elsif punc.val == :void
          ECMA262::ExpVoid.new(exp)
        elsif punc.val == :typeof
          ECMA262::ExpTypeof.new(exp)
        end
    end
  else
    postfix_exp(var_env)
  end
end