Member predicate ClassAggregateLiteral::isInitialized
Holds if the field field
is initialized by this initializer list, either
explicitly with an expression, or implicitly value initialized.
predicate isInitialized(Field field)
Holds if the field field
is initialized by this initializer list, either
explicitly with an expression, or implicitly value initialized.
predicate isInitialized(Field field)