Package it.unive.lisa

Annotation Type FallbackImplementation

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

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