Module `Sarif.Sarif_v_2_1_0_util`Source

Validation functions used by atdgen validator

Sourceval validate_iso8601_opt : string option -> bool

Sourceval validate_mime_type : string -> bool

Sourceval validate_mime_type_opt : string option -> bool

Sourceval validate_int64_minimum_zero : Core.Int64.t -> bool

Sourceval validate_int64_minimum_zero_opt : Core.Int64.t option -> bool

Sourceval validate_int64_minimum_one : Core.Int64.t -> bool

Sourceval validate_int64_minimum_one_opt : Core.Int64.t option -> bool

Sourceval validate_int64_minimum_minus_one : Core.Int64.t -> bool

Sourceval validate_guid : string -> bool

Sourceval validate_guid_opt : string option -> bool

Sourceval validate_dotted_quad_file_v : string -> bool

Sourceval validate_dotted_quad_file_v_opt : string option -> bool

Sourceval validate_language : string -> bool

Sourceval validate_language_opt : string option -> bool

Sourceval validate_unique : 'a list -> bool

Sourceval validate_unique_opt : 'a list option -> bool

Sourceval validate_rank : Core.Int64.t -> bool

Sourceval validate_uri : string -> bool

Sourceval validate_uri_opt : string option -> bool

Sourceval validate_list_min_size_one : 'a list -> bool

Sourceval validate_list_all_str_list : string list option -> (string -> bool) -> bool

Source

val validate_list_all_deprecated_guid_list : 
  Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item list option ->
  (Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item -> bool) ->
  bool

Sourceval validate_address : Sarif_v_2_1_0_t.address -> bool

Validator for type address

Sourceval validate_artifact : Sarif_v_2_1_0_t.artifact -> bool

Validator for type artifact

Sourceval validate_artifact_location : Sarif_v_2_1_0_t.artifact_location -> bool

Validator for type artifact_location

Sourceval validate_artifact_mimetype : Sarif_v_2_1_0_t.artifact_mimetype -> bool

Validator for type artifact_mimetype

Sourceval validate_attachment : Sarif_v_2_1_0_t.attachment -> bool

Validator for type attachment

Sourceval validate_conversion : Sarif_v_2_1_0_t.conversion -> bool

Validator for type conversion

Sourceval validate_external_properties : Sarif_v_2_1_0_t.external_properties -> bool

Validator for type external_properties

Source

val validate_external_properties_guid : 
  Sarif_v_2_1_0_t.external_properties_guid ->
  bool

Validator for type external_properties_guid

Sourceval validate_edge_traversal : Sarif_v_2_1_0_t.edge_traversal -> bool

Validator for type edge_traversal

Source

val validate_external_properties_run_guid : 
  Sarif_v_2_1_0_t.external_properties_run_guid ->
  bool

Validator for type external_properties_run_guid

Source

val validate_external_property_file_references : 
  Sarif_v_2_1_0_t.external_property_file_references ->
  bool

Validator for type external_property_file_references

Source

val validate_external_property_file_reference : 
  Sarif_v_2_1_0_t.external_property_file_reference ->
  bool

Validator for type external_property_file_reference

Source

val validate_external_property_file_reference_guid : 
  Sarif_v_2_1_0_t.external_property_file_reference_guid ->
  bool

Validator for type external_property_file_reference_guid

Sourceval validate_fix : Sarif_v_2_1_0_t.fix -> bool

Validator for type fix

Sourceval validate_graph : Sarif_v_2_1_0_t.graph -> bool

Validator for type graph

Source

val validate_graph_traversal_variant0 : 
  Sarif_v_2_1_0_t.graph_traversal_variant0 ->
  bool

Validator for type graph_traversal_variant0

Source

val validate_graph_traversal_variant1 : 
  Sarif_v_2_1_0_t.graph_traversal_variant1 ->
  bool

Validator for type graph_traversal_variant1

Sourceval validate_invocation : Sarif_v_2_1_0_t.invocation -> bool

Validator for type invocation

Sourceval validate_location : Sarif_v_2_1_0_t.location -> bool

Validator for type location

Source

val validate_location_relationship : 
  Sarif_v_2_1_0_t.location_relationship ->
  bool

Validator for type location_relationship

Sourceval validate_logical_location : Sarif_v_2_1_0_t.logical_location -> bool

Validator for type logical_location

Sourceval validate_node : Sarif_v_2_1_0_t.node -> bool

Validator for type node

Sourceval validate_notification : Sarif_v_2_1_0_t.notification -> bool

Validator for type notification

Sourceval validate_property_bag : Sarif_v_2_1_0_t.property_bag -> bool

Validator for type property_bag

Source

val validate_reporting_descriptor : 
  Sarif_v_2_1_0_t.reporting_descriptor ->
  bool

Validator for type reporting_descriptor

Source

val validate_reporting_configuration : 
  Sarif_v_2_1_0_t.reporting_configuration ->
  bool

Validator for type reporting_configuration

Source

val validate_reporting_descriptor_deprecated_guids_item : 
  Sarif_v_2_1_0_t.reporting_descriptor_deprecated_guids_item ->
  bool

Validator for type reporting_descriptor_deprecated_guids_item

Source

val validate_reporting_descriptor_guid : 
  Sarif_v_2_1_0_t.reporting_descriptor_guid ->
  bool

Validator for type reporting_descriptor_guid

Source

val validate_reporting_descriptor_relationship : 
  Sarif_v_2_1_0_t.reporting_descriptor_relationship ->
  bool

Validator for type reporting_descriptor_relationship

Source

val validate_reporting_descriptor_reference : 
  Sarif_v_2_1_0_t.reporting_descriptor_reference ->
  bool

Validator for type reporting_descriptor_reference

Source

val validate_reporting_descriptor_reference_guid : 
  Sarif_v_2_1_0_t.reporting_descriptor_reference_guid ->
  bool

Validator for type reporting_descriptor_reference_guid

Sourceval validate_region : Sarif_v_2_1_0_t.region -> bool

Validator for type region

Sourceval validate_result : Sarif_v_2_1_0_t.result -> bool

Validator for type result

Source

val validate_result_correlation_guid : 
  Sarif_v_2_1_0_t.result_correlation_guid ->
  bool

Validator for type result_correlation_guid

Sourceval validate_result_guid : Sarif_v_2_1_0_t.result_guid -> bool

Validator for type result_guid

Sourceval validate_result_provenance : Sarif_v_2_1_0_t.result_provenance -> bool

Validator for type result_provenance

Source

val validate_result_provenance_first_detection_run_guid : 
  Sarif_v_2_1_0_t.result_provenance_first_detection_run_guid ->
  bool

Validator for type result_provenance_first_detection_run_guid

Source

val validate_result_provenance_last_detection_run_guid : 
  Sarif_v_2_1_0_t.result_provenance_last_detection_run_guid ->
  bool

Validator for type result_provenance_last_detection_run_guid

Sourceval validate_run : Sarif_v_2_1_0_t.run -> bool

Validator for type run

Source

val validate_run_automation_details : 
  Sarif_v_2_1_0_t.run_automation_details ->
  bool

Validator for type run_automation_details

Sourceval validate_run_language : Sarif_v_2_1_0_t.run_language -> bool

Validator for type run_language

Source

val validate_run_automation_details_correlation_guid : 
  Sarif_v_2_1_0_t.run_automation_details_correlation_guid ->
  bool

Validator for type run_automation_details_correlation_guid

Source

val validate_run_automation_details_guid : 
  Sarif_v_2_1_0_t.run_automation_details_guid ->
  bool

Validator for type run_automation_details_guid

Sourceval validate_run_baseline_guid : Sarif_v_2_1_0_t.run_baseline_guid -> bool

Validator for type run_baseline_guid

Sourceval validate_suppression : Sarif_v_2_1_0_t.suppression -> bool

Validator for type suppression

Sourceval validate_suppression_guid : Sarif_v_2_1_0_t.suppression_guid -> bool

Validator for type suppression_guid

Sourceval validate_sarif_json_schema : Sarif_v_2_1_0_t.sarif_json_schema -> bool

Validator for type sarif_json_schema

Sourceval validate_tool : Sarif_v_2_1_0_t.tool -> bool

Validator for type tool

Sourceval validate_tool_component : Sarif_v_2_1_0_t.tool_component -> bool

Validator for type tool_component

Source

val validate_thread_flow_location : 
  Sarif_v_2_1_0_t.thread_flow_location ->
  bool

Validator for type thread_flow_location

Source

val validate_translation_metadata : 
  Sarif_v_2_1_0_t.translation_metadata ->
  bool

Validator for type translation_metadata

Source

val validate_tool_component_reference : 
  Sarif_v_2_1_0_t.tool_component_reference ->
  bool

Validator for type tool_component_reference

Source

val validate_tool_component_reference_guid : 
  Sarif_v_2_1_0_t.tool_component_reference_guid ->
  bool

Validator for type tool_component_reference_guid

Source

val validate_tool_component_dotted_quad_file_version : 
  Sarif_v_2_1_0_t.tool_component_dotted_quad_file_version ->
  bool

Validator for type tool_component_dotted_quad_file_version

Sourceval validate_tool_component_guid : Sarif_v_2_1_0_t.tool_component_guid -> bool

Validator for type tool_component_guid

Source

val validate_tool_component_language : 
  Sarif_v_2_1_0_t.tool_component_language ->
  bool

Validator for type tool_component_language

Source

val validate_version_control_details : 
  Sarif_v_2_1_0_t.version_control_details ->
  bool

Validator for type version_control_details

Sourceval validate_web_request : Sarif_v_2_1_0_t.web_request -> bool

Validator for type web_request

Sourceval validate_web_response : Sarif_v_2_1_0_t.web_response -> bool

Validator for type web_response

package sarif

Module Sarif.Sarif_v_2_1_0_utilSource

Module `Sarif.Sarif_v_2_1_0_util`Source