de.tum.in.test.api.jqwik.Hidden Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of artemis-java-test-sandbox Show documentation
Show all versions of artemis-java-test-sandbox Show documentation
The Artemis Java Test Sandbox. A JUnit 5 Extension for secure Artemis Java Testing.
package de.tum.in.test.api.jqwik;
import static java.lang.annotation.ElementType.*;
import static java.lang.annotation.RetentionPolicy.RUNTIME;
import java.lang.annotation.Documented;
import java.lang.annotation.Retention;
import java.lang.annotation.Target;
import org.apiguardian.api.API;
import org.apiguardian.api.API.Status;
import de.tum.in.test.api.Deadline;
import de.tum.in.test.api.internal.TestType;
import de.tum.in.test.api.io.IOTester;
/**
* Marks a HIDDEN test case, can declare {@link IOTester} as parameter. This
* annotation requires a {@link Deadline} annotation to be set either on the
* test class or the test method. See {@link Deadline} for more information.
*
* This annotation must be accompanied by some jqwik test annotation, it will
* not cause test execution by itself!
*
* Can be used on class level in addition to method level. This will cause all
* members of the class (e.g. test methods) to inherit this test case type,
* unless they declare another one.
*
* @see Deadline
* @author Christian Femers
* @since 0.2.0
* @version 1.1.0
*/
@API(status = Status.MAINTAINED)
@Documented
@Retention(RUNTIME)
@Target({ METHOD, ANNOTATION_TYPE, TYPE })
@JqwikArtemisTest(TestType.HIDDEN)
public @interface Hidden {
// marker only
}