Package it.unive.lisa

Annotation Type DefaultImplementation

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

An annotation defining the default implementation for an analysis component. The value of this annotation will be looked up by LiSAFactory.getDefaultFor(Class, Object...) to instantiate the appropriate class.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
java.lang.Class<?>	value	The class of the default implementation of the annotated analysis component.

Element Detail

value

java.lang.Class<?> value

The class of the default implementation of the annotated analysis component.

Returns:

the default implementation's class