Package nz.ac.vuw.ecs.swen225.gp22.domain

Annotation Interface DevMarkers.NeedsPrecons

Enclosing class:
DevMarkers
@Target({TYPE,CONSTRUCTOR,METHOD,FIELD}) @Retention(RUNTIME) public static @interface DevMarkers.NeedsPrecons
Used when an element needs to enforce preconditions.