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
|
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.