Go backward to Declaration Blocks
Go up to Top
Go forward to Objects and Classes
Type Structure Blocks
- Semantics:
-
[[pi |- begin D in T end:
deltaclass]] =
[[pi -U- pi |- T: deltaclass]](
-U- )
where (, ) = [[pi |- D: pidec]]
- Bodies are typically records
- class PERSONAL-STACK
begin
var CTR: newint,
var STACK: array [1...100] of newint
in record
...
end end
- Stack allocated on declaration of record variable:
- var A: PERSONAL-STACK
- Separate stack for each instance of record type.
- Stack use by qualification:
- call A.INIT; call A.PUSH(0);
...
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine