Graph: untyped A::getOne(A* this)

No node selected. Select a node to show its results.

Results for rec = new tests()

expressions: [rec]
state:

heap: monolith
type:

heap[w]:heap: [tests]
rec: [tests*]

value: #TOP#

Results for x = open(rec)

expressions: [x]
state:

heap: monolith
type:

x: #TOP#

value:

x: [-Inf, +Inf]

Results for <(x, 10)

expressions: [x < 10]
state:

heap: monolith
type:

x: #TOP#

value:

x: [-Inf, +Inf]

Results for x = +(x, 1)

expressions: [x]
state:

heap: monolith
type:

x: [float32, int32]

value:

x: [-Inf, 10]

Results for return 1

expressions: [ret_value@getOne]
state:

heap: monolith
type:

ret_value@getOne: [int32]
x: #TOP#

value:

ret_value@getOne: [1, 1]
x: [10, +Inf]