5 // Create a <Grid> of type <name>
7 attribute
short height
;
10 attribute
short width
;
16 // The range of parameter values do not fall in the expected
20 // = Constants for LOCATIONS and VALUE.
21 const short DEFAULT_SIZE
= 10;
22 const short DEFAULT_VALUE
= 1;
24 void set
(in short n
, in short m
, in long value
)
26 // Set the element [n,m] of the grid, to value.
28 long get
(in short n
, in short m
)
30 // Return element [n,m] of the grid.
36 interface Grid_Factory
39 // Factory that creates a <Grid>
41 // = Default height and width for a <Grid>.
42 const short DEFAULT_HEIGHT
= 10;
43 const short DEFAULT_WIDTH
= 10;
45 Grid make_grid
(in short height
, in short width
);
46 // Returns a new <Grid> instance.
49 // Shutdown the application.
52 // Unbind from persistent memory