<< §3.5.(b) Compatibility | ↑ Table of Contents ↑ | §3.5.(d) Effect >> |
§3.5.(c) Value mapping
Values can be mapped similar to parameter mappings in pure method bindings
(§3.2). Such mappings can be used to establish compatibility as required above.
In both get
and set
bindings, the base side value is denoted
by the field's name (lines 2 and 4 below).
1 | Integer getValue() -> get int val |
2 | with { result <- new Integer(val) } |
3 | void setValue(Integer i) -> set int val |
4 | with { i.intValue() -> val } |
<< §3.5.(b) Compatibility | ↑ Table of Contents ↑ | §3.5.(d) Effect >> |