Begin Get Attribute (1)

if the following are true:
  • expression state at time t = "begin_expr"
  • the expression at time t = obj.attr

then Value Stack at time (t + 1) = [ [ ], Value Stack at time t ]


Comments

Please log in to add comments