From adb0ef8a78a515eb120d3acc5f220fc3ed690b33 Mon Sep 17 00:00:00 2001 From: Martino Luca Date: Thu, 28 Jul 2016 05:03:41 -0700 Subject: [PATCH] Alphabetize CIssue Reviewed By: dulmarod Differential Revision: D3614384 fbshipit-source-id: 30a498b --- infer/src/clang/cIssue.ml | 21 +++++++++++---------- infer/src/clang/cIssue.mli | 6 +++--- 2 files changed, 14 insertions(+), 13 deletions(-) diff --git a/infer/src/clang/cIssue.ml b/infer/src/clang/cIssue.ml index 063bf5d45..90874e105 100644 --- a/infer/src/clang/cIssue.ml +++ b/infer/src/clang/cIssue.ml @@ -9,31 +9,32 @@ type issue = | Assign_pointer_warning - | Strong_delegate_warning - | Global_variable_initialized_with_function_or_method_call - | Direct_atomic_property_access | Cxx_reference_captured_in_objc_block + | Direct_atomic_property_access + | Global_variable_initialized_with_function_or_method_call | Registered_observer_being_deallocated + | Strong_delegate_warning let to_string issue = match issue with | Assign_pointer_warning -> "ASSIGN_POINTER_WARNING" - | Strong_delegate_warning -> "STRONG_DELEGATE_WARNING" + | Cxx_reference_captured_in_objc_block -> + "CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK" + | Direct_atomic_property_access -> "DIRECT_ATOMIC_PROPERTY_ACCESS" | Global_variable_initialized_with_function_or_method_call -> "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL" - | Direct_atomic_property_access -> "DIRECT_ATOMIC_PROPERTY_ACCESS" - | Cxx_reference_captured_in_objc_block -> "CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK" | Registered_observer_being_deallocated -> Localise.to_string (Localise.registered_observer_being_deallocated) + | Strong_delegate_warning -> "STRONG_DELEGATE_WARNING" let severity_of_issue issue = match issue with | Assign_pointer_warning - | Strong_delegate_warning - | Global_variable_initialized_with_function_or_method_call - | Direct_atomic_property_access | Cxx_reference_captured_in_objc_block - | Registered_observer_being_deallocated -> Exceptions.Kwarning + | Direct_atomic_property_access + | Global_variable_initialized_with_function_or_method_call + | Registered_observer_being_deallocated + | Strong_delegate_warning -> Exceptions.Kwarning type issue_desc = { diff --git a/infer/src/clang/cIssue.mli b/infer/src/clang/cIssue.mli index e570005c4..27f1b3dcb 100644 --- a/infer/src/clang/cIssue.mli +++ b/infer/src/clang/cIssue.mli @@ -9,11 +9,11 @@ type issue = | Assign_pointer_warning - | Strong_delegate_warning - | Global_variable_initialized_with_function_or_method_call - | Direct_atomic_property_access | Cxx_reference_captured_in_objc_block + | Direct_atomic_property_access + | Global_variable_initialized_with_function_or_method_call | Registered_observer_being_deallocated + | Strong_delegate_warning val to_string : issue -> string