1% ectest/Example2.e:1 2% translate: begining File: ectest/Example2.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/Example2.e:11 14% load foundations/Root.e 15load('foundations/Root.e'). 16 17% load foundations/EC.e 18load('foundations/EC.e'). 19 20% 21% sort agent 22sort(agent). 23 24% 25% fluent Awake(agent) 26fluent(awake(agent)). 27 28% ectest/Example2.e:17 29% event WakeUp(agent) 30event(wakeUp(agent)). 31 32% 33% ectest/Example2.e:19 34% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). 35initiates(wakeUp(Agent), awake(Agent), Time). 36 37% 38% 39% agent James 40t(agent, james). 41 42% !HoldsAt(Awake(James),0). 43not(holds_at(awake(james), 0)). 44 45% 46% HoldsAt(Awake(James),1). 47holds_at(awake(james), 1). 48 49% 50% 51% ectest/Example2.e:25 52% range time 0 1 53range(time, 0, 1). 54 55% range offset 1 1 56range(offset, 1, 1). 57 58% ectest/Example2.e:27 59% translate: ending File: ectest/Example2.e.pro