qtil
advanced-security/qtil-java 0.0.3
Search

Member predicate RecordPatternExpr::isUnrestricted

Holds if this record pattern matches any record of its type.

For example, for record R(Object o) { }, pattern R(Object o) is unrestricted, whereas pattern R(String s) is not because it matches a subset of R instances, those containing Strings.

predicate isUnrestricted()