Function TestParseInt

parser_test.go:2369–2447

Verifies: SYS-REQ-040 [example] MCDC SYS-REQ-040: raw_int_token_is_well_formed=F, raw_int_token_overflows_int64=F, returns_parseint_malformed_error=T => TRUE Verifies: SYS-REQ-039 [example] MCDC SYS-REQ-039: raw_int_token_overflows_int64=T, returns_parseint_overflow_error=T => TRUE Verifies: SYS-REQ

(t *testing.T)

// MCDC SYS-REQ-015: raw_int_token_is_well_formed=T, returns_parseint_value=F => FALSE
// MCDC SYS-REQ-015: raw_int_token_is_well_formed=T, returns_parseint_value=T => TRUE
func TestParseInt(t *testing.T) {
	// SYS-REQ-015:malformed_input:nominal
	//   Witness for the happy-path nominal partition: ParseInt on well-formed
	//   JSON Number tokens ("0", "-12345", "9223372036854775807") returns the
	//   expected int64 value with no error.
	// SYS-REQ-015:malformed_input:negative
	//   Witness for the malformed-input partition of ParseInt. The "alpha
	//   suffix", "fractional token", and "empty input" rows below all assert
	//   MalformedValueError is returned for tokens that do not conform to the
	//   JSON Number grammar. (Note: the sign-only partition `ParseInt("-")`
	//   is tracked separately under DEFECT-260726-3F95 / KI-2 — that partition
	//   currently returns (0, nil) instead of MalformedValueError and is the
	//   one malformed sub-case NOT covered here.)
	tests := []struct {
		name    string
		in      string
		want    int64
		wantErr error
	}{
		{
			name: "zero",
			in:   "0",
			want: 0,
		},
		{
			name: "negative integer",
			in:   "-12345",
			want: -12345,
		},
		{
			name: "max int64",
			in:   "9223372036854775807",
			want: 9223372036854775807,
		},
		{
			name:    "empty input",
			in:      "",
			wantErr: MalformedValueError,
		},
		{
			name:    "fractional token",
			in:      "1.2",
			wantErr: MalformedValueError,
		},
		{
			name:    "alpha suffix",
			in:      "123x",
			wantErr: MalformedValueError,
		},
		{
			name:    "overflow",
			in:      "9223372036854775808",
			wantErr: OverflowIntegerError,
		},
		{
			name:    "underflow",
			in:      "-9223372036854775809",
			wantErr: OverflowIntegerError,