unittests.org.acmsl.contractchecker
Class ContractcheckerSuite

java.lang.Object
  |
  +--unittests.org.acmsl.contractchecker.ContractcheckerSuite

public class ContractcheckerSuite

extends java.lang.Object

Executes all tests defined for package org.acmsl.contractchecker

Version:

$Revision: 1.2 $

See Also:

org.acmsl.contractchecker

Constructor Summary

ContractcheckerSuite()

Method Summary

static void	main(java.lang.String[] args)
static junit.framework.TestSuite	suite()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ContractcheckerSuite

public ContractcheckerSuite()

Method Detail

suite

public static junit.framework.TestSuite suite()

main

public static void main(java.lang.String[] args)