For each Final State on a State Diagram that is being generated, ACS generates code to set a valid value for the current state attribute that is generated for the parent Class, Sequential State or Concurrent State. The code is generated in the appropriate exit state operation.