mutual-recursion-in-inheritance-chain-nested-base-1.eo

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

[] > class__VeryOuter
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__VeryOuter" > className
    [this] > init
      seq > @
        TRUE
  [] > class__Outer
    class__Object > super
    super > @
    [] > new
      class__Object.new > super
      super > @
      "class__Outer" > className
      [this] > init
        seq > @
          TRUE
    [] > class__Base
      class__Object > super
      super > @
      [] > new
        class__Object.new > super
        super > @
        "class__Base" > className
        [this] > init
          seq > @
            variableDeclaration_1
          [] > variableDeclaration_1
            this.x.write > @
              initializerSimple_1
          [] > initializerSimple_1
            literal_1 > @
          [] > literal_1
            prim__int.constructor_2 > @
              prim__int.new
              0
        prim__int.constructor_1 > x
          prim__int.new
        # getX :: null -> int
        [this] > getX
          seq > @
            return_1
          [] > return_1
            simpleReference_1 > @
          [] > simpleReference_1
            x > @
        # n :: int -> void
        [this v] > n
          seq > @
            statementExpression_1
          [] > statementExpression_1
            simpleReference_2.write > @
              simpleReference_3
          [] > simpleReference_2
            x > @
          [] > simpleReference_3
            v > @
        # m :: int -> void
        [this v] > m
          seq > @
            statementExpression_2
          [] > statementExpression_2
            this.n > @
              this
              simpleReference_4
          [] > simpleReference_4
            v > @
      # null :: null -> void
      [this] > constructor
        seq > @
          initialization
          statementExpression_3
          this
        [] > initialization
          this.init > @
            this
        [] > statementExpression_3
          this.super.constructor > @
            this.super
    # null :: null -> void
    [this] > constructor
      seq > @
        initialization
        statementExpression_4
        this
      [] > initialization
        this.init > @
          this
      [] > statementExpression_4
        this.super.constructor > @
          this.super
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_5
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_5
      this.super.constructor > @
        this.super

[] > class__Derived
  class__VeryOuter.class__Outer.class__Base > super
  super > @
  [] > new
    class__VeryOuter.class__Outer.class__Base.new > super
    super > @
    "class__Derived" > className
    [this] > init
      seq > @
        TRUE
    # n :: int -> void
    [this v] > n
      seq > @
        statementExpression_6
      [] > statementExpression_6
        this.m > @
          this
          simpleReference_5
      [] > simpleReference_5
        v > @
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_7
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_7
      this.super.constructor > @
        this.super

[] > class__DerivedAgain
  class__Derived > super
  super > @
  [] > new
    class__Derived.new > super
    super > @
    "class__DerivedAgain" > className
    [this] > init
      seq > @
        TRUE
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_8
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_8
      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
      statementExpression_9
    cage > d
    [] > variableDeclaration_2
      d.write > @
        initializerSimple_3
    [] > initializerSimple_3
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__DerivedAgain.constructor > @
        class__DerivedAgain.new
    [] > statementExpression_9
      d.m > @
        d
        literal_2
    [] > literal_2
      prim__int.constructor_2 > @
        prim__int.new
        12
  # 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 > @
    *