AssocObj

Moderator: Automated Software Engineering

Mr.B
Mausschubser
Mausschubser
Beiträge: 65
Registriert: 13. Dez 2009 17:04

AssocObj

Beitrag von Mr.B » 14. Dez 2011 19:44

Hey,

i can't imagine what AssocObj in the algorithm stands for.
Could someone give me a hint?

Thx
Hava a nice Evening

Mr.B
Mausschubser
Mausschubser
Beiträge: 65
Registriert: 13. Dez 2009 17:04

Re: AssocObj

Beitrag von Mr.B » 14. Dez 2011 22:01

I really stuck at this point cause i dont see any function which could implement AssocObj: (symbol x binding) -> binding.

Benutzeravatar
ericbodden
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 243
Registriert: 5. Apr 2010 19:06

Re: AssocObj

Beitrag von ericbodden » 15. Dez 2011 09:37

Hello.

I can see that this is a little hard to understand. AssocObjects is a function that takes as an input a symbol and some object binding and filters this bindings such that only that part of the bindings remains that really concerns the symbol.

For instance:

AssocObjects( update , {c=c1,i=i1} ) = {c=c1}
AssocObjects( next , {c=c1,i=i1} ) = {i=i1}
AssocObjects( create , {c=c1,i=i1} ) = {c=c1,i=i1}

However, note that the set is only narrowed down that way for optimization purposes. It should also be correct to instead store the full binding in TrackedObjs.

Hope that helps.
-- Eric

Antworten

Zurück zu „Automated Software Engineering“