// File : CtrlProfileTemplates.ttcn

//

// Info : This file specifies templates for CTRL parameters

//        used with Profile functions (see CtrlProfileFunctions.ttcn)

//

//        Do not modify without permission!

//

module CtrlProfileTemplates

{

import from CtrlRel2Types all; 		// import TTCN-3 CTRL definition

template ParameterListElement a_ctrlAutoRegistration ( template charstring p_value ) :=

	{

	parameter := { pName := "AutoRegistration", pValue := p_value }

	}

template ParameterListElement a_ctrlExtensionParameter (	

										template charstring p_name,

										template charstring p_value ) :=

	{

	struct :=	{ sName := "ExtensionParameter", sFields :=

					{

						{ pName := p_name, pValue := p_value }

					}

				}

	}

template ParameterListElement a_ctrlPrivateIdentity ( template charstring p_value ) :=

	{

	parameter := { pName := "PrivateIdentity", pValue := p_value }

	}

template ParameterListElement a_ctrlProfileAOR ( template charstring p_value ) :=

	{

	parameter := { pName := "ProfileAOR", pValue := p_value }

	}

template ParameterListElement a_ctrlProfileAORList ( template ValueList p_aors ) :=

	{

	array := { aName := "ProfileAORList", aValues := p_aors }

	}

template ParameterListElement a_ctrlProfileDefault ( template charstring p_value ) :=

	{

	parameter := { pName := "ProfileDefault", pValue := p_value }

	}

template ParameterListElement a_ctrlProfileErrorCode ( template charstring p_value ) :=

	{

	parameter := { pName := "ProfileErrorCode", pValue := p_value }

	}

template TestClientId a_ctrlProfileId ( template integer p_value ) :=

	{

	idName := "ProfileId", idValue := p_value

	}

template TestClientId a_ctrlRegistryId ( template integer p_value ) :=

	{

	idName := "RegistryId", idValue := p_value

	}

template ParameterListElement a_ctrlProfileIdList ( template ValueList p_ids ) :=

	{

	array := { aName := "ProfileIdList", aValues := p_ids }

	}

template ParameterListElement a_ctrlProfileName ( template charstring p_value ) :=

	{

	parameter := { pName := "ProfileName", pValue := p_value }

	}

template ParameterListElement a_ctrlProfileState ( template charstring p_value ) :=

	{

	parameter := { pName := "ProfileState", pValue := p_value }

	}

template ParameterListElement a_ctrlProfileType (	template charstring p_class,

													template charstring p_name ) :=

	{

	struct :=	{ sName := "ProfileType", sFields :=

					{

						{ pName := "Class", pValue := p_class },

						{ pName := "ProfileName", pValue := p_name } 

					}

				}

	}

template ParameterListElement a_ctrlSecurityNegotiation ( template charstring p_value ) :=

	{

	parameter := { pName := "SecurityNegotiation", pValue := p_value }

	}

template ParameterListElement a_ctrlServer (	template charstring p_server,

												template charstring p_address ) :=

	{

	struct :=	{ sName := "Server", sFields :=

					{

						{ pName := "Server", pValue := p_server },

						{ pName := "Address", pValue := p_address } 

					}

				}

	}

template ParameterListElement a_ctrlServerExtensionParameter (	

										template charstring p_server,

										template charstring p_name,

										template charstring p_value ) :=

	{

	struct :=	{ sName := "ServerExtensionParameter", sFields :=

					{

						{ pName := "Server", pValue := p_server },

						{ pName := p_name, pValue := p_value }

					}

				}

	}        

template ParameterListElement a_ctrlServerParameter (

										template charstring p_server,

										template charstring p_parameter,

										template charstring p_value ) :=

	{

	struct :=	{ sName := "ServerParameter", sFields :=

					{

						{ pName := "Server", pValue := p_server },

						{ pName := p_parameter, pValue := p_value} 

					}

				}

	}

template ParameterListElement a_ctrlSigComp ( template charstring p_value ) :=

	{

	parameter := { pName := "SigComp", pValue := p_value }

	}

} // end of CtrlProfileTemplates