jadex.bdi.testcases.misc.EndStateWorker.agent.xml Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jadex-applications-bdi Show documentation

The Jadex BDI applications package contain several example applications, benchmarks and testcases using BDI agents.

There is a newer version: 2.4

Show newest version




	
	
		jadex.base.fipa.*
		jadex.bridge.IComponentIdentifier
		jadex.base.test.TestReport
		jadex.bdi.testcases.ResultPlan
		java.util.*
	
	
	
 		
	
	
	
		
		
			false
		
		
			new TestReport("end plan", "Test if end plan is executed")
			new TestReport("end goal", "Test if end goal is dispatched")
			new TestReport("end internal event", "Test if end internal event is dispatched")
			new TestReport("end message event", "Test if end message event is sent")
 			new TestReport("capability end goal", "Test if capability end goal is dispatched")
			new TestReport("capability end internal event", "Test if capability end internal event is dispatched")
			new TestReport("capability end message event", "Test if capability end message event is sent")
		
	
	
	
		
		
			
				$beliefbase.trigger
				
				// ?rbel_trigger	= (belief (element_has_model ?mbel_trigger) (belief_has_fact true))
				// ?mbel_trigger	= (mbelief (melement_has_name "trigger"))
			
		
		
			
				"end goal"
			
		
	
	
	
		
			
		
		
			
		
		
			
				100L
			
			
			
				
					$beliefbase.trigger
					
					// ?rbel_trigger	= (belief (element_has_model ?mbel_trigger) (belief_has_fact true))
					// ?mbel_trigger	= (mbelief (melement_has_name "trigger"))
				
				
			
		
		
			
				
				
				
 				
				
				
			
			
			
				
 				
				
				
				
				
		
		
		
			
			
		
	
	
	
		
			
				"end internal event"
			
		
		
			
				SFipa.INFORM
			
			
				"end message event"
			
			
				$scope.getComponentIdentifier()
			
		
		
			
				SFipa.INFORM
			
			
				SFipa.JADEX_XML
			
			
				$beliefbase.testagent
			
		
	
	
	
		
		
			//(select one TestReport $report from $beliefbase.reports
			//where !$report.isSucceeded())==null
			
			!(TestReport $report && !$report.isSucceeded() && Arrays.asList($beliefbase.reports).contains($report))
			
			// (not
			// 	(and
			// 		?report	= (TestReport (succeeded false) (reason null))
			// 		?rbelset_reports	= (beliefset (element_has_model ?mbelset_reports) (beliefset_has_facts contains ?report))
			// 		?mbelset_reports	= (mbeliefset (melement_has_name "reports"))
			// 	)
			// )
		
	
	
	
		false
	
	
	
		
			
				
 				
			
			
				
				
				
					
						"end plan"