direct-state-access-read-simple-2.eo

# 2022-07-18T12:42:28.153501
# j2eo team
+package directStateAccess
+alias stdlib.lang.class__Object
+alias stdlib.lang.class__System
+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
    # n :: null -> int
    [this] > n
      seq > @
        return_1
      [] > return_1
        simpleReference_1 > @
      [] > simpleReference_1
        state > @
  # 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_2
      statementExpression_3
    cage > b
    [] > variableDeclaration_2
      b.write > @
        initializerSimple_3
    [] > initializerSimple_3
      instanceCreation_1 > @
    [] > instanceCreation_1
      class__B.constructor > @
        class__B.new
    [] > statementExpression_3
      class__System.out.println > @
        class__System.out
        methodInvocation_1
    [] > methodInvocation_1
      b.n > @
        b
  # 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 > @
    *