unjustified-assumption-in-factory.eo

# 2022-07-18T12:42:28.645422800
# j2eo team
+package unjustifiedAssumption
+alias stdlib.lang.class__Object
+alias stdlib.primitives.prim__int

[] > class__ParentFactory
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__ParentFactory" > className
    [this] > init
      seq > @
        TRUE
  [] > class__GetParent
    class__Object > super
    super > @
    [] > new
      class__Object.new > super
      super > @
      "class__GetParent" > className
      [this] > init
        seq > @
          TRUE
      # f :: int -> int
      [this x] > f
        seq > @
          variableDeclaration_1
          assert_1
          return_1
        prim__int.constructor_1 > t
          prim__int.new
        [] > variableDeclaration_1
          t.write > @
            initializerSimple_1
        [] > initializerSimple_1
          binary_1 > @
        [] > binary_1
          simpleReference_1.sub > @
            literal_1
        [] > simpleReference_1
          x > @
        [] > literal_1
          prim__int.constructor_2 > @
            prim__int.new
            5
        [] > assert_1
          parenthesized_1.if > @
            TRUE
            []
              "AssertionError" > msg
        [] > parenthesized_1
          binary_2 > @
        [] > binary_2
          simpleReference_2.greater > @
            literal_2
        [] > simpleReference_2
          t > @
        [] > literal_2
          prim__int.constructor_2 > @
            prim__int.new
            0
        [] > return_1
          simpleReference_3 > @
        [] > simpleReference_3
          x > @
      # g :: int -> int
      [this y] > g
        seq > @
          return_2
        [] > return_2
          methodInvocation_1 > @
        [] > methodInvocation_1
          this.f > @
            this
            simpleReference_4
        [] > simpleReference_4
          y > @
      # h :: int -> int
      [this z] > h
        seq > @
          return_3
        [] > return_3
          simpleReference_5 > @
        [] > simpleReference_5
          z > @
    # null :: null -> void
    [this] > constructor
      seq > @
        initialization
        statementExpression_1
        this
      [] > initialization
        this.init > @
          this
      [] > statementExpression_1
        this.super.constructor > @
          this.super
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_2
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_2
      this.super.constructor > @
        this.super

[] > class__Child
  class__ParentFactory.class__GetParent > super
  super > @
  [] > new
    class__ParentFactory.class__GetParent.new > super
    super > @
    "class__Child" > className
    [this] > init
      seq > @
        TRUE
    # f :: int -> int
    [this y] > f
      seq > @
        return_4
      [] > return_4
        simpleReference_6 > @
      [] > simpleReference_6
        y > @
    # h :: int -> int
    [this z] > h
      seq > @
        return_5
      [] > return_5
        methodInvocation_2 > @
      [] > methodInvocation_2
        this.g > @
          this
          simpleReference_7
      [] > simpleReference_7
        z > @
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_3
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_3
      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_2
      variableDeclaration_3
      statementExpression_4
      statementExpression_5
      statementExpression_6
      statementExpression_7
      statementExpression_8
      statementExpression_9
    prim__int.constructor_1 > x
      prim__int.new
    [] > variableDeclaration_2
      x.write > @
        initializerSimple_2
    [] > initializerSimple_2
      literal_3 > @
    [] > literal_3
      prim__int.constructor_2 > @
        prim__int.new
        10
    cage > p
    [] > variableDeclaration_3
      p.write > @
        initializerSimple_3
    [] > initializerSimple_3
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__ParentFactory.class__GetParent.constructor > @
        class__ParentFactory.class__GetParent.new
    [] > statementExpression_4
      p.g > @
        p
        simpleReference_9
    [] > simpleReference_9
      x > @
    [] > statementExpression_5
      simpleReference_10.sub_equal > @
        literal_4
    [] > simpleReference_10
      x > @
    [] > literal_4
      prim__int.constructor_2 > @
        prim__int.new
        5
    [] > statementExpression_6
      p.h > @
        p
        simpleReference_12
    [] > simpleReference_12
      x > @
    [] > statementExpression_7
      simpleReference_13.write > @
        instanceCreation_2
    [] > simpleReference_13
      p > @
    [] > instanceCreation_2
      class__Child.constructor > @
        class__Child.new
    [] > statementExpression_8
      p.g > @
        p
        simpleReference_15
    [] > simpleReference_15
      x > @
    [] > statementExpression_9
      p.h > @
        p
        simpleReference_17
    [] > simpleReference_17
      x > @
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_10
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_10
      this.super.constructor > @
        this.super

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