direct-state-access-write-in-inheritance-chain.eo

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

[] > class__A
  class__Object > super
  super > @
  [] > new
    class__Object.new > super
    super > @
    "class__A" > className
    [this] > init
      seq > @
        variableDeclaration_1
      [] > variableDeclaration_1
        this.state.write > @
          initializerSimple_1
      [] > initializerSimple_1
        literal_1 > @
      [] > literal_1
        prim__int.constructor_2 > @
          prim__int.new
          0
    prim__int.constructor_1 > state
      prim__int.new
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_1
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_1
      this.super.constructor > @
        this.super

[] > class__B
  class__A > super
  super > @
  [] > new
    class__A.new > super
    super > @
    "class__B" > className
    [this] > init
      seq > @
        TRUE
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_2
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_2
      this.super.constructor > @
        this.super

[] > class__C
  class__B > super
  super > @
  [] > new
    class__B.new > super
    super > @
    "class__C" > className
    [this] > init
      seq > @
        TRUE
    # n :: int -> void
    [this x] > n
      seq > @
        statementExpression_3
      [] > statementExpression_3
        simpleReference_1.write > @
          binary_1
      [] > simpleReference_1
        state > @
      [] > binary_1
        simpleReference_2.add > @
          literal_2
      [] > simpleReference_2
        x > @
      [] > literal_2
        prim__int.constructor_2 > @
          prim__int.new
          2
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_4
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_4
      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_5
    cage > c
    [] > variableDeclaration_2
      c.write > @
        initializerSimple_3
    [] > initializerSimple_3
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__C.constructor > @
        class__C.new
    [] > statementExpression_5
      c.n > @
        c
        literal_3
    [] > literal_3
      prim__int.constructor_2 > @
        prim__int.new
        3
  # null :: null -> void
  [this] > constructor
    seq > @
      initialization
      statementExpression_6
      this
    [] > initialization
      this.init > @
        this
    [] > statementExpression_6
      this.super.constructor > @
        this.super

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