division-by-zero-array-size.eo

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

[] > class__Test
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__Test" > className
    [this] > init
      seq > @
        TRUE
  # test :: int -> int
  [x] > test
    seq > @
      variableDeclaration_1
      return_1
    cage > a
    [] > variableDeclaration_1
      a.write > @
        initializerSimple_1
    [] > initializerSimple_1
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__Vector.constructor > @
        class__Vector.new
    [] > return_1
      binary_1 > @
    [] > binary_1
      simpleReference_1.div > @
        methodInvocation_1
    [] > simpleReference_1
      x > @
    [] > methodInvocation_1
      a.size > @
        a
  # main :: String[] -> void
  [args] > main
    seq > @
      statementExpression_1
    [] > statementExpression_1
      class__System.out.println > @
        class__System.out
        methodInvocation_2
    [] > methodInvocation_2
      this.test > @
        this
        literal_1
    [] > literal_1
      prim__int.constructor_2 > @
        prim__int.new
        100
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_2
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_2
      this.super.constructor > @
        this.super

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