package Ġit . uni bo . tup ro log . solve . primitive . test utils Ċ Ċ import Ġit . uni bo . tup ro log . core . Term Ċ import Ġit . uni bo . tup ro log . solve . Dummy Instances Ċ import Ġit . uni bo . tup ro log . solve . ExecutionContext Ċ import Ġit . uni bo . tup ro log . solve . Signature Ċ import Ġit . uni bo . tup ro log . solve . extract Signature Ċ import Ġit . uni bo . tup ro log . solve . primitive . Primitive Ċ import Ġit . uni bo . tup ro log . solve . primitive . Primitive Wrapper Ċ import Ġit . uni bo . tup ro log . solve . primitive . Solve Ċ import Ġkotlin . test . assertTrue Ċ Ċ /** Ċ Ġ* ĠTest Ġclass Ġfor Ġ[ Primitive Wrapper ] Ċ Ġ* Ċ Ġ* Ġ@ author ĠEn ric o Ċ Ġ*/ Ċ internal Ġobject ĠPrimitive Wrapper Utils Ġ{ ĊĊĠĠĠ Ġ/** ĠA Ġdefault Ġprimitive Ġresult Ġto Ġbe Ġused Ġin Ġtests Ġ*/ ĊĠĠĠ Ġinternal Ġval Ġdefault Primitive Result Ġ= Ġempty Sequence < Nothing >() ĊĊĠĠĠ Ġ/** ĠA Ġtest Ġprimitive Ġ*/ ĊĠĠĠ Ġinternal Ġval Ġprimitive : ĠPrimitive Ġ= ĠPrimitive Ġ{ Ġdefault Primitive Result Ġ} ĊĊĠĠĠ Ġ/** ĠA Ġfunction Ġto Ġcreate Ġa ĠSolve . Request Ġwith Ġprovided Ġ[ signature ] Ġand Ġ[ arg List ] Ġ*/ ĊĠĠĠ Ġinternal Ġfun Ġcreate Primitive Request ( signature : ĠSignature , Ġarg List : ĠList < Term >) Ġ= ĊĠĠĠĠĠĠĠ ĠSolve . Request ( signature , Ġarg List , ĠDummy Instances . executionContext ) ĊĊĠĠĠ Ġ/** ĠUtility Ġfunction Ġto Ġcreate Ġa Ġprimitive Ġwrapper Ġ*/ ĊĠĠĠ Ġinternal Ġfun Ġcreate Primitive Wrapper ( ĊĠĠĠĠĠĠĠ Ġsignature : ĠSignature , ĊĠĠĠĠĠĠĠ Ġunchecked Implementation : ĠPrimitive ĊĠĠĠ Ġ): ĠPrimitive Wrapper < ExecutionContext > Ġ= ĠPrimitive Wrapper . wrap ( signature ) Ġ{ Ġunchecked Implementation . solve ( it ) Ġ} ĊĊĠĠĠ Ġ/** ĠAll Ġunder Ġtest Ġrequests Ġ*/ ĊĠĠĠ Ġprivate Ġval Ġall Requests Ġby Ġlazy Ġ{ ĊĠĠĠĠĠĠĠ Ġ( Wrapper Utils . all Matching Raw Struct Ġ+ ĠWrapper Utils . all Not Matching Struct ). flatten () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. map Ġ{ Ġcreate Primitive Request ( it . extract Signature (), Ġit . args ) Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĠAll Ġground Ġrequests Ġ*/ ĊĠĠĠ Ġinternal Ġval Ġall Ground Requests Ġby Ġlazy Ġ{ ĊĠĠĠĠĠĠĠ Ġall Requests . filter Ġ{ Ġit . query . is Ground Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. also Ġ{ ĠassertTrue (" Test Ġdata Ġempty ") Ġ{ Ġit . isNotEmpty () Ġ} Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ/** ĠAll Ġnon - ground Ġrequests Ġ*/ ĊĠĠĠ Ġinternal Ġval Ġnon All Ground Requests Ġby Ġlazy Ġ{ ĊĠĠĠĠĠĠĠ Ġall Requests . filter Not Ġ{ Ġit . query . is Ground Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. also Ġ{ ĠassertTrue (" Test Ġdata Ġempty ") Ġ{ Ġit . isNotEmpty () Ġ} Ġ} ĊĠĠĠ Ġ} Ċ } Ċ