/* This class gives abstract definitions for a page manager.

 */

public abstract class PageManager {

    private int numPages;          /* Number of pages in the process. */



    /* This constructor creates a page manager with number of pages = numPages. */ 

    public PageManager (int numPages) {

	this.numPages = numPages;

    }



    /* This method is called by the generator, 

     * whenever a reference is generated for a page in memory.

     */

    public abstract void handlePageReference (int page, MemoryInterface memoryInterface);



    /* This method is called by the generator, whenever a page fault is deltected.

     */

    public abstract void handlePageFault (int page, MemoryInterface memoryInterface);

}