La ventana de Propiedades de Estado mostrada abajo es para el Estado llamado Parlamento; la pestaña de Restricciones está abierta para mostrar como el Estado está vinculado a la Clase CXTrain.
Un Estado puede ser definido por una única restricción o varias; en el ejemplo de abajo el Estado Parlamento tiene dos restricciones:
Los valores de restricciones sólo pueden ser comparados para tipos elementales, enum y string
La Clase CXTrain tiene un miembro llamado Ubicación de tipo int, y un miembro llamado Departing.Name de tipo CString; lo que esta restricción significa es que este Estado se evalúa a verdadero cuando:
•
|
una instancia de una Clase CXTrain existe y
|
•
|
su variable miembro Ubicación tiene el valor 0 y
|
•
|
la variable miembro Departing.Name tiene el valor Parlamento
|
|