employeedb.otml

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

<!--
    This test case tests basic functionality of querying for employee info.
-->

<!-- Test: Who is Adam's Cheyer's boss?-->
<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>

<!-- Test: What is the phone number for Ray Perrault?-->
		
	<send>
		oaa_Solve(
			phone_num('Ray Perrault',[],_),
			[blocking(false)]
			)
	</send>
	<toFac>
		ev_solved(_,
				Requestees,
				Solvers,
				phone_num('Ray Perrault',[],_),
				Params,
				[phone_num('Ray Perrault',[],
				'859-3333')]
				)
	</toFac>

<!-- Test: What is the phone number for Adam Cheyer?-->
		
	<send>
		oaa_Solve(
			phone_num('Adam Cheyer',[],_),
			[blocking(false)]
			)
	</send>
	<toFac>
		ev_solved(_,
				Requestees,
				Solvers,
				phone_num('Adam Cheyer',[],_),
				Params,
				[phone_num('Adam Cheyer',[],
				'859-2222')]
				)
	</toFac>
</testcase>