be.kuleuven.cs.som.annotate
Annotation Type Basic

@Target(value=METHOD)
@Retention(value=SOURCE)
@Documented
@Inherited
public @interface Basic

An interface introducing the Basic annotation.

• Basic annotations apply to the basic inspectors of classes and interfaces. Basic annotations must not be used to annotate constructors or mutators.
• Basic inspectors serve to query the entire state of objects and classes. The semantics of all other methods of a class are specified directly or indirectly in terms of basic inspectors. The result returned by a basic inspector can not be specified any further.

Version:

2.0

Author:

Eric Steegmans