A `State` is generated as a class whose definition is contained
entirely within the State's parent's generated class - all the way up
to the `State Machine`'s generated class.