all repos — min @ edf32d56aee2790df0584d1a8099b1c1e454a4d2

A small but practical concatenative programming language.

lib/min_net.nim

 1
 2
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
 100
 101
 102
 103
 104
 105
 106
 107
 108
 109
 110
 111
 112
 113
 114
 115
 116
 117
 118
 119
 120
 121
 122
 123
 124
 125
 126
 127
 128
 
import net, nativesockets, strutils
import 
  ../core/types,
  ../core/parser,
  ../core/interpreter, 
  ../core/utils

# Network

define("net")

  .symbol("open-socket") do (i: In):
    var q: MinValue
    i.reqQuotation q
    # (ipv4 stream tcp)
    if q.qVal.len < 3 or not (q.qVal[0].isSymbol and q.qVal[1].isSymbol and q.qVal[2].isSymbol):
      i.push q
      raiseInvalid("Quotation must contain three symbols for <domain> <type> <protocol>")
    let vals = q.qVal
    if not ["ipv4", "ipv6"].contains(vals[0].symVal):
      i.push q
      raiseInvalid("Domain symbol must be 'ipv4' or 'ipv6'")
    if not ["stream", "dgram"].contains(vals[1].symVal):
      i.push q
      raiseInvalid("Type symbol must be 'stream' or 'dgram'")
    if not ["tcp", "udp"].contains(vals[2].symVal):
      i.push q
      raiseInvalid("Protocol symbol must be 'tcp' or 'udp'")
    var 
      domain: Domain
      sockettype: SockType
      protocol: Protocol
    # Process domain
    if vals[0].symVal == "ipv4":
      domain = AF_INET
    else:
      domain = AF_INET6
    if vals[1].symVal == "stream":
      sockettype = SOCK_STREAM
    else:
      sockettype = SOCK_DGRAM
    if vals[2].symVal == "tcp":
      protocol = IPPROTO_TCP
    else:
      protocol = IPPROTO_UDP
    var socket = newSocket(domain, sockettype, protocol)
    q.objType = "socket"
    q.obj = socket[].addr
    i.push @[q]

  .symbol("tcp-socket") do (i: In):
    i.eval("(ipv4 stream tcp) net %open-socket")
    
  .symbol("udp-socket") do (i: In):
    i.eval("(ipv4 dgram udp) net %open-socket")

  .symbol("tcp6-socket") do (i: In):
    i.eval("(ipv6 stream tcp) net %open-socket")
    
  .symbol("udp6-socket") do (i: In):
    i.eval("(ipv6 dgram udp) net %open-socket")

  .symbol("close-socket") do (i: In):
    var q: MinValue
    i.reqObject "socket", q
    q.to(Socket).close()

  .symbol("listen") do (i: In):
    var port, q: MinValue
    i.reqInt port
    i.reqObject "socket", q
    var socket = q.to(Socket)
    socket.bindAddr(Port(port.intVal))
    q.qVal.add "0.0.0.0".newSym
    q.qVal.add port
    socket.listen()
    i.push @[q]

  .symbol("accept") do (i: In):
    var server: MinValue
    i.reqObject "socket", server
    # Open same socket type as server
    echo $server
    i.eval "$1 net %open-socket" % [$server.qVal[0..2].newVal]
    var clientVal: MinValue
    i.reqObject "socket", clientVal
    var client = clientVal.to(Socket)
    var address = ""
    server.to(Socket).acceptAddr(client, address)
    clientVal.qVal.add address.newSym
    i.push @[clientVal]

  .symbol("connect") do (i: In):
    var q, address, port: MinValue
    i.reqInt port
    i.reqString address
    i.reqObject "socket", q
    q.to(Socket).connect(address.strVal, Port(port.intVal))
    q.qVal.add address.strVal.newSym
    q.qVal.add port
    i.push @[q]

  .symbol("send") do (i: In):
    var q, s: MinValue
    i.reqString s
    i.reqObject "socket", q
    q.to(Socket).send s.strVal
    i.push @[q]


  .symbol("recv") do (i: In):
    var size, q: MinValue
    i.reqInt size
    i.reqObject "socket", q
    var s = ""
    discard q.to(Socket).recv(s, size.intVal.int)
    i.push @[q]
    i.push s.newVal

  .symbol("recv-line") do (i: In):
    var q: MinValue
    i.reqObject "socket", q
    var s = ""
    q.to(Socket).readLine(s)
    i.push @[q]
    i.push s.newVal

  .finalize()