2 Copyright (c) 2000-2016 Ericsson Telecom AB
3 All rights reserved. This program and the accompanying materials
4 are made available under the terms of the Eclipse Public License v1.0
5 which accompanies this distribution, and is available at
6 http://www.eclipse.org/legal/epl-v10.html
16 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
17 <meta http-equiv=
"Content-Language" content=
"en-us">
18 <title>activate
</title>
20 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
21 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
23 <td width=
105 height=
40><a href=
"https://projects.eclipse.org/projects/tools.titan"><img src=
"../images/titan_transparent.gif" border=
0 width=
105 height=
40 align=
"left" alt=
"Titan"></a></td>
26 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
28 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
29 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
30 <td><a href=
"action.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
31 <td><a href=
"address.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
38 <hr align=
"left" width=
"75%">
39 <p>The operation is used to activate a default context (i.e., an
<a href=
"altstep.html"><b><font face=
"Courier New" size=
"4">altstep
</font></b></a>). It returns a reference to the activated
42 <li>Default context is a set of branches (cf.
<a href=
"altstep.html"><b><font face=
"Courier New" size=
"4">altstep
</font></b></a>) that is implicitly appended at the end of all
<a
43 href=
"alt.html"><b><font size=
"4" face=
"Courier New">alt
</font></b></a> statements (except if the alt has an else branch) and after all stand-alone receive/timeout/done â
\80¦ statements. When no
44 branch of the alt matches the received message, the previously activated default(s) are examined.
</li>
45 <li>The default reference can be used to
<b><a href=
"deactivate.html"><font face=
"Courier New" size=
"4">deactivate
</font></a></b> a given default.
</li>
46 <li>The special value
<b><a href=
"null.html"><font face=
"Courier New" size=
"4">null
</font></a></b> is available to indicate an undefined default reference, e.g. for the initialization of
47 variables to handle default references.
</li>
48 <li>It is possible to have several defaults activated at same time and deactivate them one by one. The last activated default will be placed first in the list of the activated defaults.
</li>
50 <p>Related keywords:
</p>
52 <li><a href=
"alt.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">alt
</font></b></a></li>
53 <li><a href=
"altstep.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">alstep
</font></b></a></li>
54 <li><a href=
"deactivate.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">deactivate
</font></b></a></li>
55 <li><a href=
"default.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">default
</font></b></a></li>
56 <li><a href=
"null.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">null
</font></b></a></li>
58 <hr align=
"left" width=
"50%">
61 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
64 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>activate(
</b></font><i>altstep_ref
</i><font face=
"Courier New" color=
"#003258" size=
"5"><b>)
</b></font></h3>
72 <p><i>altstep_ref
</i> is the
reference to the altstep to be activated as default.
75 <hr align=
"left" width=
"50%">
77 <p><font face=
"Courier New">var default vd_DefaultVar := null;
<br>
78 DefaultVar := activate(as_MyDefAltstep());
<br>
80 <p>The variable DefaultVar will hold the reference to the altstep activated as default (as_MyDelAltstep).
</p>
81 <hr align=
"left" width=
"25%">
82 <hr align=
"left" width=
"25%">
83 <p><a HREF=
"BNF.html#activateop">BNF definition
</a> of
<font face=
"Courier New">activate
</font></p>