[Cs5500] SCG changes in valid method & Baby Avatar proposals

[Karl Lieberherr]

The issue with the valid method is an issue about Design-by-Contract.

The admin must satisfy the contract that all objects it receives from avatars
are checked for validity and that when the admin calls a function provided
by the playground designer (like getResult) it is guaranteed that the
objects are valid.

Is this approach followede throughout SCG Courts? This is important so that
not all validity checking is done twice.

-- Karl

On Mon, Apr 11, 2011 at 9:06 PM, Anush Prabhu Ramachandran
<ramachandran.a at husky.neu.edu> wrote:
> Hi All,
>
> The following changes are made in the repository:
>
> We have updated the valid methods in InstanceI and InstanceSetI to take
> Config as a parameter to do the domain specific checks.
> The Baby Avatar propose methods are changed to propose claims that are
> playground specific.
> The protocols getResult method doesn't invoke valid method any more assuming
> that the valid methods are called by Admin.
>
> Please have a look and let me know if there is any issues.
>
> Thanks,
> Anush(AnushRashmi Team).
>
> _______________________________________________
> Cs5500 mailing list
> Cs5500 at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>
>