Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

Classes
class	BoolOperationLinkTests
struct	ExistsOpBuildFuncHelper
struct	ForAllOpBuildFuncHelper
struct	AndBoolOpBuildFuncHelper
struct	AssertOpBuildFuncHelper
struct	CmpOpBuildFuncHelper
struct	NotBoolOpBuildFuncHelper
struct	OrBoolOpBuildFuncHelper
struct	XorBoolOpBuildFuncHelper
struct	YieldOpBuildFuncHelper

Functions
	TEST_F (BoolOperationLinkTests, IsA_Bool_ExistsOp)
	This test ensures llzkOperationIsA_Bool_ExistsOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_ExistsOp_Build)
	This test ensures llzkBool_ExistsOpBuild links properly.
	TEST_F (CAPITest, Bool_ExistsOp_build_pass)
	This test ensures llzkBoolExistsOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_ExistsOp_GetSort)
	TEST_F (BoolOperationLinkTests, llzk_ExistsOp_SetSort)
	TEST_F (BoolOperationLinkTests, llzk_ExistsOp_GetRegionRegion)
	TEST_F (BoolOperationLinkTests, llzk_ExistsOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_ForAllOp)
	This test ensures llzkOperationIsA_Bool_ForAllOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_ForAllOp_Build)
	This test ensures llzkBool_ForAllOpBuild links properly.
	TEST_F (CAPITest, Bool_ForAllOp_build_pass)
	This test ensures llzkBoolForAllOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_ForAllOp_GetSort)
	TEST_F (BoolOperationLinkTests, llzk_ForAllOp_SetSort)
	TEST_F (BoolOperationLinkTests, llzk_ForAllOp_GetRegionRegion)
	TEST_F (BoolOperationLinkTests, llzk_ForAllOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_AndBoolOp)
	This test ensures llzkOperationIsA_Bool_AndBoolOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_Build)
	This test ensures llzkBool_AndBoolOpBuild links properly.
	TEST_F (CAPITest, Bool_AndBoolOp_build_pass)
	This test ensures llzkBoolAndBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetLhs)
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetLhs)
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetRhs)
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetRhs)
	TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_AssertOp)
	This test ensures llzkOperationIsA_Bool_AssertOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_AssertOp_Build)
	This test ensures llzkBool_AssertOpBuild links properly.
	TEST_F (CAPITest, Bool_AssertOp_build_pass)
	This test ensures llzkBoolAssertOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetCondition)
	TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetCondition)
	TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetMsgAttr)
	TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetMsgAttr)
	TEST_F (BoolOperationLinkTests, IsA_Bool_CmpOp)
	This test ensures llzkOperationIsA_Bool_CmpOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_Build)
	This test ensures llzkBool_CmpOpBuild links properly.
	TEST_F (CAPITest, Bool_CmpOp_build_pass)
	This test ensures llzkBoolCmpOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetLhs)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetLhs)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetRhs)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetRhs)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetPredicateAttr)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetPredicateAttr)
	TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_NotBoolOp)
	This test ensures llzkOperationIsA_Bool_NotBoolOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_Build)
	This test ensures llzkBool_NotBoolOpBuild links properly.
	TEST_F (CAPITest, Bool_NotBoolOp_build_pass)
	This test ensures llzkBoolNotBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetOperand)
	TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_SetOperand)
	TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_OrBoolOp)
	This test ensures llzkOperationIsA_Bool_OrBoolOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_Build)
	This test ensures llzkBool_OrBoolOpBuild links properly.
	TEST_F (CAPITest, Bool_OrBoolOp_build_pass)
	This test ensures llzkBoolOrBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetLhs)
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetLhs)
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetRhs)
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetRhs)
	TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_XorBoolOp)
	This test ensures llzkOperationIsA_Bool_XorBoolOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_Build)
	This test ensures llzkBool_XorBoolOpBuild links properly.
	TEST_F (CAPITest, Bool_XorBoolOp_build_pass)
	This test ensures llzkBoolXorBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetLhs)
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetLhs)
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetRhs)
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetRhs)
	TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetResult)
	TEST_F (BoolOperationLinkTests, IsA_Bool_YieldOp)
	This test ensures llzkOperationIsA_Bool_YieldOp links properly.
	TEST_F (BoolOperationLinkTests, llzk_YieldOp_Build)
	This test ensures llzkBool_YieldOpBuild links properly.
	TEST_F (CAPITest, Bool_YieldOp_build_pass)
	This test ensures llzkBoolYieldOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (BoolOperationLinkTests, llzk_YieldOp_GetValue)
	TEST_F (BoolOperationLinkTests, llzk_YieldOp_SetValue)

Function Documentation

TEST_F() [1/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_AndBoolOp	)

This test ensures llzkOperationIsA_Bool_AndBoolOp links properly.

Definition at line 183 of file Ops.capi.test.cpp.inc.

TEST_F() [2/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_AssertOp	)

This test ensures llzkOperationIsA_Bool_AssertOp links properly.

Definition at line 279 of file Ops.capi.test.cpp.inc.

TEST_F() [3/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_CmpOp	)

This test ensures llzkOperationIsA_Bool_CmpOp links properly.

Definition at line 365 of file Ops.capi.test.cpp.inc.

TEST_F() [4/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_ExistsOp	)

This test ensures llzkOperationIsA_Bool_ExistsOp links properly.

Definition at line 13 of file Ops.capi.test.cpp.inc.

TEST_F() [5/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_ForAllOp	)

This test ensures llzkOperationIsA_Bool_ForAllOp links properly.

Definition at line 98 of file Ops.capi.test.cpp.inc.

TEST_F() [6/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_NotBoolOp	)

This test ensures llzkOperationIsA_Bool_NotBoolOp links properly.

Definition at line 482 of file Ops.capi.test.cpp.inc.

TEST_F() [7/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_OrBoolOp	)

This test ensures llzkOperationIsA_Bool_OrBoolOp links properly.

Definition at line 557 of file Ops.capi.test.cpp.inc.

TEST_F() [8/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_XorBoolOp	)

This test ensures llzkOperationIsA_Bool_XorBoolOp links properly.

Definition at line 653 of file Ops.capi.test.cpp.inc.

TEST_F() [9/66]

TEST_F	(	BoolOperationLinkTests	,
		IsA_Bool_YieldOp	)

This test ensures llzkOperationIsA_Bool_YieldOp links properly.

Definition at line 749 of file Ops.capi.test.cpp.inc.

TEST_F() [10/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_Build	)

This test ensures llzkBool_AndBoolOpBuild links properly.

Definition at line 193 of file Ops.capi.test.cpp.inc.

TEST_F() [11/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_GetLhs	)

Definition at line 226 of file Ops.capi.test.cpp.inc.

TEST_F() [12/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_GetResult	)

Definition at line 268 of file Ops.capi.test.cpp.inc.

TEST_F() [13/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_GetRhs	)

Definition at line 247 of file Ops.capi.test.cpp.inc.

TEST_F() [14/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_SetLhs	)

Definition at line 236 of file Ops.capi.test.cpp.inc.

TEST_F() [15/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AndBoolOp_SetRhs	)

Definition at line 257 of file Ops.capi.test.cpp.inc.

TEST_F() [16/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AssertOp_Build	)

This test ensures llzkBool_AssertOpBuild links properly.

Definition at line 289 of file Ops.capi.test.cpp.inc.

TEST_F() [17/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AssertOp_GetCondition	)

Definition at line 323 of file Ops.capi.test.cpp.inc.

TEST_F() [18/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AssertOp_GetMsgAttr	)

Definition at line 344 of file Ops.capi.test.cpp.inc.

TEST_F() [19/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AssertOp_SetCondition	)

Definition at line 333 of file Ops.capi.test.cpp.inc.

TEST_F() [20/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_AssertOp_SetMsgAttr	)

Definition at line 354 of file Ops.capi.test.cpp.inc.

TEST_F() [21/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_Build	)

This test ensures llzkBool_CmpOpBuild links properly.

Definition at line 375 of file Ops.capi.test.cpp.inc.

TEST_F() [22/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_GetLhs	)

Definition at line 409 of file Ops.capi.test.cpp.inc.

TEST_F() [23/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_GetPredicateAttr	)

Definition at line 451 of file Ops.capi.test.cpp.inc.

TEST_F() [24/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_GetResult	)

Definition at line 471 of file Ops.capi.test.cpp.inc.

TEST_F() [25/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_GetRhs	)

Definition at line 430 of file Ops.capi.test.cpp.inc.

TEST_F() [26/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_SetLhs	)

Definition at line 419 of file Ops.capi.test.cpp.inc.

TEST_F() [27/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_SetPredicateAttr	)

Definition at line 461 of file Ops.capi.test.cpp.inc.

TEST_F() [28/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_CmpOp_SetRhs	)

Definition at line 440 of file Ops.capi.test.cpp.inc.

TEST_F() [29/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ExistsOp_Build	)

This test ensures llzkBool_ExistsOpBuild links properly.

Definition at line 23 of file Ops.capi.test.cpp.inc.

TEST_F() [30/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ExistsOp_GetRegionRegion	)

Definition at line 77 of file Ops.capi.test.cpp.inc.

TEST_F() [31/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ExistsOp_GetResult	)

Definition at line 87 of file Ops.capi.test.cpp.inc.

TEST_F() [32/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ExistsOp_GetSort	)

Definition at line 56 of file Ops.capi.test.cpp.inc.

TEST_F() [33/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ExistsOp_SetSort	)

Definition at line 66 of file Ops.capi.test.cpp.inc.

TEST_F() [34/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ForAllOp_Build	)

This test ensures llzkBool_ForAllOpBuild links properly.

Definition at line 108 of file Ops.capi.test.cpp.inc.

TEST_F() [35/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ForAllOp_GetRegionRegion	)

Definition at line 162 of file Ops.capi.test.cpp.inc.

TEST_F() [36/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ForAllOp_GetResult	)

Definition at line 172 of file Ops.capi.test.cpp.inc.

TEST_F() [37/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ForAllOp_GetSort	)

Definition at line 141 of file Ops.capi.test.cpp.inc.

TEST_F() [38/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_ForAllOp_SetSort	)

Definition at line 151 of file Ops.capi.test.cpp.inc.

TEST_F() [39/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_NotBoolOp_Build	)

This test ensures llzkBool_NotBoolOpBuild links properly.

Definition at line 492 of file Ops.capi.test.cpp.inc.

TEST_F() [40/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_NotBoolOp_GetOperand	)

Definition at line 525 of file Ops.capi.test.cpp.inc.

TEST_F() [41/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_NotBoolOp_GetResult	)

Definition at line 546 of file Ops.capi.test.cpp.inc.

TEST_F() [42/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_NotBoolOp_SetOperand	)

Definition at line 535 of file Ops.capi.test.cpp.inc.

TEST_F() [43/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_Build	)

This test ensures llzkBool_OrBoolOpBuild links properly.

Definition at line 567 of file Ops.capi.test.cpp.inc.

TEST_F() [44/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_GetLhs	)

Definition at line 600 of file Ops.capi.test.cpp.inc.

TEST_F() [45/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_GetResult	)

Definition at line 642 of file Ops.capi.test.cpp.inc.

TEST_F() [46/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_GetRhs	)

Definition at line 621 of file Ops.capi.test.cpp.inc.

TEST_F() [47/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_SetLhs	)

Definition at line 610 of file Ops.capi.test.cpp.inc.

TEST_F() [48/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_OrBoolOp_SetRhs	)

Definition at line 631 of file Ops.capi.test.cpp.inc.

TEST_F() [49/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_Build	)

This test ensures llzkBool_XorBoolOpBuild links properly.

Definition at line 663 of file Ops.capi.test.cpp.inc.

TEST_F() [50/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_GetLhs	)

Definition at line 696 of file Ops.capi.test.cpp.inc.

TEST_F() [51/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_GetResult	)

Definition at line 738 of file Ops.capi.test.cpp.inc.

TEST_F() [52/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_GetRhs	)

Definition at line 717 of file Ops.capi.test.cpp.inc.

TEST_F() [53/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_SetLhs	)

Definition at line 706 of file Ops.capi.test.cpp.inc.

TEST_F() [54/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_XorBoolOp_SetRhs	)

Definition at line 727 of file Ops.capi.test.cpp.inc.

TEST_F() [55/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_YieldOp_Build	)

This test ensures llzkBool_YieldOpBuild links properly.

Definition at line 759 of file Ops.capi.test.cpp.inc.

TEST_F() [56/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_YieldOp_GetValue	)

Definition at line 792 of file Ops.capi.test.cpp.inc.

TEST_F() [57/66]

TEST_F	(	BoolOperationLinkTests	,
		llzk_YieldOp_SetValue	)

Definition at line 802 of file Ops.capi.test.cpp.inc.

TEST_F() [58/66]

TEST_F	(	CAPITest	,
		Bool_AndBoolOp_build_pass	)

This test ensures llzkBoolAndBoolOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of AndBoolOpBuildFuncHelper::callBuild() that calls llzkBoolAndBoolOpBuild().

Definition at line 224 of file Ops.capi.test.cpp.inc.

TEST_F() [59/66]

TEST_F	(	CAPITest	,
		Bool_AssertOp_build_pass	)

This test ensures llzkBoolAssertOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of AssertOpBuildFuncHelper::callBuild() that calls llzkBoolAssertOpBuild().

Definition at line 321 of file Ops.capi.test.cpp.inc.

TEST_F() [60/66]

TEST_F	(	CAPITest	,
		Bool_CmpOp_build_pass	)

This test ensures llzkBoolCmpOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of CmpOpBuildFuncHelper::callBuild() that calls llzkBoolCmpOpBuild().

Definition at line 407 of file Ops.capi.test.cpp.inc.

TEST_F() [61/66]

TEST_F	(	CAPITest	,
		Bool_ExistsOp_build_pass	)

This test ensures llzkBoolExistsOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of ExistsOpBuildFuncHelper::callBuild() that calls llzkBoolExistsOpBuild().

Definition at line 54 of file Ops.capi.test.cpp.inc.

TEST_F() [62/66]

TEST_F	(	CAPITest	,
		Bool_ForAllOp_build_pass	)

This test ensures llzkBoolForAllOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of ForAllOpBuildFuncHelper::callBuild() that calls llzkBoolForAllOpBuild().

Definition at line 139 of file Ops.capi.test.cpp.inc.

TEST_F() [63/66]

TEST_F	(	CAPITest	,
		Bool_NotBoolOp_build_pass	)

This test ensures llzkBoolNotBoolOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of NotBoolOpBuildFuncHelper::callBuild() that calls llzkBoolNotBoolOpBuild().

Definition at line 523 of file Ops.capi.test.cpp.inc.

TEST_F() [64/66]

TEST_F	(	CAPITest	,
		Bool_OrBoolOp_build_pass	)

This test ensures llzkBoolOrBoolOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of OrBoolOpBuildFuncHelper::callBuild() that calls llzkBoolOrBoolOpBuild().

Definition at line 598 of file Ops.capi.test.cpp.inc.

TEST_F() [65/66]

TEST_F	(	CAPITest	,
		Bool_XorBoolOp_build_pass	)

This test ensures llzkBoolXorBoolOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of XorBoolOpBuildFuncHelper::callBuild() that calls llzkBoolXorBoolOpBuild().

Definition at line 694 of file Ops.capi.test.cpp.inc.

TEST_F() [66/66]

TEST_F	(	CAPITest	,
		Bool_YieldOp_build_pass	)

This test ensures llzkBoolYieldOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of YieldOpBuildFuncHelper::callBuild() that calls llzkBoolYieldOpBuild().

Definition at line 790 of file Ops.capi.test.cpp.inc.