1 /* 2 * Created on 30-mar-2006 3 * 4 */ 5 package org.state4j.exceptions; 6 7 public class PreconditionViolatedException extends LogicErrorException { 8 public PreconditionViolatedException() { 9 super(); 10 // @TODO Auto-generated constructor stub 11 } 12 13 public PreconditionViolatedException(String arg0) { 14 super(arg0); 15 // @TODO Auto-generated constructor stub 16 } 17 18 public PreconditionViolatedException(String arg0, Throwable arg1) { 19 super(arg0, arg1); 20 // @TODO Auto-generated constructor stub 21 } 22 23 public PreconditionViolatedException(Throwable arg0) { 24 super(arg0); 25 // @TODO Auto-generated constructor stub 26 } 27 }