package-info.java

// Copyright (c) 2011, David J. Pearce (djp@ecs.vuw.ac.nz)
// All rights reserved.
//
// This software may be modified and distributed under the terms
// of the BSD license.  See the LICENSE file for details.


/**
 * <p>
 * Provides classes responsible for validity checking of WYIL modules. For
 * example, that every variable is defined before being used (
 * <code>DefinitieAssignmenttCheck</code>), or that there are no ambiguous
 * coercions (<code>CoercionCheck</code>).
 * </p>
 *
 * @author David J. Pearce
 */
package wyil.checks;