moonbitlang / x / 301

Committed 10 Dec 2024 06:19AM UTC coverage: 85.204% (-2.6%) from 87.841%

Build # 301

Build Type

Pull #78

github

Committed by

web-flow

Commit Message

Merge b830031f4 into 91f0fdf48

Pull Request Pull Request #78: feat: new package encoding

Run Details

105 of 161 new or added lines in 3 files covered. (65.22%)

124 existing lines in 29 files now uncovered.

1169 of 1372 relevant lines covered (85.2%)

434.92 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

73.17

/json5/lex_string.mbt

// Copyright 2024 International Digital Economy Academy
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

///|
fn lex_string(ctx : ParseContext, quote : Char) -> String!ParseError {
  let buf = StringBuilder::make()
  let mut start = ctx.offset
  fn flush(end : Int) {
    if start > 0 && end > start {
      buf.add_substring(ctx.input, start, end)
    }
  }

  for {
    match read_char(ctx) {
      Some('\'' | '"' as c) =>
        if c == quote {
          flush(ctx.offset - 1)
          break
        }
      Some('\n' | '\r') => invalid_char!(ctx, shift=-1)
      Some('\\') => {
        flush(ctx.offset - 1)
        match read_char(ctx) {
          Some('b') => buf.add_char('\b')
          Some('f') => buf.add_char('\x0C')
          Some('n') => buf.add_char('\n')
          Some('r') => buf.add_char('\r')
          Some('t') => buf.add_char('\t')
          Some('v') => buf.add_char('\x0B')
          Some('\'') => buf.add_char('\'')
          Some('"') => buf.add_char('"')
          Some('\\') => buf.add_char('\\')
          Some('0') => {
            match read_char(ctx) {
              None => ()
              Some(c) => {
                ctx.offset -= 1
                if c >= '0' && c <= '9' {
                  invalid_char!(ctx)
                }
              }
            }
            buf.add_char('\x00')
          }
          Some('x') => {
            let c = lex_hex_digits!(ctx, 2)
            buf.add_char(Char::from_int(c))
          }
          Some('u') => {
            let c = lex_hex_digits!(ctx, 4)
            buf.add_char(Char::from_int(c))
          }
          Some(c) => {
            if c >= '1' && c <= '9' {
              invalid_char!(ctx, shift=-1)
            }
            buf.add_char(c)
          }
          None => parse_error!(InvalidEof)
        }
        start = ctx.offset
      }
      Some(_) => continue
      None => parse_error!(InvalidEof)
    }
  }
  buf.to_string()
}

///|
fn lex_hex_digits(ctx : ParseContext, n : Int) -> Int!ParseError {
  let mut r = 0
  for i = 0; i < n; i = i + 1 {
    match read_char(ctx) {
      Some(c) =>
        if c >= 'A' {
          let d = (c.to_int() & (32).lnot()) - 'A'.to_int() + 10
          if d > 15 {
            invalid_char!(ctx, shift=-1)
          }
          r = (r << 4) | d
        } else if c >= '0' {
          let d = c.to_int() - '0'.to_int()
          if d > 9 {
            invalid_char!(ctx, shift=-1)
          }
          r = (r << 4) | d
        } else {
          invalid_char!(ctx, shift=-1)
        }
      None => parse_error!(InvalidEof)
    }
  }
  r
}

1	// Copyright 2024 International Digital Economy Academy
2	//
3	// Licensed under the Apache License, Version 2.0 (the "License");
4	// you may not use this file except in compliance with the License.
5	// You may obtain a copy of the License at
6	//
7	// http://www.apache.org/licenses/LICENSE-2.0
8	//
9	// Unless required by applicable law or agreed to in writing, software
10	// distributed under the License is distributed on an "AS IS" BASIS,
11	// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12	// See the License for the specific language governing permissions and
13	// limitations under the License.
14
15	///\|
16	fn lex_string(ctx : ParseContext, quote : Char) -> String!ParseError {
17	let buf = StringBuilder::make()	15✔
18	let mut start = ctx.offset
19	fn flush(end : Int) {
20	if start > 0 && end > start {	26✔
21	buf.add_substring(ctx.input, start, end)	5✔
22	}
23	}
24
25	for {
26	match read_char(ctx) {	45✔
27	Some('\'' \| '"' as c) =>
28	if c == quote {	8✔
29	flush(ctx.offset - 1)	7✔
30	break
31	}
UNCOV 32	Some('\n' \| '\r') => invalid_char!(ctx, shift=-1)	×
33	Some('\\') => {	19✔
34	flush(ctx.offset - 1)
35	match read_char(ctx) {
36	Some('b') => buf.add_char('\b')	1✔
37	Some('f') => buf.add_char('\x0C')	1✔
38	Some('n') => buf.add_char('\n')	1✔
39	Some('r') => buf.add_char('\r')	1✔
40	Some('t') => buf.add_char('\t')	1✔
41	Some('v') => buf.add_char('\x0B')	1✔
42	Some('\'') => buf.add_char('\'')	1✔
43	Some('"') => buf.add_char('"')	2✔
UNCOV 44	Some('\\') => buf.add_char('\\')	×
45	Some('0') => {	2✔
46	match read_char(ctx) {
UNCOV 47	None => ()	×
48	Some(c) => {	2✔
49	ctx.offset -= 1
50	if c >= '0' && c <= '9' {
UNCOV 51	invalid_char!(ctx)	×
52	}
53	}
54	}
55	buf.add_char('\x00')
56	}
57	Some('x') => {	3✔
58	let c = lex_hex_digits!(ctx, 2)
59	buf.add_char(Char::from_int(c))	1✔
60	}
61	Some('u') => {	2✔
62	let c = lex_hex_digits!(ctx, 4)
63	buf.add_char(Char::from_int(c))	1✔
64	}
65	Some(c) => {	2✔
66	if c >= '1' && c <= '9' {
UNCOV 67	invalid_char!(ctx, shift=-1)	×
68	}
69	buf.add_char(c)
70	}
UNCOV 71	None => parse_error!(InvalidEof)	×
72	}
73	start = ctx.offset
74	}
75	Some(_) => continue	16✔
UNCOV 76	None => parse_error!(InvalidEof)	×
77	}
78	}
79	buf.to_string()
80	}
81
82	///\|
83	fn lex_hex_digits(ctx : ParseContext, n : Int) -> Int!ParseError {
84	let mut r = 0	12✔
85	for i = 0; i < n; i = i + 1 {	38✔
86	match read_char(ctx) {	41✔
87	Some(c) =>
88	if c >= 'A' {	41✔
89	let d = (c.to_int() & (32).lnot()) - 'A'.to_int() + 10	8✔
90	if d > 15 {
UNCOV 91	invalid_char!(ctx, shift=-1)	×
92	}
93	r = (r << 4) \| d
94	} else if c >= '0' {	33✔
95	let d = c.to_int() - '0'.to_int()	33✔
96	if d > 9 {
UNCOV 97	invalid_char!(ctx, shift=-1)	×
98	}
99	r = (r << 4) \| d
100	} else {
101	invalid_char!(ctx, shift=-1)	×
102	}
UNCOV 103	None => parse_error!(InvalidEof)	×
104	}
105	}
106	r
107	}

moonbitlang / x / 301

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous