1% ectest/Example1.e:1 2% translate: begining File: ectest/Example1.e.pro 3% ; 4% ; Copyright (c) 2005 IBM Corporation and others. 5% ; All rights reserved. This program and the accompanying materials 6% ; are made available under the terms of the Common Public License v1.0 7% ; which accompanies this distribution, and is available at 8% ; http://www.eclipse.org/legal/cpl-v10.html 9% ; 10% ; Contributors: 11% ; IBM - Initial implementation 12% ; 13% ectest/Example1.e:11 14% 15% ; deduction 16% 17% load foundations/Root.e 18load('foundations/Root.e'). 19 20% load foundations/EC.e 21load('foundations/EC.e'). 22 23% 24% ectest/Example1.e:17 25% sort agent 26sort(agent). 27 28% 29% fluent Awake(agent) 30fluent(awake(agent)). 31 32% event WakeUp(agent) 33event(wakeUp(agent)). 34 35% 36% ectest/Example1.e:22 37% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). 38initiates(wakeUp(Agent), awake(Agent), Time). 39 40% 41% 42% agent James 43t(agent, james). 44 45% !HoldsAt(Awake(James),0). 46not(holds_at(awake(james), 0)). 47 48% 49% Delta: 50directive(delta). 51 52 % Happens(WakeUp(James),0). 53happens(wakeUp(james), 0). 54 55% 56% 57% ectest/Example1.e:28 58% completion Delta Happens 59completion(delta). 60 61completion(happens). 62 63% 64% range time 0 1 65range(time, 0, 1). 66 67% range offset 1 1 68range(offset, 1, 1). 69 70% ectest/Example1.e:32 71% translate: ending File: ectest/Example1.e.pro