Update shared/util/codeql/util/Option.qll

aschackmull · erik-krogh · web-flow · commit ba5656512564 · 2022-11-30T10:55:07.000+01:00
Co-authored-by: Erik Krogh Kristensen &lt;erik-krogh@github.com&gt;
diff --git a/shared/util/codeql/util/Option.qll b/shared/util/codeql/util/Option.qll
@@ -28,6 +28,9 @@ module Option<TypeWithToString T> {
 
     /** Gets the wrapped element, if any. */
     T asSome() { this = TSome(result) }
+    
+    /** Holds if this option is the singleton `None`. */
+    predicate isNone() { this = TNone() }
   }
 
   /** The singleton `None` element. */

Original file line number	Diff line number	Diff line change
`@@ -28,6 +28,9 @@ module Option<TypeWithToString T> {`
`28`	`28`
`29`	`29`	`/** Gets the wrapped element, if any. */`
`30`	`30`	`T asSome() { this = TSome(result) }`
	`31`	`+`
	`32`	+ /** Holds if this option is the singleton `None`. */
	`33`	`+ predicate isNone() { this = TNone() }`
`31`	`34`	`}`
`32`	`35`
`33`	`36`	/** The singleton `None` element. */