From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Wed, 1 Jan 2020 17:04:37 -0800
Subject: 5852

---
 archive/2.vm/092socket.mu | 177 ----------------------------------------------
 1 file changed, 177 deletions(-)
 delete mode 100644 archive/2.vm/092socket.mu

(limited to 'archive/2.vm/092socket.mu')

diff --git a/archive/2.vm/092socket.mu b/archive/2.vm/092socket.mu
deleted file mode 100644
index b0dca4b7..00000000
--- a/archive/2.vm/092socket.mu
+++ /dev/null
@@ -1,177 +0,0 @@
-# Wrappers around socket primitives that are easier to test.
-
-# To test server operations, just run a real client against localhost.
-scenario example-server-test [
-  local-scope
-  # test server without a fake on a random (real) port
-  # that way repeatedly running the test will give ports time to timeout and
-  # close before reusing them
-  make-random-nondeterministic
-  port:num <- random-in-range null/real-random-numbers, 8000, 8100
-  run [
-    socket:num <- $open-server-socket port
-    assert socket, [ 
-F - example-server-test: $open-server-socket failed]
-    handler-routine:number <- start-running serve-one-request socket, example-handler
-  ]
-  source:&:source:char <- start-reading-from-network null/real-resources, [localhost/], port
-  response:text <- drain source
-  10:@:char/raw <- copy *response
-  memory-should-contain [
-    10:array:character <- [abc]
-  ]
-  socket <- $close-socket socket
-]
-# helper just for this scenario
-def example-handler query:text -> response:text [
-  local-scope
-  load-inputs
-  return [abc]
-]
-
-# To test client operations, use 'assume-resources' with a filename that
-# begins with a hostname. (Filenames starting with '/' are assumed to be
-# local.)
-scenario example-client-test [
-  local-scope
-  assume-resources [
-    [example.com/] <- [
-      |abc|
-    ]
-  ]
-  run [
-    source:&:source:char <- start-reading-from-network resources, [example.com/]
-  ]
-  contents:text <- drain source
-  10:@:char/raw <- copy *contents
-  memory-should-contain [
-    10:array:character <- [abc
-]
-  ]
-]
-
-type request-handler = (recipe text -> text)
-
-def serve-one-request socket:num, request-handler:request-handler -> socket:num [
-  local-scope
-  load-inputs
-  session:num <- $accept socket
-  assert session, [ 
-F - example-server-test: $accept failed]
-  contents:&:source:char, sink:&:sink:char <- new-channel 30
-  start-running receive-from-socket session, sink
-  query:text <- drain contents
-  response:text <- call request-handler, query
-  write-to-socket session, response
-  session <- $close-socket session
-]
-
-def start-reading-from-network resources:&:resources, uri:text -> contents:&:source:char [
-  local-scope
-  load-inputs
-  {
-    port:num, port-found?:boolean <- next-input
-    break-if port-found?
-    port <- copy 80/http-port
-  }
-  {
-    break-unless resources
-    # fake network
-    contents <- start-reading-from-fake-resource resources, uri
-    return
-  }
-  # real network
-  host:text, path:text <- split-at uri, 47/slash
-  socket:num <- $open-client-socket host, port
-  assert socket, [contents]
-  req:text <- interpolate [GET _ HTTP/1.1], path
-  request-socket socket, req
-  contents:&:source:char, sink:&:sink:char <- new-channel 10000
-  start-running receive-from-client-socket-and-close socket, sink
-]
-
-def request-socket socket:num, s:text -> socket:num [
-  local-scope
-  load-inputs
-  write-to-socket socket, s
-  $write-to-socket socket, 13/cr
-  $write-to-socket socket, 10/lf
-  # empty line to delimit request
-  $write-to-socket socket, 13/cr
-  $write-to-socket socket, 10/lf
-]
-
-def receive-from-socket socket:num, sink:&:sink:char -> sink:&:sink:char, socket:num [
-  local-scope
-  load-inputs
-  {
-    +next-attempt
-    c:char, found?:bool, eof?:bool, error:num <- $read-from-socket socket
-    break-if eof?
-    break-if error
-    {
-      break-unless found?
-      sink <- write sink, c
-    }
-    {
-      break-if found?
-      switch
-    }
-    loop
-  }
-  sink <- close sink
-]
-
-def receive-from-client-socket-and-close socket:num, sink:&:sink:char -> sink:&:sink:char, socket:num [
-  local-scope
-  load-inputs
-  sink <- receive-from-socket socket, sink
-  socket <- $close-socket socket
-]
-
-def write-to-socket socket:num, s:text [
-  local-scope
-  load-inputs
-  len:num <- length *s
-  i:num <- copy 0
-  {
-    done?:bool <- greater-or-equal i, len
-    break-if done?
-    c:char <- index *s, i
-    $write-to-socket socket, c
-    i <- add i, 1
-    loop
-  }
-]
-
-# like split-first, but don't eat the delimiter
-def split-at text:text, delim:char -> x:text, y:text [
-  local-scope
-  load-inputs
-  # empty text? return empty texts
-  len:num <- length *text
-  {
-    empty?:bool <- equal len, 0
-    break-unless empty?
-    x:text <- new []
-    y:text <- new []
-    return
-  }
-  idx:num <- find-next text, delim, 0
-  x:text <- copy-range text, 0, idx
-  y:text <- copy-range text, idx, len
-]
-
-scenario text-split-at [
-  local-scope
-  x:text <- new [a/b]
-  run [
-    y:text, z:text <- split-at x, 47/slash
-    10:@:char/raw <- copy *y
-    20:@:char/raw <- copy *z
-  ]
-  memory-should-contain [
-    10:array:character <- [a]
-    20:array:character <- [/b]
-  ]
-]
-- 
cgit 1.4.1-2-gfad0