jevkostream.js/highlight.js at master · jevko/jevkostream.js · GitHub

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
import {parseJevkoStream} from './mod.js'

const enc = new TextEncoder()

const brightGreen = [...enc.encode("[92m")]
const brightMagenta = [...enc.encode("[95m")]
const brightCyan = [...enc.encode("[96m")]
const green = [...enc.encode("[32m")]
const yellow = [...enc.encode("[33m")]
const cyan = [...enc.encode("[36m")]
const reset = [...enc.encode("[39m")]

let writeBuffer = []
const maxWriteBufferLen = 100
const write = {
  bytes(bytes) {
    writeBuffer.push(...bytes)
    if (writeBuffer.length > maxWriteBufferLen) {
      Deno.stdout.writeSync(new Uint8Array(writeBuffer))
      writeBuffer = []
    }
  },
  end() {
    if (writeBuffer.length > 0) {
      Deno.stdout.writeSync(new Uint8Array(writeBuffer))
    }
  }
}

const writeText = (text, info, color) => {
  let h = 0
  write.bytes(color)
  const {escapedAt} = info
  for (const i of escapedAt) {
    write.bytes(enc.encode(text.slice(h, i)))
    write.bytes(cyan)
    h = i + 1
    write.bytes(escaper)
    write.bytes(enc.encode(text[i]))
    write.bytes(color)
  }
  if (h < text.length) write.bytes(enc.encode(text.slice(h)))
  write.bytes(reset)
}


const escaper = [...enc.encode("`")]
const opener = [...enc.encode("[")]
const closer = [...enc.encode("]")]

const stream = parseJevkoStream(({
  prefix: (text, info) => {
    writeText(text, info, green)
    write.bytes(opener)
  },
  suffix: (text, info) => {
    writeText(text, info, yellow)
    write.bytes(closer)
  },
  end: (text, info) => {
    writeText(text, info, yellow)
    write.end()
  }
}))

stream.chunk(`first \`[name\`]\`\` [John]
last name [Smith]
is alive [true]
age [27]
address [
  street address [21 2nd Street]
  city [New York]
  state [NY]
  postal code [10021-3100]
]
phone numbers [
  [
    type [home]
    number [212 555-1234]
  ]
  [
    type [office]
    number [646 555-4567]
  ]
]
children []
spouse []
`)

stream.end()