|
| 1 | +module YukimiScript.CommandLineTool.Compile |
| 2 | + |
| 3 | +open System.IO |
| 4 | +open YukimiScript.Parser |
| 5 | + |
| 6 | + |
| 7 | +exception FailException |
| 8 | + |
| 9 | + |
| 10 | +let unwrapParseException (errStringing: ErrorStringing.ErrorStringing) fileName = |
| 11 | + function |
| 12 | + | Ok x -> x |
| 13 | + | Error ls -> |
| 14 | + ls |
| 15 | + |> List.iter (fun (lineNumber, err) -> |
| 16 | + Path.GetFileName(fileName: string) + "(" + string lineNumber + "):" + errStringing err |
| 17 | + |> stderr.WriteLine) |
| 18 | + |
| 19 | + raise FailException |
| 20 | + |
| 21 | + |
| 22 | +let unwrapDomException (errorStringing: ErrorStringing.ErrorStringing) = |
| 23 | + function |
| 24 | + | Ok x -> x |
| 25 | + | Error err -> |
| 26 | + errorStringing err |
| 27 | + |> stderr.WriteLine |
| 28 | + raise FailException |
| 29 | + |
| 30 | + |
| 31 | +let private loadDom errStringing src = |
| 32 | + File.ReadAllLines src |
| 33 | + |> Parser.parseLines |
| 34 | + |> unwrapParseException errStringing src |
| 35 | + |> Dom.analyze src |
| 36 | + |> unwrapDomException errStringing |
| 37 | + |
| 38 | + |
| 39 | +let private findRepeat (items: (string * Elements.DebugInformation) seq) = |
| 40 | + Seq.groupBy fst items |
| 41 | + |> Seq.choose (fun (key, matches) -> |
| 42 | + if Seq.length matches <= 1 then None |
| 43 | + else Some (key, matches |> Seq.map snd)) |
| 44 | + |
| 45 | + |
| 46 | +let checkRepeat errStringing (dom: Dom.Dom) = |
| 47 | + dom.Externs |
| 48 | + |> Seq.map (fun (Elements.ExternCommand (cmd, _), dbg) -> cmd, dbg) |
| 49 | + |> findRepeat |
| 50 | + |> Seq.tryHead |
| 51 | + |> function |
| 52 | + | None -> () |
| 53 | + | Some x -> |
| 54 | + Dom.ExternRepeatException x |
| 55 | + |> Error |
| 56 | + |> unwrapDomException errStringing |
| 57 | + |
| 58 | + dom.Scenes |
| 59 | + |> Seq.map (fun (s, _, dbg) -> s.Name, dbg) |
| 60 | + |> findRepeat |
| 61 | + |> Seq.tryHead |
| 62 | + |> function |
| 63 | + | None -> () |
| 64 | + | Some x -> |
| 65 | + Dom.SceneRepeatException x |
| 66 | + |> Error |
| 67 | + |> unwrapDomException errStringing |
| 68 | + |
| 69 | + dom.Macros |
| 70 | + |> Seq.map (fun (s, _, dbg) -> s.Name, dbg) |
| 71 | + |> findRepeat |
| 72 | + |> Seq.tryHead |
| 73 | + |> function |
| 74 | + | None -> () |
| 75 | + | Some x -> |
| 76 | + Dom.MacroRepeatException x |
| 77 | + |> Error |
| 78 | + |> unwrapDomException errStringing |
| 79 | + |
| 80 | + dom |
| 81 | + |
| 82 | + |
| 83 | +let getYkmFiles (dir: string) = |
| 84 | + Directory.EnumerateFiles(dir, "*.ykm", SearchOption.AllDirectories) |
| 85 | + |> Array.ofSeq |
| 86 | + |
| 87 | + |
| 88 | +let loadLib errStringing libPath = |
| 89 | + let doms = |
| 90 | + getYkmFiles libPath |
| 91 | + |> Array.map (fun srcPath -> |
| 92 | + srcPath, loadDom errStringing srcPath) |
| 93 | + |
| 94 | + doms |
| 95 | + |> Array.iter (fun (fileName, dom) -> |
| 96 | + if Seq.isEmpty dom.Scenes |> not then |
| 97 | + unwrapDomException errStringing |
| 98 | + <| Error (Dom.CannotDefineSceneInLibException fileName)) |
| 99 | + |
| 100 | + doms |
| 101 | + |> Array.map snd |
| 102 | + |> Array.fold Dom.merge Dom.empty |
| 103 | + |
| 104 | + |
| 105 | +let loadLibs errStringing libPaths = |
| 106 | + libPaths |
| 107 | + |> List.map (loadLib errStringing) |
| 108 | + |> List.fold Dom.merge Dom.empty |
| 109 | + |
| 110 | + |
| 111 | +let loadSrc errStringing (lib: Dom.Dom) srcPath = |
| 112 | + Dom.merge lib (loadDom errStringing srcPath) |
| 113 | + |> Dom.expandTextCommands |
| 114 | + |> Dom.expandUserMacros lib |
| 115 | + |> unwrapDomException errStringing |
| 116 | + |
| 117 | + |
| 118 | +let prepareCodegen errStringing dom = |
| 119 | + Dom.expandSystemMacros dom |
| 120 | + |> Dom.linkToExternCommands |
| 121 | + |> unwrapDomException errStringing |
| 122 | + |
0 commit comments