mirror of
https://github.com/Smaug123/managed-git
synced 2025-10-06 00:08:41 +00:00
75 lines
1.9 KiB
Forth
75 lines
1.9 KiB
Forth
namespace Git
|
|
|
|
open System
|
|
open System.IO
|
|
open System.Text
|
|
open Git.Internals
|
|
|
|
type TreeEntry =
|
|
{
|
|
Mode : int
|
|
Name : string
|
|
Hash : Hash
|
|
}
|
|
|
|
override this.ToString () =
|
|
sprintf "%i %s %O" this.Mode this.Name this.Hash
|
|
|
|
[<RequireQualifiedAccess>]
|
|
module Tree =
|
|
|
|
/// emits a byte array because the header needs to know a length
|
|
let encode (tree : TreeEntry list) : byte array =
|
|
// This is a bit odd, we should probably emit the stream in a streamy way
|
|
// rather than constructing the whole thing
|
|
let b = ResizeArray ()
|
|
|
|
for t in tree do
|
|
b.AddRange (Encoding.ASCII.GetBytes (sprintf "%i %s" t.Mode t.Name))
|
|
b.Add 0uy
|
|
|
|
let (Hash h) = t.Hash
|
|
b.AddRange h
|
|
|
|
b.ToArray ()
|
|
|
|
/// Given a stream seeked to the point where we should start consuming,
|
|
/// decode as a tree object.
|
|
let decode (b : byte array) : TreeEntry list =
|
|
use b = new MemoryStream (b)
|
|
|
|
let stripRow () : TreeEntry option =
|
|
let mode = Stream.consumeTo b 32uy
|
|
|
|
match mode with
|
|
| None -> None
|
|
| Some mode ->
|
|
|
|
let name = Stream.consumeTo b 0uy
|
|
|
|
match name with
|
|
| None -> failwith "Stream ended before we could consume a name"
|
|
| Some name ->
|
|
|
|
let hash = Stream.consume b 20
|
|
|
|
{
|
|
Mode = mode |> Array.map char |> String |> Int32.Parse
|
|
Name = name |> Array.map char |> String
|
|
Hash = hash |> Hash.ofBytes
|
|
}
|
|
|> Some
|
|
|
|
let rec allRows () : TreeEntry seq =
|
|
seq {
|
|
let r = stripRow ()
|
|
|
|
match r with
|
|
| Some r ->
|
|
yield r
|
|
yield! allRows ()
|
|
| None -> ()
|
|
}
|
|
|
|
allRows () |> Seq.toList
|