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

Annotation Interface DevMarkers.NeedsPostcons

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