libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Classes | Functions
sesstype::tests Namespace Reference

Namespace for unit tests. More...

Classes

class  APITest
class  ConstantTest
class  MsgTest
class  ModuleTest
class  NodeTest
class  ProjectionTest
class  SessionTest
class  RoleTest

Functions

 TEST_F (APITest, BasicUsage)
 TEST_F (ConstantTest, BasicConsts)
 TEST_F (MsgTest, EmptyMsg)
 TEST_F (MsgTest, EmptyPayload)
 TEST_F (MsgTest, EmptyParameterisedPayload)
 TEST_F (MsgTest, BasicMessages)
 TEST_F (ModuleTest, EmptyModule)
 TEST_F (ModuleTest, Module_AddSession)
 TEST_F (ModuleTest, PModule_AddSession)
 TEST_F (ModuleTest, Module_AddImport)
 TEST_F (ModuleTest, Module_AddConstant)
 TEST_F (ModuleTest, Module_Alias)
 TEST_F (NodeTest, TestBlockNode)
 TEST_F (NodeTest, TestInteractionNode)
 TEST_F (NodeTest, TestRecurNode)
 TEST_F (NodeTest, TestContinueNode)
 TEST_F (NodeTest, TestChoiceNode)
 TEST_F (NodeTest, TestParNode)
 TEST_F (NodeTest, TestNestedNode)
 TEST_F (NodeTest, TestInterruptibleNode)
 TEST_F (NodeTest, TestForNode)
 TEST_F (NodeTest, TestAllReduceNode)
 TEST_F (NodeTest, TestOneofNode)
 TEST_F (NodeTest, TestIfNode)
 TEST_F (NodeTest, BasicUsage)
 TEST_F (NodeTest, CloneTest)
 TEST_F (ProjectionTest, BasicProjection)
 TEST_F (SessionTest, EmptySession)
 TEST_F (RoleTest, BasicRole)
 TEST_F (RoleTest, BasicRolrGrp)

Detailed Description

Namespace for unit tests.


Function Documentation

sesstype::tests::TEST_F ( APITest  ,
BasicUsage   
)
Test:
Basic usage of C API.
sesstype::tests::TEST_F ( ConstantTest  ,
BasicConsts   
)
Test:
Basic construction and use of Constant.
sesstype::tests::TEST_F ( MsgTest  ,
EmptyMsg   
)
Test:
Check that empty message signature can be constructed.
sesstype::tests::TEST_F ( ModuleTest  ,
EmptyModule   
)
Test:
Test default settings of Module.
sesstype::tests::TEST_F ( ProjectionTest  ,
BasicProjection   
)
Test:
Basic usage of Role.
sesstype::tests::TEST_F ( SessionTest  ,
EmptySession   
)
Test:
Test construction of empty session.
sesstype::tests::TEST_F ( RoleTest  ,
BasicRole   
)
Test:
Basic usage of Role.
sesstype::tests::TEST_F ( MsgTest  ,
EmptyPayload   
)
Test:
Check that empty message payload can be constructed.
sesstype::tests::TEST_F ( ModuleTest  ,
Module_AddSession   
)
Test:
Test adding Sessions to Module.
sesstype::tests::TEST_F ( NodeTest  ,
TestBlockNode   
)
Test:
BlockNode operations.
sesstype::tests::TEST_F ( MsgTest  ,
EmptyParameterisedPayload   
)
Test:
Check that empty parameterised message payload can be constructed.
sesstype::tests::TEST_F ( RoleTest  ,
BasicRolrGrp   
)
Test:
Basic usage of RoleGrp.
sesstype::tests::TEST_F ( MsgTest  ,
BasicMessages   
)
Test:
Check that basic operation with non-empty message works.
sesstype::tests::TEST_F ( ModuleTest  ,
Module_AddImport   
)
Test:
Test adding Import to Module.
sesstype::tests::TEST_F ( NodeTest  ,
TestInteractionNode   
)
Test:
InteractionNode operations.
sesstype::tests::TEST_F ( ModuleTest  ,
Module_AddConstant   
)
Test:
Test adding constant to Module.
sesstype::tests::TEST_F ( ModuleTest  ,
Module_Alias   
)
Test:
Import alias works like normal Import but points to original Import.
sesstype::tests::TEST_F ( NodeTest  ,
TestRecurNode   
)
Test:
RecurNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestContinueNode   
)
Test:
ContinueNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestChoiceNode   
)
Test:
ChoiceNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestParNode   
)
Test:
ParNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestNestedNode   
)
Test:
NestNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestInterruptibleNode   
)
Test:
InterruptibleNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestForNode   
)
Test:
ForNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestAllReduceNode   
)
Test:
AllReduceNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestOneofNode   
)
Test:
OneofNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
TestIfNode   
)
Test:
IfNode operations.
sesstype::tests::TEST_F ( NodeTest  ,
BasicUsage   
)
Test:
Basic construction and use of Node.
 All Classes Namespaces Files Functions