Mercurial > repos > rhope
view file.rhope @ 120:cd25171e1bb2
Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
author | Mike Pavone <pavone@retrodev.com> |
---|---|
date | Thu, 21 Oct 2010 23:55:15 -0400 |
parents | 25a205094f9b |
children | ac5c2d78663f |
line wrap: on
line source
//This implementation will change quite a bit once the transaction system is working //and I've finalized how File I/O will fit into that. This is just a very basic //implementation to allow the compiler to be self-hosting. Foreign C:libc { open[name(Array,Raw Pointer),flags(Int32,Naked),mode(UInt32,Naked):filedes(Int32,Naked)] close[filedes(Int32,Naked):status(Int32,Naked)] fsync[filedes(Int32,Naked):status(Int32,Naked)] fstat[filedes(Int32,Naked),buf(Stat,Raw Pointer,Mutable):err(Int32,Naked),buf] lseek[filedes(Int32,Naked),offset(Int64,Naked),whence(Int32,Naked):out(Int64,Naked)] ftruncate[filedes(Int32,Naked),length(Int64,Naked):status(Int32,Naked)] } Blueprint Stat { Device(UInt64,Naked) Inode(UInt64,Naked) Link Count(UInt64,Naked) Mode(UInt32,Naked) Owner ID(UInt32,Naked) Group ID(UInt32,Naked) Pad0(Int32,Naked) RDevice(UInt64,Naked) Size(Int64,Naked) Block Size(Int64,Naked) Block Count(Int64,Naked) Access Time(Int64,Naked) Access Time Nano(UInt64,Naked) Mod Time(Int64,Naked) Mod Time Nano(UInt64,Naked) Status Time(Int64,Naked) Status Time Nano(UInt64,Naked) Unused1(Int64,Naked) Unused2(Int64,Naked) Unused3(Int64,Naked) } Stat[fd:out] { err,out <- fstat[fd, Build[Stat()]] } Blueprint File { Name } Blueprint File Read { Name Descriptor(Int32,Naked) Info } Blueprint File Write { Name Descriptor(Int32,Naked) Info } Blueprint File ReadWrite { Name Read Offset(Int64,Naked) Descriptor(Int32,Naked) Info } File[name:out] { out <- [Build[File()]]Name <<[name] } Open@File[file,mode:out,error] { If[[mode]=["r"]] { imode <- 0i32 type <- File Read() out <- Val[ofile] }{ If[[mode]=["w"]] { imode <- 65i32 type <- File Write() out <- Val[ofile] If[[fd]!=[-1i32]] { lseek[fd, 0i64, 2i32] } }{ ,error <- If[[mode]=["rw"]] { imode <- 66i32 type <- File ReadWrite() out <- [ofile]Read Offset <<[0i64] } } } fd <- open[[[[[file]Name >>]Flatten]Buffer >>]Append[0u8], imode, 438u32] error <- If[[fd]=[-1i32]] {} { ofile <- [[[Build[type] ]Name <<[ [file]Name >> ] ]Descriptor <<[fd] ]Info <<[Stat[fd]] } } Read@File[file,bytes:data,outfile,error] { ,error <- [file]Open["r"] { data,outfile,error <- [~]Read[bytes] } } /* Append@File[file,data:out,error] { ,error <- [file]Open["w"] { out,error <- [~]Append[data] } }*/ String@File[file:out,error] { f,error <- [file]Open["r"] { out,error <- String[~] { Close[f] } } } Truncate@File[file:out,error] { f,error <- [file]Open["w"] { out,error <- Truncate[f] } } Write@File[file,data:out,error] { f,error <- [file]Open["w"] { out,error <- [f]Write[data] } } String@File Read[file:out,error] { ,error <- [file]Read[[file]Length] { out <- String[~] } } Read@File Read[file,inbytes(Int32):data,outfile,error] { readbytes, mdata <- read[[file]Descriptor >>, [Array[]]Set[inbytes, 0u8], Int64[inbytes]] error <- If[[readbytes]<[0i64]] {} { outfile <- file data <- [mdata]Length <<[ Trunc Int32[readbytes] ] } /* //Skip buffering for now. Buffering approach may need to change later anyway buflen <- [[file]Buffer >>]Length If[buflen] { If[[inbytes]=[buflen]] { data <- [file]Buffer >> outfile <- [file]Buffer <<[Array[]] }{ If[[inbytes]<[buflen]] { }{ } } }{ readbytes, mdata <- read[[file]Descriptor >>, [Array[]]Set[inbytes, 0u8], Int64[inbytes]] error <- If[[readbytes]<[0i64]] {} { outfile <- file data <- [mdata]Length <<[ Trunc Int32[readbytes] ] } } */ } Length@File Read[file:out] { out <- Trunc Int32[[[file]Info >>]Size >>] } Close@File Read[file:out] { close[[file]Descriptor >>] out <- File[[file]Name >>] } Length@File Write[file:out] { out <- Trunc Int32[[[file]Info >>]Size >>] } Truncate@File Write[file:out,err] { err <- If[ftruncate[[file]Descriptor >>, 0i64]] {} { err <- If[lseek[[file]Descriptor >>, 0i64, 0i32]] {} { out <- [file]Info <<[ [[file]Info >>]Size <<[0i64] ] } } } Write@File Write[file,data(Array):out,err] { err <- If[[write[[file]Descriptor >>, data, Int64[[data]Length >>]]]<[0i32]] {} { out <- file } } Write to File@String[str,file:out,err] { out,err <- [file]Write[[str]Buffer >>] } Write to File@String Slice[str,file:out,err] { out,err <- [[str]Flatten]Write to File[file] } Write to File@String Cat[str,file:out,err] { ,err <- [[str]Left >>]Write to File[file] { out,err <- [[str]Right >>]Write to File[~] } } Close@File Write[file:out] { fsync[[file]Descriptor >>] { close[[file]Descriptor >>] } out <- File[[file]Name >>] }