Package it.unive.lisa

Annotation Type DefaultImplementation

@Retention(RUNTIME)
@Target(TYPE)
public @interface DefaultImplementation

Annotation that lets one define default implementations for analysis components. LiSAFactory.getDefaultFor(Class, Object...) will search for subtypes of the given class that are annotated with this annotation to create compatible implementations. If none is found, LiSAFactory will instead search for types annotated as FallbackImplementation, an annotation reserved for LiSA to define its own defaults.