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