Those functions are defined in the controller specification file
and are generated by SLICC. All generated ruby code can be found in the
directory:
ruby/generated/<protocol>/
The specific get state and set state functions are located in separate C
files named <controller>_getState.C and <controller>_setState.C
Brad
On Mon, 1 May 2006, Marco Tirado wrote:
> Hi:
>
> We are developing a new cache cohernece protocol and we have seen that the
> Get State and Set State functions are defined for all the state machines. We
> assume that the Get State function is called when a message request/response
> is attended and then at the end of the transition the Set State routine is
> called. We would like to know in which file(s) is this procedure defined.
> Thanks in advance
>
> Enric and Marco
>
|