plugins/org.eclipse.objectteams.otdt.ui.help/guide/otjld/xdef/sB.2.html - objectteams/org.eclipse.objectteams - Gitiles

 <!DOCTYPE html
   PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "../xhtml1-strict.dtd">
 <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" />
       <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>
    </head>
    <body class="otdt">
       <div id="content">
          <table class="nav">
             <tr>
                <td class="back"><a id="top"></a><a href="sB.1.html" rel="prev">&lt;&lt;&nbsp;&sect;B.1&nbsp;Paragraphs changed between versions</a></td>
                <td class="top"><a href="index.html" rel="contents">&uarr;&nbsp;Table of Contents&nbsp;&uarr;</a></td>
                <td class="next"></td>
             </tr>
          </table>
          <div class="breadcrumb"><a class="nav" href="sB.html" rel="section">&sect;B&nbsp;Changes between versions</a></div>
          <div class="sect depth2" id="sB.2">
             <h2 class="sect">&sect;B.2&nbsp;Additions between versions<a class="img" href="sB.2.html"
                   title="PermaLink to &sect;B.2&nbsp;Additions between versions"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
                        alt="" /></a></h2>
             <div class="subsect depth3" id="sB.2.1">
                <h4 class="subsect">(1)&nbsp;<span class="title">Between OTJLD 1.0 and OTJLD 1.1</span><a class="img" href="sB.2.1.html"
                      title="PermaLink to (1)&nbsp;Between OTJLD 1.0 and OTJLD 1.1"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
                           alt="" /></a></h4>
                <ul>
                   <li><a href="s1.2.4.c.html" title="&sect;1.2.4.(c)&nbsp;Class literal"
                         class="sect">&sect;1.2.4.(c)</a>:
                      				<strong>Role class literal</strong><p>
                         					Made existing feature explicit and introduce new qualified class literal for externalized roles.

                      </p>
                   </li>
                   <li><a href="s3.1.j.html" title="&sect;3.1.(j)&nbsp;Inferred callout" class="sect">&sect;3.1.(j)</a> and <a href="s3.5.h.html" title="&sect;3.5.(h)&nbsp;Inferred callout" class="sect">&sect;3.5.(h)</a> :
                      				<strong>Inferred callout</strong><p>
                         					New feature.

                      </p>
                   </li>
                   <li><a href="s4.6.a.html"
                         title="&sect;4.6.(a)&nbsp;Private methods from super classes"
                         class="sect">&sect;4.6.(a)</a> :
                      				<strong>Callin-binding private methods from super classes</strong><p>
                         				Added a necessary restriction.

                      </p>
                   </li>
                   <li><a href="s4.9.html" title="&sect;4.9&nbsp;Callin inheritance" class="sect">&sect;4.9</a> :
                      				<strong>Callin inheritance</strong><p>
                         					Clarified issues that where under-specified or insufficiently explained, specifically:

                      </p>
                      <ul>
                         <li>Effect of callin bindings on inherited or overridden base methods
                            						(<a href="s4.9.1.html" title="&sect;4.9.1&nbsp;Base side inheritance"
                               class="sect">&sect;4.9.1</a>).
                         </li>
                         <li>Interplay of callin bindings and base methods with covariant return types
                            						(<a href="s4.9.3.html" title="&sect;4.9.3&nbsp;Covariant return types"
                               class="sect">&sect;4.9.3</a>)
                         </li>
                      </ul>
                   </li>
                   <li><a href="s4.10.html" title="&sect;4.10&nbsp;Generic callin bindings"
                         class="sect">&sect;4.10</a>:
                      				<strong>Generic replace bindings</strong><p>
                         					Reconcile type safety of replace bindings as introduced in <a href="s4.5.d.html" title="&sect;4.5.(d)&nbsp;Typing rules" class="sect">&sect;4.5.(d)</a>
                         					with desirable flexibility by using type parameters.

                      </p>
                   </li>
                   <li><a href="s7.2.b.html" title="&sect;7.2.(b)&nbsp;Arrays of Confined"
                         class="sect">&sect;7.2.(b)</a> :
                      				<strong>Arrays of Confined</strong><p>
                         					Added a necessary restriction.

                      </p>
                   </li>
                </ul>
             </div>
             <div class="subsect depth3" id="sB.2.2">
                <h4 class="subsect">(2)&nbsp;<span class="title">Between OTJLD 1.1 and OTJLD 1.2</span><a class="img" href="sB.2.2.html"
                      title="PermaLink to (2)&nbsp;Between OTJLD 1.1 and OTJLD 1.2"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
                           alt="" /></a></h4>
                <ul>
                   <li><a href="s1.2.2.h.html" title="&sect;1.2.2.(h)&nbsp;Externalized creation"
                         class="sect">&sect;1.2.2.(h)</a> :
                      					<strong>Externalized creation</strong><p>Added alternative syntax using value parameter and changed title.</p>
                   </li>
                   <li><a href="s1.2.5.f.html" title="&sect;1.2.5.(f)&nbsp;Imports in role files"
                         class="sect">&sect;1.2.5.(f)</a> :
                      					<strong>Imports in role files</strong><p>Added a missing rule defining the effect of imports in role files.</p>
                   </li>
                   <li><a href="s1.3.1.c.html"
                         title="&sect;1.3.1.(c)&nbsp;Overriding and implicit inheritance"
                         class="sect">&sect;1.3.1.(c)</a> :
                      					<strong>@Override annotation for roles</strong><p>The regular <code>@Override</code> annotation (Java &ge;5) has been extended to apply to role classes, too.

                      </p>
                   </li>
                   <li><a href="s1.3.1.k.html" title="&sect;1.3.1.(k)&nbsp;Covariant return types"
                         class="sect">&sect;1.3.1.(k)</a> :
                      					<strong>Covariant return types</strong><p>Necessary constraint for covariant return types in the presence of both implicit and explicit inheritance.

                      </p>
                   </li>
                   <li><a href="s2.1.2.c.html" title="&sect;2.1.2.(c)&nbsp;Base class decapsulation"
                         class="sect">&sect;2.1.2.(c)</a> :
                      					<strong>Binding to final base class</strong><p>It has been added that binding to a final base class is now considered as decapsulation, too.

                      </p>
                   </li>
                   <li><a href="s2.2.f.html" title="&sect;2.2.(f)&nbsp;Ambiguous lowering"
                         class="sect">&sect;2.2.(f)</a> :
                      					<strong>Ambiguous lowering</strong><p>A diagnostic has been added to detect situations where lowering might be intended
                         					   but fails because the declared type is <code>java.lang.Object</code>,
                         					   which makes a potential lowering translation unnecessary and thus ambiguous.

                      </p>
                   </li>
                   <li><a href="s2.3.2.e.html" title="&sect;2.3.2.(e)&nbsp;Generic declared lifting"
                         class="sect">&sect;2.3.2.(e)</a> :
                      					<strong>Generic declared lifting</strong><p>Support passing unrelated base types into the same method with declared lifting.

                      </p>
                   </li>
                   <li><a href="s2.6.g.html"
                         title="&sect;2.6.(g)&nbsp;Decapsulation via base reference"
                         class="sect">&sect;2.6.(g)</a> :
                      					<strong>Decapsulation via base reference</strong><p>Extended applicability of decapsulation to two more positions.

                      </p>
                   </li>
                   <li><a href="s4.3.f.html" title="&sect;4.3.(f)&nbsp;Base super calls" class="sect">&sect;4.3.(f)</a> :
                      					<strong>Base super call</strong><p>Support base calls directly to the super version of the bound base method,
                         					thus bypassing both the exact bound base method and also any further callins
                         					relating to this base method or its super version.

                      </p>
                   </li>
                   <li><a href="s5.4.b.html" title="&sect;5.4.(b)&nbsp;No side effects" class="sect">&sect;5.4.(b)</a> :
                      					<strong>Side-effects in guard predicates</strong><p>Migrate previous note about a future feature to a regular paragraph.</p>
                   </li>
                   <li><a href="s5.4.c.html" title="&sect;5.4.(c)&nbsp;Exceptions" class="sect">&sect;5.4.(c)</a> :
                      					<strong>Exceptions in guard predicates</strong><p>Clarify the effect of exceptions thrown from a guard predicate.</p>
                   </li>
                   <li><a href="s6.2.d.html" title="&sect;6.2.(d)&nbsp;Exceptions" class="sect">&sect;6.2.(d)</a> :
                      				    <strong>LiftingVetoException</strong><p>Added documentation for the mostly internal <code>LiftingVetoException</code> and how
                         				    it could actually be used in client code.

                      </p>
                   </li>
                   <li><a href="s6.2.e.html" title="&sect;6.2.(e)&nbsp;Role migration" class="sect">&sect;6.2.(e)</a> :
                      				    <strong>Role migration</strong><p>Added two interfaces to add migration capabilities to a role class.

                      </p>
                   </li>
                </ul>
             </div>
             <div class="subsect depth3" id="sB.2.3">
                <h4 class="subsect">(3)&nbsp;<span class="title">Between OTJLD 1.2 and OTJLD 1.3</span><a class="img" href="sB.2.3.html"
                      title="PermaLink to (3)&nbsp;Between OTJLD 1.2 and OTJLD 1.3"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
                           alt="" /></a></h4>
                <ul>
                   <li><a href="s3.1.k.html" title="&sect;3.1.(k)&nbsp;Callout to generic method"
                         class="sect">&sect;3.1.(k)</a> :
                      					<strong>Callout to generic method</strong><p>Added a rule on how a callout binding may refer to a generic base method.

                      </p>
                   </li>
                   <li><a href="s4.1.h.html" title="&sect;4.1.(h)&nbsp;Method of enclosing class"
                         class="sect">&sect;4.1.(h)</a> :
                      	<strong>Binding to team methods</strong><p><code>before</code> and <code>after</code> callin bindings can now
                         		bind to methods of an enclosing class, too.

                      </p>
                   </li>
                   <li><a href="s4.10.e.html" title="&sect;4.10.(e)&nbsp;Propagating type parameters"
                         class="sect">&sect;4.10.(e)</a> :
                      	<strong>Propagating type parameters in callin bindings</strong><p>
                         		In addition to capturing covariant return types, a callin binding
                         		may also declared type parameters in order to propagate genericity
                         		from its base method to the role method.

                      </p>
                   </li>
                   <li><a href="s5.3.d.html"
                         title="&sect;5.3.(d)&nbsp;Configuring implicit activation"
                         class="sect">&sect;5.3.(d)</a> :
                      	<strong>Configuring implicit activation</strong><p>Mechanisms have been added for configuring implicit team activation.
                         	The default has been changed to not apply implicit activation.
                         	A corresponding note has also been added to <a href="s5.3.html" title="&sect;5.3&nbsp;Implicit team activation"
                            class="sect">&sect;5.3</a></p>
                   </li>
                   <li><a href="s9.2.1.a.html"
                         title="&sect;9.2.1.(a)&nbsp;Instance constrained type parameters"
                         class="sect">&sect;9.2.1.(a)</a> :
                      	<strong>Instance constrained type parameter</strong><p>
                         		Type anchors can now be applied to type parameters, too,
                         		thus expressing a new kind of constraint on the type parameter.

                      </p>
                   </li>
                </ul>
             </div>
          </div>
          <table class="nav">
             <tr>
                <td class="back"><a href="sB.1.html" rel="prev">&lt;&lt;&nbsp;&sect;B.1&nbsp;Paragraphs changed between versions</a></td>
                <td class="top"><a href="index.html" rel="contents">&uarr;&nbsp;Table of Contents&nbsp;&uarr;</a></td>
                <td class="next"></td>
             </tr>
          </table>
          <div class="breadcrumb"><a class="nav" href="sB.html" rel="section">&sect;B&nbsp;Changes between versions</a></div>
       </div>
       <div id="footer">
          <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>&copy; Stephan Herrmann, Christine Hundt, Marco Mosconi</address>
          			OT/J version 1.3 &mdash; last modified: 2010-05-18
       </div>
    </body>
 </html>
	<!DOCTYPE html
	PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "../xhtml1-strict.dtd">
	<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" />
	<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>
	</head>
	<body class="otdt">
	<div id="content">
	<table class="nav">
	<tr>
	<td class="back"><a id="top"></a><a href="sB.1.html" rel="prev"><< §B.1 Paragraphs changed between versions</a></td>
	<td class="top"><a href="index.html" rel="contents">↑ Table of Contents ↑</a></td>
	<td class="next"></td>
	</tr>
	</table>
	<div class="breadcrumb"><a class="nav" href="sB.html" rel="section">§B Changes between versions</a></div>
	<div class="sect depth2" id="sB.2">
	<h2 class="sect">§B.2 Additions between versions<a class="img" href="sB.2.html"
	title="PermaLink to §B.2 Additions between versions"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
	alt="" /></a></h2>
	<div class="subsect depth3" id="sB.2.1">
	<h4 class="subsect">(1) <span class="title">Between OTJLD 1.0 and OTJLD 1.1</span><a class="img" href="sB.2.1.html"
	title="PermaLink to (1) Between OTJLD 1.0 and OTJLD 1.1"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
	alt="" /></a></h4>
	<ul>
	<li><a href="s1.2.4.c.html" title="§1.2.4.(c) Class literal"
	class="sect">§1.2.4.(c)</a>:
	<strong>Role class literal</strong><p>
	Made existing feature explicit and introduce new qualified class literal for externalized roles.

	</p>
	</li>
	<li><a href="s3.1.j.html" title="§3.1.(j) Inferred callout" class="sect">§3.1.(j)</a> and <a href="s3.5.h.html" title="§3.5.(h) Inferred callout" class="sect">§3.5.(h)</a> :
	<strong>Inferred callout</strong><p>
	New feature.

	</p>
	</li>
	<li><a href="s4.6.a.html"
	title="§4.6.(a) Private methods from super classes"
	class="sect">§4.6.(a)</a> :
	<strong>Callin-binding private methods from super classes</strong><p>
	Added a necessary restriction.

	</p>
	</li>
	<li><a href="s4.9.html" title="§4.9 Callin inheritance" class="sect">§4.9</a> :
	<strong>Callin inheritance</strong><p>
	Clarified issues that where under-specified or insufficiently explained, specifically:

	</p>
	<ul>
	<li>Effect of callin bindings on inherited or overridden base methods
	(<a href="s4.9.1.html" title="§4.9.1 Base side inheritance"
	class="sect">§4.9.1</a>).
	</li>
	<li>Interplay of callin bindings and base methods with covariant return types
	(<a href="s4.9.3.html" title="§4.9.3 Covariant return types"
	class="sect">§4.9.3</a>)
	</li>
	</ul>
	</li>
	<li><a href="s4.10.html" title="§4.10 Generic callin bindings"
	class="sect">§4.10</a>:
	<strong>Generic replace bindings</strong><p>
	Reconcile type safety of replace bindings as introduced in <a href="s4.5.d.html" title="§4.5.(d) Typing rules" class="sect">§4.5.(d)</a>
	with desirable flexibility by using type parameters.

	</p>
	</li>
	<li><a href="s7.2.b.html" title="§7.2.(b) Arrays of Confined"
	class="sect">§7.2.(b)</a> :
	<strong>Arrays of Confined</strong><p>
	Added a necessary restriction.

	</p>
	</li>
	</ul>
	</div>
	<div class="subsect depth3" id="sB.2.2">
	<h4 class="subsect">(2) <span class="title">Between OTJLD 1.1 and OTJLD 1.2</span><a class="img" href="sB.2.2.html"
	title="PermaLink to (2) Between OTJLD 1.1 and OTJLD 1.2"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
	alt="" /></a></h4>
	<ul>
	<li><a href="s1.2.2.h.html" title="§1.2.2.(h) Externalized creation"
	class="sect">§1.2.2.(h)</a> :
	<strong>Externalized creation</strong><p>Added alternative syntax using value parameter and changed title.</p>
	</li>
	<li><a href="s1.2.5.f.html" title="§1.2.5.(f) Imports in role files"
	class="sect">§1.2.5.(f)</a> :
	<strong>Imports in role files</strong><p>Added a missing rule defining the effect of imports in role files.</p>
	</li>
	<li><a href="s1.3.1.c.html"
	title="§1.3.1.(c) Overriding and implicit inheritance"
	class="sect">§1.3.1.(c)</a> :
	<strong>@Override annotation for roles</strong><p>The regular <code>@Override</code> annotation (Java ≥5) has been extended to apply to role classes, too.

	</p>
	</li>
	<li><a href="s1.3.1.k.html" title="§1.3.1.(k) Covariant return types"
	class="sect">§1.3.1.(k)</a> :
	<strong>Covariant return types</strong><p>Necessary constraint for covariant return types in the presence of both implicit and explicit inheritance.

	</p>
	</li>
	<li><a href="s2.1.2.c.html" title="§2.1.2.(c) Base class decapsulation"
	class="sect">§2.1.2.(c)</a> :
	<strong>Binding to final base class</strong><p>It has been added that binding to a final base class is now considered as decapsulation, too.

	</p>
	</li>
	<li><a href="s2.2.f.html" title="§2.2.(f) Ambiguous lowering"
	class="sect">§2.2.(f)</a> :
	<strong>Ambiguous lowering</strong><p>A diagnostic has been added to detect situations where lowering might be intended
	but fails because the declared type is <code>java.lang.Object</code>,
	which makes a potential lowering translation unnecessary and thus ambiguous.

	</p>
	</li>
	<li><a href="s2.3.2.e.html" title="§2.3.2.(e) Generic declared lifting"
	class="sect">§2.3.2.(e)</a> :
	<strong>Generic declared lifting</strong><p>Support passing unrelated base types into the same method with declared lifting.

	</p>
	</li>
	<li><a href="s2.6.g.html"
	title="§2.6.(g) Decapsulation via base reference"
	class="sect">§2.6.(g)</a> :
	<strong>Decapsulation via base reference</strong><p>Extended applicability of decapsulation to two more positions.

	</p>
	</li>
	<li><a href="s4.3.f.html" title="§4.3.(f) Base super calls" class="sect">§4.3.(f)</a> :
	<strong>Base super call</strong><p>Support base calls directly to the super version of the bound base method,
	thus bypassing both the exact bound base method and also any further callins
	relating to this base method or its super version.

	</p>
	</li>
	<li><a href="s5.4.b.html" title="§5.4.(b) No side effects" class="sect">§5.4.(b)</a> :
	<strong>Side-effects in guard predicates</strong><p>Migrate previous note about a future feature to a regular paragraph.</p>
	</li>
	<li><a href="s5.4.c.html" title="§5.4.(c) Exceptions" class="sect">§5.4.(c)</a> :
	<strong>Exceptions in guard predicates</strong><p>Clarify the effect of exceptions thrown from a guard predicate.</p>
	</li>
	<li><a href="s6.2.d.html" title="§6.2.(d) Exceptions" class="sect">§6.2.(d)</a> :
	<strong>LiftingVetoException</strong><p>Added documentation for the mostly internal <code>LiftingVetoException</code> and how
	it could actually be used in client code.

	</p>
	</li>
	<li><a href="s6.2.e.html" title="§6.2.(e) Role migration" class="sect">§6.2.(e)</a> :
	<strong>Role migration</strong><p>Added two interfaces to add migration capabilities to a role class.

	</p>
	</li>
	</ul>
	</div>
	<div class="subsect depth3" id="sB.2.3">
	<h4 class="subsect">(3) <span class="title">Between OTJLD 1.2 and OTJLD 1.3</span><a class="img" href="sB.2.3.html"
	title="PermaLink to (3) Between OTJLD 1.2 and OTJLD 1.3"><img style="vertical-align:text-top;margin-left:5px;" src="../images/permalink.png"
	alt="" /></a></h4>
	<ul>
	<li><a href="s3.1.k.html" title="§3.1.(k) Callout to generic method"
	class="sect">§3.1.(k)</a> :
	<strong>Callout to generic method</strong><p>Added a rule on how a callout binding may refer to a generic base method.

	</p>
	</li>
	<li><a href="s4.1.h.html" title="§4.1.(h) Method of enclosing class"
	class="sect">§4.1.(h)</a> :
	<strong>Binding to team methods</strong><p><code>before</code> and <code>after</code> callin bindings can now
	bind to methods of an enclosing class, too.

	</p>
	</li>
	<li><a href="s4.10.e.html" title="§4.10.(e) Propagating type parameters"
	class="sect">§4.10.(e)</a> :
	<strong>Propagating type parameters in callin bindings</strong><p>
	In addition to capturing covariant return types, a callin binding
	may also declared type parameters in order to propagate genericity
	from its base method to the role method.

	</p>
	</li>
	<li><a href="s5.3.d.html"
	title="§5.3.(d) Configuring implicit activation"
	class="sect">§5.3.(d)</a> :
	<strong>Configuring implicit activation</strong><p>Mechanisms have been added for configuring implicit team activation.
	The default has been changed to not apply implicit activation.
	A corresponding note has also been added to <a href="s5.3.html" title="§5.3 Implicit team activation"
	class="sect">§5.3</a></p>
	</li>
	<li><a href="s9.2.1.a.html"
	title="§9.2.1.(a) Instance constrained type parameters"
	class="sect">§9.2.1.(a)</a> :
	<strong>Instance constrained type parameter</strong><p>
	Type anchors can now be applied to type parameters, too,
	thus expressing a new kind of constraint on the type parameter.

	</p>
	</li>
	</ul>
	</div>
	</div>
	<table class="nav">
	<tr>
	<td class="back"><a href="sB.1.html" rel="prev"><< §B.1 Paragraphs changed between versions</a></td>
	<td class="top"><a href="index.html" rel="contents">↑ Table of Contents ↑</a></td>
	<td class="next"></td>
	</tr>
	</table>
	<div class="breadcrumb"><a class="nav" href="sB.html" rel="section">§B Changes between versions</a></div>
	</div>
	<div id="footer">
	<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>