@Retention(value=RUNTIME) public @interface INTERNAL_OPERATION
java.lang.String
guard
public abstract java.lang.String guard
>DEIS - University of Bologna