Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/main/filename-policy.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/filename-policy.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 322, Tue Jun 8 09:36:16 1999 UTC revision 357, Mon Jun 28 08:46:30 1999 UTC
# Line 8  Line 8 
8  signature FILENAMEPOLICY = sig  signature FILENAMEPOLICY = sig
9    
10      type policy      type policy
11        type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy
12    
13      val colocate :      val colocate : policyMaker
14          { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy      val separate : { bindir: string, bootdir: string } -> policyMaker
15      val separate :  
16          { root: AbsPath.t, parentArc: string, absArc: string } -> policy      val mkBinName : policy -> SrcPath.t -> string
17        val mkSkelName : policy -> SrcPath.t -> string
18      val mkBinPath : policy -> AbsPath.t -> AbsPath.t      val mkStableName : policy -> SrcPath.t -> string
19      val mkSkelPath : policy -> AbsPath.t -> AbsPath.t  
20      val mkStablePath : policy -> AbsPath.t -> AbsPath.t      val kind2name : SMLofNJ.SysInfo.os_kind -> string
21  end  end
22    
23  structure FilenamePolicy :> FILENAMEPOLICY = struct  functor FilenamePolicyFn (val cmdir : string
24                              val skeldir : string) :> FILENAMEPOLICY = struct
25    
26      type converter = AbsPath.t -> AbsPath.t      type converter = SrcPath.t -> string
27    
28      type policy = { bin: converter, skel: converter, stable: converter }      type policy = { bin: converter, skel: converter, stable: converter }
29        type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy
30    
31      fun kind2name SMLofNJ.SysInfo.BEOS = "beos"      fun kind2name SMLofNJ.SysInfo.BEOS = "beos"
32        | kind2name SMLofNJ.SysInfo.MACOS = "macos"        | kind2name SMLofNJ.SysInfo.MACOS = "macos"
# Line 31  Line 34 
34        | kind2name SMLofNJ.SysInfo.UNIX = "unix"        | kind2name SMLofNJ.SysInfo.UNIX = "unix"
35        | kind2name SMLofNJ.SysInfo.WIN32 = "win32"        | kind2name SMLofNJ.SysInfo.WIN32 = "win32"
36    
37      fun cmpath d s = let      fun mkPolicy (shiftbin, shiftstable) { arch, os } = let
38          val { dir = d0, file = f } = AbsPath.splitDirFile s          fun cmname d s = let
39          val d1 = AbsPath.joinDirFile { dir = d0, file = "CM" }              val { dir = d0, file = f } = OS.Path.splitDirFile s
40          val d2 = AbsPath.joinDirFile { dir = d1, file = d }              val d1 = OS.Path.joinDirFile { dir = d0, file = cmdir }
41                val d2 = OS.Path.joinDirFile { dir = d1, file = d }
42      in      in
43          AbsPath.joinDirFile { dir = d2, file = f }              OS.Path.joinDirFile { dir = d2, file = f }
44      end      end
   
     fun colocate { arch, os } = let  
45          val archos = concat [arch, "-", kind2name os]          val archos = concat [arch, "-", kind2name os]
46      in      in
47          { skel = cmpath "SKEL", bin = cmpath archos, stable = cmpath archos }          { skel = cmname skeldir o SrcPath.osstring,
48              bin = cmname archos o shiftbin,
49              stable = cmname archos o shiftstable }
50      end      end
51    
52      fun separate { root, parentArc, absArc } = let      val colocate = mkPolicy (SrcPath.osstring, SrcPath.osstring)
53          val root = AbsPath.context root  
54          fun sep p = let      fun separate { bindir, bootdir } = let
55              val s = AbsPath.name p          fun shiftname root p =
56              fun cvt arc = if arc = OS.Path.parentArc then parentArc else arc              case SrcPath.reAnchoredName (p, root) of
57                    SOME s => s
58                  | NONE => (Say.say ["Failure: ", SrcPath.descr p,
59                                      " is not an anchored path!\n"];
60                             raise Fail "bad path")
61          in          in
62              case OS.Path.fromString s of          mkPolicy (shiftname bindir, shiftname bootdir)
                 { isAbs = false, vol = "", arcs } =>  
                     AbsPath.native { context = root,  
                                      spec = OS.Path.toString  
                                          { isAbs = false, vol = "",  
                                            arcs = map cvt arcs } }  
               | _ => AbsPath.native  
                     { context = root,  
                       spec = OS.Path.joinDirFile { dir = absArc,  
                                                    file = AbsPath.file p } }  
         end  
     in  
         { skel = cmpath "SKEL", bin = sep, stable = sep }  
63      end      end
64    
65      fun mkBinPath (p: policy) s = #bin p s      fun mkBinName (p: policy) s = #bin p s
66      fun mkSkelPath (p: policy) s = #skel p s      fun mkSkelName (p: policy) s = #skel p s
67      fun mkStablePath (p: policy) s = #stable p s      fun mkStableName (p: policy) s = #stable p s
68  end  end
69    
70    structure FilenamePolicy =
71        FilenamePolicyFn (val cmdir = "NEWCM" val skeldir = "SKEL")

Legend:
Removed from v.322  
changed lines
  Added in v.357

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0