/*
 * This file is covered by the terms of the Common Public License v1.0.
 *
 * Copyright (c) SZEDER Gábor
 *
 * Parts of this software were developed within the JEOPARD research
 * project, which received funding from the European Union's Seventh
 * Framework Programme under grant agreement No. 216682.
 */

package de.fzi.cjunit;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.METHOD})
public @interface ConcurrentTest {
}

@@ -591,10 +591,398 @@
 tTest %7B%0A
+%09/**%0A%09 * Default empty exception%0A%09 */%0A%09static class None extends Throwable %7B%0A%09%09private static final long serialVersionUID= 1L;%0A%09%09private None() %7B%0A%09%09%7D%0A%09%7D%0A%0A%09/**%0A%09 * Optionally specify %3Ccode%3Eexpected%3C/code%3E, a Throwable, to cause a%0A%09 * test method to succeed if an exception of the specified class is%0A%09 * thrown by the method.%0A%09 */%0A%09Class%3C? extends Throwable%3E expected() default None.class;%0A
 %7D%0A

Add exception specification to ConcurrentTest annotation