00001 /* Generated by ATKGen. Do not edit! Tue Sep 13 15:22:29 CEST 2005 */
00002 
00003 #ifndef __ATTRIBUTE_CHANGED_EVENT__
00004 #define __ATTRIBUTE_CHANGED_EVENT__
00005 
00006 #include <assert.tb>
00007 
00008 process ACE-MakeEvent(ModuleId: module-id, Namespace: term, Key: term, OldValue: term, NewValue: term, Event: attribute-changed-event?) is
00009   Event := quote(attribute-changed-event(ModuleId, Namespace, Key, OldValue, NewValue))
00010 
00011 process ACE-GetModuleId(Event: attribute-changed-event, ModuleId: module-id?) is
00012   ModuleId := first(args(Event)) 
00013 
00014 process ACE-GetNamespace(Event: attribute-changed-event, Namespace: term?) is
00015   Namespace := first(next(args(Event))) 
00016 
00017 process ACE-GetKey(Event: attribute-changed-event, Key: term?) is
00018   Key := first(next(next(args(Event)))) 
00019 
00020 process ACE-GetOldValue(Event: attribute-changed-event, OldValue: term?) is
00021   OldValue := first(next(next(next(args(Event))))) 
00022 
00023 process ACE-GetNewValue(Event: attribute-changed-event, NewValue: term?) is
00024   NewValue := first(next(next(next(next(args(Event)))))) 
00025 
00026 #endif /*__ATTRIBUTE_CHANGED_EVENT__*/
00027 
00028 #ifdef ACE_UNIT_TEST
00029 
00030 process ACE-UnitTest is
00031 let
00032   ACE: attribute-changed-event,
00033   Key: term,
00034   ModuleId: module-id,
00035   Namespace: term,
00036   NewValue: term,
00037   OldValue: term
00038 in
00039   ModuleId := 42
00040   . Namespace := namespace
00041   . Key := key
00042   . OldValue := oldvalue
00043   . NewValue := newvalue
00044   . ACE-MakeEvent(ModuleId, Namespace, Key, OldValue, NewValue, ACE?)
00045   . AssertEqual(ACE, quote(attribute-changed-event(ModuleId, Namespace, Key, OldValue, NewValue)))
00046   . ACE-GetModuleId(ACE, ModuleId?)
00047   . AssertEqual(ModuleId, 42)
00048   . ACE-GetNamespace(ACE, Namespace?)
00049   . AssertEqual(Namespace, namespace)
00050   . ACE-GetKey(ACE, Key?)
00051   . AssertEqual(Key, key)
00052   . ACE-GetOldValue(ACE, OldValue?)
00053   . AssertEqual(OldValue, oldvalue)
00054   . ACE-GetNewValue(ACE, NewValue?)
00055   . AssertEqual(NewValue, newvalue)
00056 endlet
00057 
00058 toolbus(ACE-UnitTest)
00059 
00060 #endif /*ACE_UNIT_TEST*/
attribute-changed-event.tb
