empldb.otml

来自「SRI international 发布的OAA框架软件」· OTML 代码 · 共 23 行

<!-- It is ok to split ICL events over multiple lines as long as you don't
     split strings. -->

<testcase>
	<send>
		oaa_Solve(
			manager('Adam Cheyer',[],_),
			[blocking(false)]
			)
	</send>
	<toFac>
		ev_solved(_,
				Requestees,
				Solvers,
				manager('Adam Cheyer',[],_),
				Params,
				[manager('Adam Cheyer',[],
				'Ray Perrault')]
				)
	</toFac>
</testcase>