Functions — github.com/buger/jsonparser

hub / github.com/buger/jsonparser / functions

Functions1,014 in github.com/buger/jsonparser

⨍ Functions 1,014◇ Types & classes 26

FunctionTestMCDC_SYS_REQ_019_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-019 (empty input + key path) -----------------------------------

mcdc_spec_witnesses_test.go:495

FunctionTestMCDC_SYS_REQ_019_Row2_EmptyNoKeyPath

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=F, returns_missing_path_result_for_empty_input=F => TRUE

mcdc_spec_witnesses_test.go:507

FunctionTestMCDC_SYS_REQ_019_Row3_InvariantViolation

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=T, returns_missing_path_result_for_empty_input=F => FALSE

mcdc_spec_witnesses_test.go:521

FunctionTestMCDC_SYS_REQ_019_Row4_EmptyMissingPath

Verifies: SYS-REQ-019 MCDC SYS-REQ-019: json_input_is_empty=T, key_path_is_provided=T, returns_missing_path_result_for_empty_input=T => TRUE

mcdc_spec_witnesses_test.go:535

FunctionTestMCDC_SYS_REQ_020_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-020 (object key segment at current scope) ----------------------

mcdc_spec_witnesses_test.go:551

FunctionTestMCDC_SYS_REQ_020_Row2_NotEvaluated

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=F, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:564

FunctionTestMCDC_SYS_REQ_020_Row3_InvariantViolation

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=F, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:575

FunctionTestMCDC_SYS_REQ_020_Row4_ObjectKeyMatched

Verifies: SYS-REQ-020 MCDC SYS-REQ-020: path_segment_is_object_key=T, returns_value_from_current_scope_object_key=T, segment_is_evaluated_at_current_s

mcdc_spec_witnesses_test.go:589

FunctionTestMCDC_SYS_REQ_021_Row1_OutOfBounds

----------------------------------------------------------------------------- SYS-REQ-021 (in-bounds array index) ------------------------------------

mcdc_spec_witnesses_test.go:605

FunctionTestMCDC_SYS_REQ_021_Row2_InvalidSegment

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:614

FunctionTestMCDC_SYS_REQ_021_Row3_NotArraySegment

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=F, returns_value_from_

mcdc_spec_witnesses_test.go:623

FunctionTestMCDC_SYS_REQ_021_Row4_InvariantViolation

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:638

FunctionTestMCDC_SYS_REQ_021_Row5_InBoundsReturned

Verifies: SYS-REQ-021 MCDC SYS-REQ-021: array_index_is_in_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_value_from_

mcdc_spec_witnesses_test.go:652

FunctionTestMCDC_SYS_REQ_022_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-022 (invalid array index syntax) -------------------------------

mcdc_spec_witnesses_test.go:668

FunctionTestMCDC_SYS_REQ_022_Row2_InvariantViolation

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_invalid_array_index_not_found=F => FALS

mcdc_spec_witnesses_test.go:680

FunctionTestMCDC_SYS_REQ_022_Row3_InvalidIndexNotFound

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_invalid_array_index_not_found=T => TRUE

mcdc_spec_witnesses_test.go:691

FunctionTestMCDC_SYS_REQ_022_Row4_ValidSegment

Verifies: SYS-REQ-022 MCDC SYS-REQ-022: array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_invalid_array_index_not_found=F => TRUE

mcdc_spec_witnesses_test.go:700

FunctionTestMCDC_SYS_REQ_023_Row1_InBounds

----------------------------------------------------------------------------- SYS-REQ-023 (out-of-bounds array index) --------------------------------

mcdc_spec_witnesses_test.go:716

FunctionTestMCDC_SYS_REQ_023_Row2_InvalidOutOfBounds

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=F, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:728

FunctionTestMCDC_SYS_REQ_023_Row3_NotArraySegment

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=F, returns_oob_arr

mcdc_spec_witnesses_test.go:737

FunctionTestMCDC_SYS_REQ_023_Row4_InvariantViolation

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:752

FunctionTestMCDC_SYS_REQ_023_Row5_OobNotFound

Verifies: SYS-REQ-023 MCDC SYS-REQ-023: array_index_is_out_of_bounds=T, array_index_segment_is_valid=T, path_segment_is_array_index=T, returns_oob_arr

mcdc_spec_witnesses_test.go:763

FunctionTestMCDC_SYS_REQ_024_Row1_NoMatch

----------------------------------------------------------------------------- SYS-REQ-024 (decoded escaped object key) -------------------------------

mcdc_spec_witnesses_test.go:776

FunctionTestMCDC_SYS_REQ_024_Row2_TriggerFalse

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=F, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:786

FunctionTestMCDC_SYS_REQ_024_Row3_InvariantViolation

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=T, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:799

FunctionTestMCDC_SYS_REQ_024_Row4_DecodedEscapedMatched

Verifies: SYS-REQ-024 MCDC SYS-REQ-024: decoded_path_segment_matches_escaped_key=T, escaped_json_object_key_is_present=T, returns_value_from_decoded_e

mcdc_spec_witnesses_test.go:812

FunctionTestMCDC_SYS_REQ_025_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-025 (unquoted raw string contents) -----------------------------

mcdc_spec_witnesses_test.go:828

FunctionTestMCDC_SYS_REQ_025_Row2_InvariantViolation

Verifies: SYS-REQ-025 MCDC SYS-REQ-025: addressed_value_is_string=T, returns_unquoted_raw_string_contents=F => FALSE

mcdc_spec_witnesses_test.go:843

FunctionTestMCDC_SYS_REQ_025_Row3_StringUnquoted

Verifies: SYS-REQ-025 MCDC SYS-REQ-025: addressed_value_is_string=T, returns_unquoted_raw_string_contents=T => TRUE

mcdc_spec_witnesses_test.go:856

FunctionTestMCDC_SYS_REQ_026_Row1_CannotIsolate

----------------------------------------------------------------------------- SYS-REQ-026 (best-effort lookup when malformed input is outside addresse

mcdc_spec_witnesses_test.go:872

FunctionTestMCDC_SYS_REQ_026_Row2_TriggerFalse

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=F, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:882

FunctionTestMCDC_SYS_REQ_026_Row3_InvariantViolation

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=T, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:894

FunctionTestMCDC_SYS_REQ_026_Row4_BestEffortSuccess

Verifies: SYS-REQ-026 MCDC SYS-REQ-026: addressed_token_can_be_isolated=T, malformed_input_outside_addressed_token=T, returns_best_effort_lookup_resul

mcdc_spec_witnesses_test.go:908

FunctionTestMCDC_SYS_REQ_027_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-027 (invalid addressed token shape) ----------------------------

mcdc_spec_witnesses_test.go:924

FunctionTestMCDC_SYS_REQ_027_Row2_InvariantViolation

Verifies: SYS-REQ-027 MCDC SYS-REQ-027: addressed_token_shape_is_invalid=T, returns_value_type_error=F => FALSE

mcdc_spec_witnesses_test.go:936

FunctionTestMCDC_SYS_REQ_027_Row3_ValueTypeError

Verifies: SYS-REQ-027 MCDC SYS-REQ-027: addressed_token_shape_is_invalid=T, returns_value_type_error=T => TRUE

mcdc_spec_witnesses_test.go:945

FunctionTestMCDC_SYS_REQ_028_Row1_NonEmptyWellFormed

----------------------------------------------------------------------------- SYS-REQ-028 (empty well-formed array produces no callbacks via ArrayEach

mcdc_spec_witnesses_test.go:957

FunctionTestMCDC_SYS_REQ_028_Row2_EmptyMalformed

Verifies: SYS-REQ-028 MCDC SYS-REQ-028: addressed_array_is_empty=T, addressed_array_is_well_formed=F, empty_array_produces_no_callbacks=F => TRUE [no-

mcdc_spec_witnesses_test.go:973

FunctionTestMCDC_SYS_REQ_028_Row3_InvariantViolation

Verifies: SYS-REQ-028 MCDC SYS-REQ-028: addressed_array_is_empty=T, addressed_array_is_well_formed=T, empty_array_produces_no_callbacks=F => FALSE

mcdc_spec_witnesses_test.go:988

FunctionTestMCDC_SYS_REQ_029_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-029 (malformed array input returns error via ArrayEach) --------

mcdc_spec_witnesses_test.go:1008

FunctionTestMCDC_SYS_REQ_029_Row2_WellFormed

Verifies: SYS-REQ-029 MCDC SYS-REQ-029: addressed_array_is_well_formed=T, malformed_array_input_returns_error=F => TRUE [no-action: well-formed array

mcdc_spec_witnesses_test.go:1017

FunctionTestMCDC_SYS_REQ_030_Row1_NonEmptyWellFormed

----------------------------------------------------------------------------- SYS-REQ-030 (empty well-formed object produces no entries via ObjectEach

mcdc_spec_witnesses_test.go:1035

FunctionTestMCDC_SYS_REQ_030_Row2_EmptyMalformed

Verifies: SYS-REQ-030 MCDC SYS-REQ-030: addressed_object_is_empty=T, addressed_object_is_well_formed=F, empty_object_produces_no_entries=F => TRUE [no

mcdc_spec_witnesses_test.go:1050

FunctionTestMCDC_SYS_REQ_030_Row3_InvariantViolation

Verifies: SYS-REQ-030 MCDC SYS-REQ-030: addressed_object_is_empty=T, addressed_object_is_well_formed=T, empty_object_produces_no_entries=F => FALSE

mcdc_spec_witnesses_test.go:1066

FunctionTestMCDC_SYS_REQ_031_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-031 (malformed object input returns error via ObjectEach) ------

mcdc_spec_witnesses_test.go:1085

FunctionTestMCDC_SYS_REQ_031_Row2_WellFormed

Verifies: SYS-REQ-031 MCDC SYS-REQ-031: addressed_object_is_well_formed=T, malformed_object_input_returns_error=F => TRUE [no-action: well-formed obje

mcdc_spec_witnesses_test.go:1093

FunctionTestMCDC_SYS_REQ_032_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-032 (callback error is returned by ObjectEach) FRETish: !address

mcdc_spec_witnesses_test.go:1113

FunctionTestMCDC_SYS_REQ_032_Row2_NoCallbackError

Verifies: SYS-REQ-032 MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_error_is_returned=F, object_callback_returns_error=F => TRU

mcdc_spec_witnesses_test.go:1128

FunctionTestMCDC_SYS_REQ_032_Row3_InvariantViolation

Verifies: SYS-REQ-032 MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_error_is_returned=F, object_callback_returns_error=T => FAL

mcdc_spec_witnesses_test.go:1143

FunctionTestMCDC_SYS_REQ_033_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-033 (Delete removes addressed target) --------------------------

mcdc_spec_witnesses_test.go:1161

FunctionTestMCDC_SYS_REQ_033_Row2_MissingTarget

Verifies: SYS-REQ-033 MCDC SYS-REQ-033: delete_path_is_provided=T, delete_returns_document_without_target=F, delete_target_exists=F => TRUE

mcdc_spec_witnesses_test.go:1172

FunctionTestMCDC_SYS_REQ_033_Row3_InvariantViolation

Verifies: SYS-REQ-033 MCDC SYS-REQ-033: delete_path_is_provided=T, delete_returns_document_without_target=F, delete_target_exists=T => FALSE

mcdc_spec_witnesses_test.go:1182

FunctionTestMCDC_SYS_REQ_034_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-034 (Delete preserves input when target missing in usable input)

mcdc_spec_witnesses_test.go:1198

FunctionTestMCDC_SYS_REQ_034_Row2_InvariantViolation

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=F, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1208

FunctionTestMCDC_SYS_REQ_034_Row3_TargetExistsUsable

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=F, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1220

FunctionTestMCDC_SYS_REQ_034_Row4_UnusableInput

Verifies: SYS-REQ-034 MCDC SYS-REQ-034: delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, delete_preserves_input_when_target_m

mcdc_spec_witnesses_test.go:1230

FunctionTestMCDC_SYS_REQ_035_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-035 (Delete completes without panic on unusable input) ---------

mcdc_spec_witnesses_test.go:1245

FunctionTestMCDC_SYS_REQ_035_Row2_NoPathUnusable

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=F, de

mcdc_spec_witnesses_test.go:1255

FunctionTestMCDC_SYS_REQ_035_Row3_InvariantViolationPanic

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1265

FunctionTestMCDC_SYS_REQ_035_Row4_InvariantViolationOriginal

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=F, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1277

FunctionTestMCDC_SYS_REQ_035_Row5_InvariantViolationNoPanic

Verifies: SYS-REQ-035 MCDC SYS-REQ-035: delete_completes_without_panic=T, delete_input_is_unusable_for_requested_path=T, delete_path_is_provided=T, de

mcdc_spec_witnesses_test.go:1289

FunctionTestMCDC_SYS_REQ_036_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-036 (ParseBoolean malformed literal returns error) -------------

mcdc_spec_witnesses_test.go:1303

FunctionTestMCDC_SYS_REQ_036_Row2_ValidLiteral

Verifies: SYS-REQ-036 MCDC SYS-REQ-036: raw_boolean_literal_is_valid=T, returns_parseboolean_error=F => TRUE [no-action: valid boolean literal does no

mcdc_spec_witnesses_test.go:1311

FunctionTestMCDC_SYS_REQ_037_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-037 (ParseFloat malformed token returns error) -----------------

mcdc_spec_witnesses_test.go:1327

FunctionTestMCDC_SYS_REQ_037_Row2_WellFormed

Verifies: SYS-REQ-037 MCDC SYS-REQ-037: raw_float_token_is_well_formed=T, returns_parsefloat_error=F => TRUE [no-action: well-formed float does not in

mcdc_spec_witnesses_test.go:1335

FunctionTestMCDC_SYS_REQ_038_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-038 (ParseString malformed literal returns error) --------------

mcdc_spec_witnesses_test.go:1351

FunctionTestMCDC_SYS_REQ_038_Row2_WellFormed

Verifies: SYS-REQ-038 MCDC SYS-REQ-038: raw_string_literal_is_well_formed=T, returns_parsestring_error=F => TRUE [no-action: well-formed string does n

mcdc_spec_witnesses_test.go:1359

FunctionTestMCDC_SYS_REQ_039_Row1_NoOverflow

----------------------------------------------------------------------------- SYS-REQ-039 (ParseInt overflow returns error) --------------------------

mcdc_spec_witnesses_test.go:1375

FunctionTestMCDC_SYS_REQ_039_Row2_InvariantViolation

Verifies: SYS-REQ-039 MCDC SYS-REQ-039: raw_int_token_overflows_int64=T, returns_parseint_overflow_error=F => FALSE

mcdc_spec_witnesses_test.go:1387

FunctionTestMCDC_SYS_REQ_040_Row1_InvariantViolation

----------------------------------------------------------------------------- SYS-REQ-040 (ParseInt malformed token returns error) -------------------

mcdc_spec_witnesses_test.go:1399

FunctionTestMCDC_SYS_REQ_040_Row2_MalformedOrOverflow

Verifies: SYS-REQ-040 MCDC SYS-REQ-040: raw_int_token_is_well_formed=F, raw_int_token_overflows_int64=T, returns_parseint_malformed_error=F => TRUE

mcdc_spec_witnesses_test.go:1407

FunctionTestMCDC_SYS_REQ_040_Row3_WellFormed

Verifies: SYS-REQ-040 MCDC SYS-REQ-040: raw_int_token_is_well_formed=T, raw_int_token_overflows_int64=F, returns_parseint_malformed_error=F => TRUE [n

mcdc_spec_witnesses_test.go:1417

FunctionTestMCDC_SYS_REQ_041_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-041 (truncated-at-value-boundary returns parse error via Get) --

mcdc_spec_witnesses_test.go:1433

FunctionTestMCDC_SYS_REQ_041_Row2_InvariantViolation

Verifies: SYS-REQ-041 MCDC SYS-REQ-041: input_is_truncated_at_value_boundary=T, returns_error_for_truncated_value_boundary=F => FALSE

mcdc_spec_witnesses_test.go:1441

FunctionTestMCDC_SYS_REQ_041_Row3_TruncatedError

Verifies: SYS-REQ-041 MCDC SYS-REQ-041: input_is_truncated_at_value_boundary=T, returns_error_for_truncated_value_boundary=T => TRUE

mcdc_spec_witnesses_test.go:1449

FunctionTestMCDC_SYS_REQ_042_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-042 (truncated-mid-structure returns parse error via Get) ------

mcdc_spec_witnesses_test.go:1461

FunctionTestMCDC_SYS_REQ_042_Row2_InvariantViolation

Verifies: SYS-REQ-042 MCDC SYS-REQ-042: input_is_truncated_mid_structure=T, returns_error_for_truncated_mid_structure=F => FALSE

mcdc_spec_witnesses_test.go:1469

FunctionTestMCDC_SYS_REQ_042_Row3_TruncatedError

Verifies: SYS-REQ-042 MCDC SYS-REQ-042: input_is_truncated_mid_structure=T, returns_error_for_truncated_mid_structure=T => TRUE

mcdc_spec_witnesses_test.go:1477

FunctionTestMCDC_SYS_REQ_043_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-043 (truncated-mid-key returns parse error via Get) ------------

mcdc_spec_witnesses_test.go:1489

FunctionTestMCDC_SYS_REQ_043_Row2_InvariantViolation

Verifies: SYS-REQ-043 MCDC SYS-REQ-043: input_is_truncated_mid_key=T, returns_error_for_truncated_mid_key=F => FALSE

mcdc_spec_witnesses_test.go:1497

FunctionTestMCDC_SYS_REQ_043_Row3_TruncatedError

Verifies: SYS-REQ-043 MCDC SYS-REQ-043: input_is_truncated_mid_key=T, returns_error_for_truncated_mid_key=T => TRUE

mcdc_spec_witnesses_test.go:1505

FunctionTestMCDC_SYS_REQ_044_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-044 (caller bounds-checks tokenEnd == len(data) sentinel) ------

mcdc_spec_witnesses_test.go:1517

FunctionTestMCDC_SYS_REQ_044_Row2_InvariantViolation

Verifies: SYS-REQ-044 MCDC SYS-REQ-044: caller_bounds_checks_tokenEnd_sentinel=F, tokenEnd_returns_len_data=T => FALSE

mcdc_spec_witnesses_test.go:1526

FunctionTestMCDC_SYS_REQ_044_Row3_BoundsChecked

Verifies: SYS-REQ-044 MCDC SYS-REQ-044: caller_bounds_checks_tokenEnd_sentinel=T, tokenEnd_returns_len_data=T => TRUE

mcdc_spec_witnesses_test.go:1542

FunctionTestMCDC_SYS_REQ_045_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-045 (caller handles stringEnd == -1 sentinel) ------------------

mcdc_spec_witnesses_test.go:1558

FunctionTestMCDC_SYS_REQ_045_Row2_InvariantViolation

Verifies: SYS-REQ-045 MCDC SYS-REQ-045: caller_handles_stringEnd_sentinel=F, stringEnd_returns_negative_one=T => FALSE

mcdc_spec_witnesses_test.go:1570

FunctionTestMCDC_SYS_REQ_045_Row3_SentinelHandled

Verifies: SYS-REQ-045 MCDC SYS-REQ-045: caller_handles_stringEnd_sentinel=T, stringEnd_returns_negative_one=T => TRUE

mcdc_spec_witnesses_test.go:1581

FunctionTestMCDC_SYS_REQ_046_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-046 (caller handles blockEnd == -1 sentinel) -------------------

mcdc_spec_witnesses_test.go:1593

FunctionTestMCDC_SYS_REQ_046_Row2_InvariantViolation

Verifies: SYS-REQ-046 MCDC SYS-REQ-046: blockEnd_returns_negative_one=T, caller_handles_blockEnd_sentinel=F => FALSE

mcdc_spec_witnesses_test.go:1605

FunctionTestMCDC_SYS_REQ_046_Row3_SentinelHandled

Verifies: SYS-REQ-046 MCDC SYS-REQ-046: blockEnd_returns_negative_one=T, caller_handles_blockEnd_sentinel=T => TRUE

mcdc_spec_witnesses_test.go:1615

FunctionTestMCDC_SYS_REQ_047_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-047 (negative array index returns not-found) -------------------

mcdc_spec_witnesses_test.go:1627

FunctionTestMCDC_SYS_REQ_047_Row2_InvariantViolation

Verifies: SYS-REQ-047 MCDC SYS-REQ-047: path_segment_is_negative_array_index=T, returns_not_found_for_negative_array_index=F => FALSE

mcdc_spec_witnesses_test.go:1639

FunctionTestMCDC_SYS_REQ_047_Row3_NegativeNotFound

Verifies: SYS-REQ-047 MCDC SYS-REQ-047: path_segment_is_negative_array_index=T, returns_not_found_for_negative_array_index=T => TRUE

mcdc_spec_witnesses_test.go:1649

FunctionTestMCDC_SYS_REQ_048_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-048 (Delete on truncated-at-value-boundary input) --------------

mcdc_spec_witnesses_test.go:1662

FunctionTestMCDC_SYS_REQ_048_Row2_InvariantViolationPanic

Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=F, delete_input_is_truncated_at_value_boundary=T, delete_ret

mcdc_spec_witnesses_test.go:1672

FunctionTestMCDC_SYS_REQ_048_Row3_InvariantViolationOriginal

Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=F, delete_input_is_truncated_at_value_boundary=T, delete_ret

mcdc_spec_witnesses_test.go:1684

FunctionTestMCDC_SYS_REQ_048_Row4_InvariantViolationNoPanic

Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=T, delete_input_is_truncated_at_value_boundary=T, delete_ret

mcdc_spec_witnesses_test.go:1694

FunctionTestMCDC_SYS_REQ_048_Row5_TruncatedValue

Verifies: SYS-REQ-048 MCDC SYS-REQ-048: delete_completes_without_panic_on_truncated_value=T, delete_input_is_truncated_at_value_boundary=T, delete_ret

mcdc_spec_witnesses_test.go:1704

FunctionTestMCDC_SYS_REQ_049_Row1_TriggerFalse

----------------------------------------------------------------------------- SYS-REQ-049 (Delete propagates internalGet parse error) FRETish: !delete

mcdc_spec_witnesses_test.go:1719

FunctionTestMCDC_SYS_REQ_049_Row2_InvariantViolation

Verifies: SYS-REQ-049 MCDC SYS-REQ-049: delete_discards_internalGet_error=T, delete_propagates_internalGet_error=F => FALSE

mcdc_spec_witnesses_test.go:1729

← previous next →501–600 of 1,014, ranked by callers