Automatically-generated test driver for JML and JUnit based
testing of QueueEntry. The superclass of this class should be edited
to supply test data. However it's best not to edit this class
directly; instead use the command

QueueEntry_JML_Test

main

suite

public static junit.framework.Test suite()

Return the test suite for this test class. This will have
added to it at least test$IsRACCompiled(), and any test methods
written explicitly by the user in the superclass. It will also
have added test suites for each testing each method and
constructor.

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.