package fr.inria.jtanre.rt.out;

public class TestCategories {

	public static final String TYPE_ROTTEN = "type";

	public static final String SMOKE_TEST = "Smoke_Test";

	public static final String TEST_MISSED_FAIL = "Rotten_Missed_Fail";

	public static final String TEST_WITH_REDUNDANT_ASSERTION = "Test_Redundant_Assertion";

	public static final String TEST_WITH_EXCEPTION = "Test_with_Exception";

	public static final String ROTTEN_SKIP = "Rotten_Skip";

	public static final String ROTTEN_CONTEXT_DEP_HELPERS_CALL = "Context_Dep_Rotten_Helpers_Call";

	public static final String ROTTEN_CONTEXT_DEP_HELPERS_ASSERTION = "Context_Dep_Rotten_Helpers_Assertion";

	public static final String ROTTEN_CONTEXT_DEP_ASSERTIONS = "Context_Dep_Rotten_Assertions";

	public static final String ROTTEN_CONTEXT_DEP = "Context_Dep_Rotten";

	// The fulls

	public static final String FULL_ROTTEN_TEST = "Full_Rotten_Test";

	public static final String FULL_ROTTEN_TEST_HELPERS_CALL = "Full_Rotten_Test_Rotten_Helpers_Call";

	public static final String FULL_ROTTEN_TEST_HELPERS_ASSERTION = "Full_Rotten_Test_Rotten_Helpers_Assertion";

	public static final String FULL_ROTTEN_TEST_ASSERTIONS = "Full_Rotten_Test_Rotten_Assertions";

	public static final String TEST_HAS_CONTROL_FLOW_STMT = "Test_with_Control_flow_stmt";

	public static final String TEST_HAS_HELPER_CALL = "Test_with_Helper";
}
