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.