\subsection{Operation Model for init}

\label{OM-init}


The \msrcode{init} operation has the following properties:

	\begin{operationmodel}
	\addheading{Operation}
	\adddoublerow{init}{ used to initialize the current object as a new instance of the ctState type.}

	\addrowheading{Parameters}
	\addnumbereddoublerow{}{AnextValueForAlertID: dtInteger}{used to initialize the nextValueForAlertID field} 
	\addnumbereddoublerow{}{AnextValueForCrisisID: dtInteger}{used to initialize the nextValueForCrisisID field} 
	\addnumbereddoublerow{}{Aclock: dtDateAndTime}{used to initialize the clock field} 
	\addnumbereddoublerow{}{AcrisisReminderPeriod: dtSecond}{used to initialize the crisisReminderPeriod field} 
	\addnumbereddoublerow{}{AmaxCrisisReminderPeriod: dtSecond}{used to initialize the maxCrisisReminderPeriod field} 
	\addnumbereddoublerow{}{AvpLastReminder: dtDateAndTime}{used to initialize the vpLastReminder field} 
	\addnumbereddoublerow{}{AvpStarted: ptBoolean}{used to initialize the vpStarted field} 

	\addrowheading{Return type}
	\addsinglerow{ptBoolean}

		

	\addrowheading{Post-Condition (functional)}
	\addnumberedsinglerow{PostF}{ 
	true iff the system poststate includes the current object as a new ctState instance having its attributes equal to the ones provided as parameters. 
	}

	\end{operationmodel}



	
	
	
	





