mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

Diffstat (limited to 'cpp/.traces/copy_array')

-rw-r--r--

1 files changed, 0 insertions, 50 deletions

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 090scenario_filesystem_test.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body> <pre id='vimCodeElement'> # Check our support for fake file systems in scenarios. scenario read-from-fake-file [ local-scope assume-resources [ [a] <- [ |xyz| ] ] contents:&:source:char <- start-reading resources, [a] 1:char/raw <- read contents 2:char/raw <- read contents 3:char/raw <- read contents 4:char/raw <- read contents _, 5:bool/raw <- read contents memory-should-contain [ 1 <- 120 # x 2 <- 121 # y 3 <- 122 # z 4 <- 10 # newline 5 <- 1 # eof ] ] scenario write-to-fake-file [ local-scope assume-resources [ ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written ] ] scenario write-to-fake-file-that-exists [ local-scope assume-resources [ [a] <- [] ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written ] ] scenario write-to-existing-file-preserves-other-files [ local-scope assume-resources [ [a] <- [] [b] <- [ |bcd| ] ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] other-file-contents:text <- slurp resources, [b] 11:bool/raw <- equal other-file-contents, [bcd ] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written 11 <- 1 # other files also continue to persist unchanged ] ] def slurp resources:&:resources, filename:text -> contents:text [ local-scope load-ingredients source:&:source:char <- start-reading resources, filename buf:&:buffer <- new-buffer 30/capacity { c:char, done?:bool, source <- read source break-if done? buf <- append buf, c loop } contents <- buffer-to-array buf ] </pre> </body> </html>


context:
space:
mode: