Class JavaPropertyOption
An option type that is either a singleton None or a Some wrapping
the JavaProperty type.
Import path
import semmle.code.java.security.SpringBootActuatorsConfigQueryDirect supertypes
Predicates
| asSome | Gets the wrapped element, if any. |
| getLocation | Gets the location of this element. |
| isNone | Holds if this option is the singleton |
| toString | Gets a textual representation of this element. |