Member predicate Property :: hasInitializer
Holds if this property has an initial value. For example, the initial
value of P
on line 2 is 20
in
class C {
public int P { get; set; } = 20;
}
predicate
hasInitializer
(
)