The key associated with every FactoryMethod property.
The key associated with every FactoryMethod property.
It contains the unique name of the property and the default property that
will be used if no analysis is able to (directly) compute the respective property.
IsFactoryMethod is chosen as default because we have to define a sound default value for
all depended analyses.
A companion object for the ProjectAccessibility trait. It holds the key, which is shared by all properties derived from the ProjectAccessibility property, as well as it defines defines the (sound) fall back if the property is not computed but requested by another analysis.