The Meta-Environment API
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*/