@Documented @Retention(value=RUNTIME) @Target(value=TYPE) public @interface Regions
Region annotations. It is a
modeling error for a class to have both a Regions and a
Region annotation.
Region declarations without imposing any
further constraint on the program's implementation.
@Regions({
@Region("private SetRegion"),
@Region("protected ObserverRegion")
})
class Example { ... }
@annotate tags of the same type (see the example below).
Javadoc annotation can be useful for Java 1.4 code which does not include
language support for annotations.
/**
* @annotate Region("private SetRegion")
* @annotate Region("protected ObserverRegion")
*/
class Example { ... }
RegionCopyright © 2012 Surelogic, Inc.. All Rights Reserved.