Lade...
 

Code-Beispiel: Variablenvererbung

Das folgende Beispiel

Module(Alpha) [ Var(x) ] Module(Beta) : Alpha [ Msg(FOO) FOO: 3 -> x ] Module(Gamma) : Alpha [ Msg(BAR) BAR: "abc" -> x ]

ist semantisch identisch mit

Module(Beta) [ Msg(FOO) Var(x) FOO: 3 -> x ] Module(Gamma) [ Msg(BAR) Var(x) BAR: "abc" -> x ]