edu.illinois.imunit
Annotation Type Schedule


@Target(value=METHOD)
@Retention(value=RUNTIME)
public @interface Schedule

Schedule annotation. Consists of an (optional) name and (mandatory) value that specifies the schedule as a comma separated list of orderings.

The grammar for specifying the schedule is as follows:

Schedule ::= { Ordering "," } Ordering
Ordering ::= Event "->" BasicEvent
Event ::= BasicEvent | BlockEvent
BasicEvent ::= EventName [ "@" ThreadName ]
BlockEvent ::= "[" EventName [ ":" EventName ] "]" [ "@" ThreadName ]
EventName ::= { Id "." } Id
ThreadName ::= Id

Author:
Vilas Jagannath (vbangal2@illinois.edu),
Milos Gligoric (gliga@illinois.edu),
Dongyun Jin (djin3@illinois.edu),
Qingzhou Luo (qluo2@illinois.edu).

Required Element Summary
 java.lang.String value
           
 
Optional Element Summary
 java.lang.String name
           
 

Element Detail

value

public abstract java.lang.String value

name

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


Copyright © 2011 University of Illinois at Urbana-Champaign. All Rights Reserved.