records generated from UBF

[Vlad Dumitrescu]

>From: Ulf Wiger <etxuwig@REDACTED>
>
>Thus, the contract checker depends on UBF(B), the type
>definitions, and UBF(C), the state machine specification,
>but not on UBF(A), the encode/decode scheme.
>
>One could most likely design a UBFish gen_server that
>implements the UBF contract checking, but skips the
>encode/decode part.

Yes, of course, that's what I meant. I keep thinking of UBF as UBF(A), 
because (B) and (C) are really very weakly connected to it - any encoding 
would do.

regards,
Vlad

_________________________________________________________________
Hitta rätt på nätet med MSN Sök http://search.msn.se/