Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

galois.runtime.wl
Annotation Type NeedsSize

@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface NeedsSize

Marks rules that require the next rule in rule sequence to keep track of its size.

Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT