cartago
Annotation Type INTERNAL_OPERATION


@Retention(value=RUNTIME)
public @interface INTERNAL_OPERATION

Annotation identifying an internal operation

Author:
aricci

Optional Element Summary
 java.lang.String guard
           
 

guard

public abstract java.lang.String guard
Default:
""


>DEIS - University of Bologna