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.