division-by-zero-array-size-in-method.eo

# 2022-07-18T12:42:28.218428400
# j2eo team
+package divByZero
+alias stdlib.lang.class__Object
+alias stdlib.lang.class__System
+alias eo/org/polystat/stdlib.util.class__Vector

[] > class__A
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__A" > className
    [this] > init
      seq > @
        TRUE
    # doSomething :: Vector -> void
    [this args] > doSomething
      seq > @
        statementExpression_1
      [] > statementExpression_1
        class__System.out.println > @
          class__System.out
          binary_1
      [] > binary_1
        literal_1.div > @
          methodInvocation_1
      [] > literal_1
        prim__int.constructor_2 > @
          prim__int.new
          10
      [] > methodInvocation_1
        args.size > @
          args
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_2
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_2
      this.super.constructor > @
        this.super

[] > class__Test
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__Test" > className
    [this] > init
      seq > @
        TRUE
  # main :: String[] -> void
  [args] > main
    seq > @
      variableDeclaration_1
      variableDeclaration_2
      statementExpression_3
    cage > a
    [] > variableDeclaration_1
      a.write > @
        initializerSimple_1
    [] > initializerSimple_1
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__A.constructor > @
        class__A.new
    cage > v_s
    [] > variableDeclaration_2
      v_s.write > @
        initializerSimple_2
    [] > initializerSimple_2
      instanceCreation_2 > @
    [] > instanceCreation_2
      class__Vector.constructor > @
        class__Vector.new
    [] > statementExpression_3
      simpleReference_2.shift_l > @
        methodInvocation_2
    [] > simpleReference_2
      cout > @
    [] > methodInvocation_2
      a.doSomething > @
        a
        simpleReference_4
    [] > simpleReference_4
      v_s > @
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_4
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_4
      this.super.constructor > @
        this.super

[args...] > main
  class__Test.main > @
    *