Go backward to Numeral and Command Parameters
Go up to Top
Go forward to Type Equivalence
Declaration and Variable Parameters
- Declaration parameters:
- module COUNTER
(M: {X:intloc,
INIT:comm}dec) =
{import M;
proc P = (call
INIT; X:=@X+1)};
module N = {var X: newint;
proc INIT = X:=0};
import COUNTER(import N) in ...
- Variable parameters:
- class K = record
var A: newint
proc P(B: intloc) = A:=@A+@B
end;
var R: K;
proc Q(Y: {A: intloc, P: intloc
comm})
= call Y.P(Y.A)
in A:=0; call Q(R)
- Type structures are storage allocation routines and not type
attributes!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine