#include <free_store.h>
Public Methods | |
void | init () |
void | verifyHalt () throw (Error) |
Word | malloc (Int size) |
void | free (Int addr) throw (Error) |
TODO: Implement garbage collector.
|
Releases a chunk of memory that was allocated at the given address.
|
|
Initializes internal data structures.
|
|
Allocates an area of memory consisting of "size" words. Assumption: size > 0
|
|
Verifies if the free store is in correct state when operation HALT is executed.
|