public class MappedFile {
public MappedFile ( string filename,
bool writable )
throws FileError;
public void free ( ) ;
public long get_length ( ) ;
public char* get_contents ( ) ;
}

public MappedFile ( string filename,
bool writable )
throws FileError;
public void free ( ) ;
public long get_length ( ) ;
public char* get_contents ( ) ;
Created by Valadoc