/* Copyright (C) 1998 H. Conrad Cunningham.  All rights reserved.  */

package SoftwareInterfaces;

/**
 * A class to provide a postcondition violation exception.
 *
 * @author H. Conrad Cunningham
 * @version 1 June 1998
 */

public class PostconditionViolation extends AssertionViolation
{   
    public PostconditionViolation() {}

    public PostconditionViolation(String msg) { super(msg); }
}