Sort Optional models

Author: smowton

java/ql/lib/semmle/code/java/frameworks/Optional.qll

@@ -7,24 +7,24 @@ private class OptionalModel extends SummaryModelCsv {
     s =
       [
         "java.util;Optional;false;filter;;;Element of Argument[-1];Element of ReturnValue;value",
+        "java.util;Optional;false;filter;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
+        "java.util;Optional;false;flatMap;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
+        "java.util;Optional;false;flatMap;;;ReturnValue of Argument[0];ReturnValue;value",
         "java.util;Optional;false;get;;;Element of Argument[-1];ReturnValue;value",
+        "java.util;Optional;false;ifPresent;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
+        "java.util;Optional;false;ifPresentOrElse;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
+        "java.util;Optional;false;map;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
+        "java.util;Optional;false;map;;;ReturnValue of Argument[0];Element of ReturnValue;value",
         "java.util;Optional;false;of;;;Argument[0];Element of ReturnValue;value",
         "java.util;Optional;false;ofNullable;;;Argument[0];Element of ReturnValue;value",
         "java.util;Optional;false;or;;;Element of Argument[-1];Element of ReturnValue;value",
+        "java.util;Optional;false;or;;;ReturnValue of Argument[0];ReturnValue;value",
         "java.util;Optional;false;orElse;;;Element of Argument[-1];ReturnValue;value",
         "java.util;Optional;false;orElse;;;Argument[0];ReturnValue;value",
         "java.util;Optional;false;orElseGet;;;Element of Argument[-1];ReturnValue;value",
+        "java.util;Optional;false;orElseGet;;;ReturnValue of Argument[0];ReturnValue;value"
         "java.util;Optional;false;orElseThrow;;;Element of Argument[-1];ReturnValue;value",
         "java.util;Optional;false;stream;;;Element of Argument[-1];Element of ReturnValue;value",
-        "java.util;Optional;false;ifPresent;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
-        "java.util;Optional;false;ifPresentOrElse;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
-        "java.util;Optional;false;map;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
-        "java.util;Optional;false;map;;;ReturnValue of Argument[0];Element of ReturnValue;value",
-        "java.util;Optional;false;flatMap;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
-        "java.util;Optional;false;flatMap;;;ReturnValue of Argument[0];ReturnValue;value",
-        "java.util;Optional;false;filter;;;Element of Argument[-1];Parameter[0] of Argument[0];value",
-        "java.util;Optional;false;or;;;ReturnValue of Argument[0];ReturnValue;value",
-        "java.util;Optional;false;orElseGet;;;ReturnValue of Argument[0];ReturnValue;value"
       ]
   }
 }