§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 }