In contrast to an ordinary imperative statement, a reactive one has a lifetime which goes as follows:
  1. First the statement is activated
    1. An initial execution is performed in pretty the same way as an ordinary statement is executed
    2. The statement starts to listen to the changes in its sub-expressions
  2. While activated, the statement is being maintained
    1. Either the statement keeps some state up to date (e.g., an assignment keeps the left-hand side expression equal to the right-hand side expression)
    2. or manages its sub-statements (an if statement activates/deactivates its sub-statements according to the current condition value)
  3. The lifetime is interrupted by deactivation
    1. In the majority of cases it is done by the parent statement
    2. If possible the statement rolls its state changes back, if any

Last edited Feb 14, 2011 at 8:55 PM by reactive, version 3

Comments

No comments yet.