| <!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"> |
| <div class="headl"> |
| <div class="headr"> |
| <h1>Table of Contents</h1> |
| </div> |
| </div> |
| <div class="toc depth1"><a href="s0.html" rel="section">§0 About this Document</a></div> |
| <div class="toc depth2"><a href="s0.html#s0.1" rel="section">§0.1 Purpose(s) of this document</a></div> |
| <div class="toc depth2"><a href="s0.html#s0.2" rel="section">§0.2 Text structure</a></div> |
| <div class="toc depth2"><a href="s0.html#s0.3" rel="section">§0.3 Compiler messages</a></div> |
| <div class="toc depth2"><a href="s0.html#s0.4" rel="section">§0.4 Versions</a></div> |
| <div class="toc depth2"><a href="s0.html#s0.5" rel="section">§0.5 Publishing</a></div> |
| <div class="toc depth1"><a href="s1.html" rel="section">§1 Teams and Roles</a></div> |
| <div class="toc depth2"><a href="s1.html#s1.1" rel="section">§1.1 Team classes</a></div> |
| <div class="toc depth2"><a href="s1.html#s1.2" rel="section">§1.2 Role classes and objects</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.2.1" rel="section">§1.2.1 Modifiers for roles</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.2.2" rel="section">§1.2.2 Externalized roles</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.2.3" rel="section">§1.2.3 Protected roles</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.2.4" rel="section">§1.2.4 Type tests and casts</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.2.5" rel="section">§1.2.5 File structure</a></div> |
| <div class="toc depth2"><a href="s1.html#s1.3" rel="section">§1.3 Acquisition and implicit inheritance of role classes</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.3.1" rel="section">§1.3.1 Acquisition and implicit inheritance of role classes</a></div> |
| <div class="toc depth3"><a href="s1.html#s1.3.2" rel="section">§1.3.2 Regular role inheritance</a></div> |
| <div class="toc depth2"><a href="s1.html#s1.4" rel="section">§1.4 Name clashes</a></div> |
| <div class="toc depth2"><a href="s1.html#s1.5" rel="section">§1.5 Team and role nesting</a></div> |
| <div class="toc depth1"><a href="s2.html" rel="section">§2 Role Binding</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.1" rel="section">§2.1 playedBy relation</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.1.1" rel="section">§2.1.1 Binding interfaces</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.1.2" rel="section">§2.1.2 Legal base classes</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.2" rel="section">§2.2 Lowering</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.3" rel="section">§2.3 Lifting</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.3.1" rel="section">§2.3.1 Implicit role creation</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.3.2" rel="section">§2.3.2 Declared lifting</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.3.3" rel="section">§2.3.3 Smart lifting</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.3.4" rel="section">§2.3.4 Binding ambiguities</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.3.5" rel="section">§2.3.5 Consequences of lifting problems</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.4" rel="section">§2.4 Explicit role creation</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.4.1" rel="section">§2.4.1 Role creation via a lifting constructor</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.4.2" rel="section">§2.4.2 Role creation via a regular constructor</a></div> |
| <div class="toc depth3"><a href="s2.html#s2.4.3" rel="section">§2.4.3 Role creation in the presence of smart lifting</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.5" rel="section">§2.5 Abstract Roles</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.6" rel="section">§2.6 Explicit base references</a></div> |
| <div class="toc depth2"><a href="s2.html#s2.7" rel="section">§2.7 Advanced structures</a></div> |
| <div class="toc depth1"><a href="s3.html" rel="section">§3 Callout Binding</a></div> |
| <div class="toc depth2"><a href="s3.html#s3.1" rel="section">§3.1 Callout method binding</a></div> |
| <div class="toc depth2"><a href="s3.html#s3.2" rel="section">§3.2 Callout parameter mapping</a></div> |
| <div class="toc depth2"><a href="s3.html#s3.3" rel="section">§3.3 Lifting and lowering</a></div> |
| <div class="toc depth2"><a href="s3.html#s3.4" rel="section">§3.4 Overriding access restrictions</a></div> |
| <div class="toc depth2"><a href="s3.html#s3.5" rel="section">§3.5 Callout to field</a></div> |
| <div class="toc depth1"><a href="s4.html" rel="section">§4 Callin Binding</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.1" rel="section">§4.1 Callin method binding</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.2" rel="section">§4.2 Callin modifiers (before, after, replace)</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.3" rel="section">§4.3 Base calls</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.4" rel="section">§4.4 Callin parameter mapping</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.5" rel="section">§4.5 Lifting and lowering</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.6" rel="section">§4.6 Overriding access restrictions</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.7" rel="section">§4.7 Callin binding with static methods</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.8" rel="section">§4.8 Callin precedence</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.9" rel="section">§4.9 Callin inheritance</a></div> |
| <div class="toc depth3"><a href="s4.html#s4.9.1" rel="section">§4.9.1 Base side inheritance</a></div> |
| <div class="toc depth3"><a href="s4.html#s4.9.2" rel="section">§4.9.2 Role side inheritance</a></div> |
| <div class="toc depth3"><a href="s4.html#s4.9.3" rel="section">§4.9.3 Covariant return types</a></div> |
| <div class="toc depth2"><a href="s4.html#s4.10" rel="section">§4.10 Generic callin bindings</a></div> |
| <div class="toc depth1"><a href="s5.html" rel="section">§5 Team Activation</a></div> |
| <div class="toc depth2"><a href="s5.html#s5.1" rel="section">§5.1 Effect of team activation</a></div> |
| <div class="toc depth3"><a href="s5.html#s5.1.1" rel="section">§5.1.1 Global vs. thread local team activation</a></div> |
| <div class="toc depth3"><a href="s5.html#s5.1.2" rel="section">§5.1.2 Effect on garbage collection</a></div> |
| <div class="toc depth2"><a href="s5.html#s5.2" rel="section">§5.2 Explicit team activation</a></div> |
| <div class="toc depth2"><a href="s5.html#s5.3" rel="section">§5.3 Implicit team activation</a></div> |
| <div class="toc depth2"><a href="s5.html#s5.4" rel="section">§5.4 Guard predicates</a></div> |
| <div class="toc depth3"><a href="s5.html#s5.4.1" rel="section">§5.4.1 Regular guards</a></div> |
| <div class="toc depth3"><a href="s5.html#s5.4.2" rel="section">§5.4.2 Base guards</a></div> |
| <div class="toc depth3"><a href="s5.html#s5.4.3" rel="section">§5.4.3 Multiple guards</a></div> |
| <div class="toc depth2"><a href="s5.html#s5.5" rel="section">§5.5 Unanticipated team activation</a></div> |
| <div class="toc depth1"><a href="s6.html" rel="section">§6 Object Teams API</a></div> |
| <div class="toc depth2"><a href="s6.html#s6.1" rel="section">§6.1 Reflection</a></div> |
| <div class="toc depth2"><a href="s6.html#s6.2" rel="section">§6.2 Other API Elements</a></div> |
| <div class="toc depth2"><a href="s6.html#s6.3" rel="section">§6.3 Annotations</a></div> |
| <div class="toc depth1"><a href="s7.html" rel="section">§7 Role Encapsulation</a></div> |
| <div class="toc depth2"><a href="s7.html#s7.1" rel="section">§7.1 Opaque roles</a></div> |
| <div class="toc depth2"><a href="s7.html#s7.2" rel="section">§7.2 Confined roles</a></div> |
| <div class="toc depth1"><a href="s8.html" rel="section">§8 Join Point Queries</a></div> |
| <div class="toc depth2"><a href="s8.html#s8.1" rel="section">§8.1 Join point queries</a></div> |
| <div class="toc depth2"><a href="s8.html#s8.2" rel="section">§8.2 Query expressions</a></div> |
| <div class="toc depth2"><a href="s8.html#s8.3" rel="section">§8.3 OT/J meta model</a></div> |
| <div class="toc depth1"><a href="s9.html" rel="section">§9 Value Dependent Classes</a></div> |
| <div class="toc depth2"><a href="s9.html#s9.1" rel="section">§9.1 Defining classes with value parameters</a></div> |
| <div class="toc depth2"><a href="s9.html#s9.2" rel="section">§9.2 Using classes with value parameters</a></div> |
| <div class="toc depth3"><a href="s9.html#s9.2.1" rel="section">§9.2.1 Parameter substitution</a></div> |
| <div class="toc depth3"><a href="s9.html#s9.2.2" rel="section">§9.2.2 Type conformance</a></div> |
| <div class="toc depth2"><a href="s9.html#s9.3" rel="section">§9.3 Restrictions and limitations</a></div> |
| <div class="toc depth1"><a href="sA.html" rel="section">§A OT/J Syntax</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.0" rel="section">§A.0 Keywords</a></div> |
| <div class="toc depth3"><a href="sA.html#sA.0.1" rel="section">§A.0.1 Scoped keywords</a></div> |
| <div class="toc depth3"><a href="sA.html#sA.0.2" rel="section">§A.0.2 Inheriting scoped keywords</a></div> |
| <div class="toc depth3"><a href="sA.html#sA.0.3" rel="section">§A.0.3 Internal names</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.1" rel="section">§A.1 Class definitions</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.2" rel="section">§A.2 Modifiers</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.3" rel="section">§A.3 Method bindings</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.4" rel="section">§A.4 Parameter mappings</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.5" rel="section">§A.5 Statements</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.6" rel="section">§A.6 Types</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.7" rel="section">§A.7 Guard predicates</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.8" rel="section">§A.8 Precedence declaration</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.9" rel="section">§A.9 Value dependent types</a></div> |
| <div class="toc depth2"><a href="sA.html#sA.10" rel="section">§A.10 Packages and imports</a></div> |
| <div class="toc depth1"><a href="sB.html" rel="section">§B Changes between versions</a></div> |
| <div class="toc depth2"><a href="sB.html#sB.1" rel="section">§B.1 Paragraphs changed between versions</a></div> |
| <div class="toc depth2"><a href="sB.html#sB.2" rel="section">§B.2 Additions 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: 2011-05-15 |
| </div> |
| </body> |
| </html> |