Property: waitfor

The waitfor property is used to wait for the reception of a token before sending a message.

 
token email =  book<-email(new String("kaoutar"));
book<-addUser(email, new String("kaoutar")):waitfor(email); 
 
   

Note that the addUser message will be sent after the reception of the token email. The above example is equivalent to the following example:

 
book<-email(new String("kaoutar")) @
book<-addUser(email, new String("kaoutar"));