§B Changes between versions

§B.1 Paragraphs changed since previous version (OTJLD 1.0)↑ §B

§3.2.(a) : Parameter mappings
Disallow parameter mappings in a role interface.
§4.5.(d) : Replace bindings
Disallow unsafe use of polymorphism and primitive type conversions.
§6.1.(a) : Signatures of reflective methods
Made two methods generic so that return values can be used without the need of casting.
§7.2 : Confined roles
Improved explanation.

§1.2.4.(c): Role class literal
Made existing feature explicit and introduce new qualified class literal for externalized roles.
§3.1.(j) and §3.5.(h) : Inferred callout
New feature.
§4.6.(a) : Callin-binding private methods from super classes
Added a necessary restriction.
§4.9 : Callin inheritance
Clarified issues that where under-specified or insufficiently explained, specifically:
- Effect of callin bindings on inherited or overridden base methods (§4.9.1).
- Interplay of callin bindings and base methods with covariant return types (§4.9.3)
§4.10: Generic replace bindings
Reconcile type safety of replace bindings as introduced in §4.5.(d) with desirable flexibility by using type parameters.
§7.2.(b) : Arrays of Confined
Added a necessary restriction.