org.opalj.fpcf.analysis
Determines if a field is always initialized at most once or if a field is or can be mutated after (lazy) initialization.
Determines if a field is always initialized at most once or if a field is or can be mutated after (lazy) initialization.