stateNumber property

int stateNumber
getter/setter pair

Implementation

int stateNumber = INVALID_STATE_NUMBER;