4.3 Compilation: the Project structure
4.3.2 The Project structure

The Project structure provides an interface to the project system. Project has the following skeletal signature:
structure Project:
 sig
   eqtype about_details = {description: string, version: string}
   eqtype configuration_details = {library: string list, source: 
          string list}
   eqtype location_details = {binariesLoc: string, libraryPath:
          string list,objectsLoc: string}
   eqtype mode_details = {generate_debug_info: bool, 
          generate_interceptable_code: bool,
          generate_interruptable_code: bool, 
          generate_variable_debug_info: bool,
          location: string, 
          mips_r4000: bool, optimize_leaf_fns: bool, 
          optimize_self_tail_calls: bool,
          optimize_tail_calls: bool, sparc_v7: bool}

   exception ProjectError of string

   val newProject : unit -> unit
   val openProject : string -> unit 
   val saveProject : string -> unit 
   val closeProject : unit -> unit 

   val setConfiguration : string -> unit 
   val setConfigurationDetails : (string * configuration_details) 
       -> unit 
   val removeConfiguration : string -> unit 
   val showConfigurationDetails : string -> configuration_details 
   val showCurrentConfiguration : unit -> string 
   val showAllConfigurations : unit -> string list 

   val setMode : string -> unit 
   val setModeDetails : (string * mode_details) -> unit 
   val removeMode : string -> unit 
   val showModeDetails : string -> mode_details 
   val showCurrentMode : unit -> string 
   val showAllModes : unit -> string list 

   val setTargets : string list -> unit 
   val setTargetDetails : string -> unit 
   val removeTarget : string -> unit 
   val showCurrentTargets : unit -> string list 
   val showAllTargets : unit -> string list 

   val showFileName : unit -> string 
   val setAboutInfo : about_details -> unit 
   val showAboutInfo : unit -> about_details 
   val setLocations : location_details -> unit 
   val showLocations : unit -> location_details 
   val setFiles : string list -> unit 
   val showFiles : unit -> string list 
   val setSubprojects : string list -> unit 
   val showSubprojects : unit -> string list 

   val forceLoadAll : unit -> unit 
   val forceCompileAll : unit -> unit 
   val forceLoad : string -> unit 
   val forceCompile : string -> unit 
   val readDependencies : string -> unit 
   val compile : string -> unit 
   val showCompile : string -> unit 
   val compileAll : unit -> unit 
   val showCompileAll : unit -> unit 
   val delete : string -> unit 
   val load : string -> unit 
   val showLoad : string -> unit 
   val loadAll : unit -> unit 
   val showLoadAll : unit -> unit 
 end