1% ectest/Example3.e:1 2% translate: begining File: ectest/Example3.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/Example3.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/Example3.e:17 29% event WakeUp(agent) 30event(wakeUp(agent)). 31 32% 33% ectest/Example3.e:19 34% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). 35initiates(wakeUp(Agent), awake(Agent), Time). 36 37% 38% 39% agent James, Jessie 40t(agent, james). 41 42t(agent, jessie). 43 44% !HoldsAt(Awake(James),0). 45not(holds_at(awake(james), 0)). 46 47% 48% HoldsAt(Awake(James),1). 49holds_at(awake(james), 1). 50 51% 52% 53% ectest/Example3.e:25 54% range time 0 1 55range(time, 0, 1). 56 57% range offset 1 1 58range(offset, 1, 1). 59 60% ectest/Example3.e:27 61% translate: ending File: ectest/Example3.e.pro