Hi! I need some help with model simulation. I'm trying to model the behaviour of some C functions and I would like to simulate the model so that i can compare it with the real code execution. I had a look at the TestGuard example, which shows that it is possible to check the value of a parameter to allow or not a transition. Howerver, in the example, the parameter belongs to the same class described by the state machine and is thus accessed by means of the keyword "Self". Is it possible to access parameters of other classes, and if so, how? Parameters can only be read during the simulation, or is it possible to make a transition or a state change its value? Functions have local variables which don't belong to any class, is there a way to simulate such a thing?
Thanks for your help! taedium _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
