@@ -0,0 +1,1184 @@
+/*%0A * This file is covered by the terms of the Common Public License v1.0.%0A *%0A * Copyright (c) SZEDER G%C3%A1bor%0A *%0A * Parts of this software were developed within the JEOPARD research%0A * project, which received funding from the European Union's Seventh%0A * Framework Programme under grant agreement No. 216682.%0A */%0A%0Apackage de.fzi.cjunit;%0A%0Aimport static de.fzi.cjunit.util.LineSeparator.lineSeparator;%0A%0Aimport gov.nasa.jpf.Property;%0A%0A%0A/**%0A * This exception is thrown when a property is violated while the test is run%0A * under Java PathFinder.%0A */%0Apublic class JPFPropertyViolated extends Error %7B%0A%0A%09private static final long serialVersionUID = 1L;%0A%0A%09private Property violatedProperty;%0A%0A%09/**%0A%09 * @param violatedProperty%09the property which was violated during%0A%09 *%09%09%09%09the test run%0A%09 */%0A%09public JPFPropertyViolated(Property violatedProperty) %7B%0A%09%09super(new String(%22Property '%22%0A%09%09%09%09+ violatedProperty.getClass().getName()%0A%09%09%09%09+ %22' violated%22 + lineSeparator%0A%09%09%09%09+ violatedProperty.getErrorMessage()));%0A%09%09this.violatedProperty = violatedProperty;%0A%09%7D%0A%0A%09/**%0A%09 * @return%09the property which was violated during the test run%0A%09 */%0A%09public Property getViolatedProperty() %7B%0A%09%09return violatedProperty;%0A%09%7D%0A%7D%0A

Add JPFPropertyViolated exception class