<< §B.2.(1) Between OTJLD 1.0 and OTJLD 1.1 | ↑ Table of Contents ↑ | §B.2.(3) Between OTJLD 1.2 and OTJLD 1.3 >> |
§B.2.(2) Between OTJLD 1.1 and OTJLD 1.2
- §1.2.2.(h) :
Externalized creation
Added alternative syntax using value parameter and changed title.
- §1.2.5.(f) :
Imports in role files
Added a missing rule defining the effect of imports in role files.
- §1.3.1.(c) :
@Override annotation for roles
The regular
@Override
annotation (Java ≥5) has been extended to apply to role classes, too. - §1.3.1.(k) :
Covariant return types
Necessary constraint for covariant return types in the presence of both implicit and explicit inheritance.
- §2.1.2.(c) :
Binding to final base class
It has been added that binding to a final base class is now considered as decapsulation, too.
- §2.2.(f) :
Ambiguous lowering
A diagnostic has been added to detect situations where lowering might be intended but fails because the declared type is
java.lang.Object
, which makes a potential lowering translation unnecessary and thus ambiguous. - §2.3.2.(e) :
Generic declared lifting
Support passing unrelated base types into the same method with declared lifting.
- §2.6.(g) :
Decapsulation via base reference
Extended applicability of decapsulation to two more positions.
- §4.3.(f) :
Base super call
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.
- §5.4.(b) :
Side-effects in guard predicates
Migrate previous note about a future feature to a regular paragraph.
- §5.4.(c) :
Exceptions in guard predicates
Clarify the effect of exceptions thrown from a guard predicate.
- §6.2.(d) :
LiftingVetoException
Added documentation for the mostly internal
LiftingVetoException
and how it could actually be used in client code. - §6.2.(e) :
Role migration
Added two interfaces to add migration capabilities to a role class.
<< §B.2.(1) Between OTJLD 1.0 and OTJLD 1.1 | ↑ Table of Contents ↑ | §B.2.(3) Between OTJLD 1.2 and OTJLD 1.3 >> |