clarifications re https://bugs.eclipse.org/311503 "hasRole(Object, class) getRole(Object, class) by (Sub-)type"
- updated source and OTJLD
diff --git a/plugins/org.eclipse.objectteams.otdt.ui.help/guide/otjld/xdef/s5.1.1.html b/plugins/org.eclipse.objectteams.otdt.ui.help/guide/otjld/xdef/s5.1.1.html
index 79757f7..2ada49c 100644
--- a/plugins/org.eclipse.objectteams.otdt.ui.help/guide/otjld/xdef/s5.1.1.html
+++ b/plugins/org.eclipse.objectteams.otdt.ui.help/guide/otjld/xdef/s5.1.1.html
@@ -3,8 +3,6 @@
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
- <meta name="copyright"
- content="Copyright Technical University Berlin and others 2004, 2010. This page is made available under the Eclipse Public License v1.0. For full details see http://www.eclipse.org/legal/epl-v10.html" />
<link rel="stylesheet" type="text/css" href="../css/ot.css" />
<link rel="stylesheet" type="text/css" href="../css/otjld.css" />
<title>OT/J Language Definition v1.3</title>
@@ -20,7 +18,9 @@
</table>
<div class="breadcrumb"><a class="nav" href="s5.html" rel="section">§5 Team Activation</a> > <a class="nav" href="s5.1.html" rel="section">§5.1 Effect of team activation</a></div>
<div class="sect depth3" id="s5.1.1">
- <h3 class="sect">§5.1.1 Global vs. thread local team activation</h3>
+ <h3 class="sect">§5.1.1 Global vs. thread local team activation<a class="img" href="s5.1.1.html"
+ title="PermaLink to §5.1.1 Global vs. thread local team activation"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
+ alt="" /></a></h3>
<p>While <strong>thread local</strong> activation only enables the callin bindings of
a team instance for a certain thread, <strong>global</strong> activation activates the
team instance for all threads of the application.
@@ -37,9 +37,10 @@
<div class="breadcrumb"><a class="nav" href="s5.html" rel="section">§5 Team Activation</a> > <a class="nav" href="s5.1.html" rel="section">§5.1 Effect of team activation</a></div>
</div>
<div id="footer">
- <hr />
- <address>© Stephan Herrmann, Christine Hundt, Marco Mosconi</address>
- OT/J version 1.3 — last modified: 2010-02-20
+ <hr /><a class="w3c img" href="http://jigsaw.w3.org/css-validator/check/referer"
+ shape="rect"><img src="../images/valid-css2-blue.png" alt="Valid CSS!" height="31" width="88" /></a><a class="w3c img" href="http://validator.w3.org/check?uri=referer" shape="rect"><img src="../images/valid-xhtml10-blue.png" alt="Valid XHTML 1.0 Strict" height="31"
+ width="88" /></a><address>© Stephan Herrmann, Christine Hundt, Marco Mosconi</address>
+ OT/J version 1.3 — last modified: 2010-05-18
</div>
</body>
</html>
\ No newline at end of file