Index of /~leavens/JML-release/org/jmlspecs/samples/prelimdesign

      Name                    Last modified       Size  Description

[DIR] Parent Directory 20-May-2008 17:43 - [   ] Account.class 20-May-2008 17:38 1k [   ] Account.java 10-Jan-2004 07:17 2k [   ] Account.jml 01-Jul-2007 10:39 3k [   ] Account_JML_Test$One..> 20-May-2008 17:43 2k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Account_JML_Test.class 20-May-2008 17:43 7k [   ] Account_JML_Test.java 20-May-2008 17:43 24k [   ] Account_JML_TestData..> 20-May-2008 17:43 1k [   ] Account_JML_TestData..> 20-May-2008 17:43 1k [   ] Account_JML_TestData..> 20-May-2008 17:43 1k [   ] Account_JML_TestData..> 20-May-2008 17:43 2k [   ] Account_JML_TestData..> 22-Jan-2004 15:01 11k [   ] BankAccount.jml 18-Dec-2002 07:08 3k [   ] IntMathOps.class 20-May-2008 17:38 1k [   ] IntMathOps.java 04-Dec-2005 13:09 2k [   ] IntMathOps2.class 20-May-2008 17:38 1k [   ] IntMathOps2.java 02-Jul-2003 16:52 1k [   ] IntMathOps2.jml-refined 05-Dec-2005 17:30 1k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 2k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 4k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 8k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps2_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps2_JML_Test..> 04-Dec-2005 13:09 6k [   ] IntMathOps3.class 20-May-2008 17:38 1k [   ] IntMathOps3.java 29-Apr-2003 19:11 1k [   ] IntMathOps4.class 20-May-2008 17:38 1k [   ] IntMathOps4.java 04-Dec-2005 13:09 1k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 2k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 4k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 8k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps4_JML_Test..> 20-May-2008 17:43 1k [   ] IntMathOps4_JML_Test..> 04-Dec-2005 13:09 6k [   ] IntMathOps_JML_Test$..> 20-May-2008 17:43 2k [   ] IntMathOps_JML_Test$..> 20-May-2008 17:43 1k [   ] IntMathOps_JML_Test...> 20-May-2008 17:43 4k [   ] IntMathOps_JML_Test...> 20-May-2008 17:43 8k [   ] IntMathOps_JML_TestD..> 20-May-2008 17:43 1k [   ] IntMathOps_JML_TestD..> 20-May-2008 17:43 1k [   ] IntMathOps_JML_TestD..> 04-Dec-2005 13:09 6k [   ] Makefile 04-Dec-2005 13:09 1k [   ] Money.class 20-May-2008 17:38 1k [   ] Money.java 23-Dec-2005 12:02 2k [   ] MoneyAC.class 20-May-2008 17:38 1k [   ] MoneyAC.java 23-Dec-2005 12:02 2k [   ] MoneyComparable.class 20-May-2008 17:38 1k [   ] MoneyComparable.java 31-Oct-2003 19:39 2k [   ] MoneyComparableAC.class 20-May-2008 17:38 1k [   ] MoneyComparableAC.java 27-Nov-2005 22:52 1k [   ] MoneyOps.class 20-May-2008 17:38 1k [   ] MoneyOps.java 01-Jul-2007 10:39 3k [   ] PlusAccount.class 20-May-2008 17:38 2k [   ] PlusAccount.java 11-Jul-2005 17:28 2k [   ] PlusAccount.jml 01-Jul-2007 10:39 6k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 9k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 32k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 1k [   ] PlusAccount_JML_Test..> 20-May-2008 17:43 2k [   ] PlusAccount_JML_Test..> 22-Jan-2004 15:01 11k [   ] Point2D.class 20-May-2008 17:38 1k [   ] Point2D.java 27-Nov-2005 22:52 2k [   ] Point2D_JML_Test$One..> 20-May-2008 17:43 2k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] Point2D_JML_Test.class 20-May-2008 17:43 6k [   ] Point2D_JML_Test.java 20-May-2008 17:43 21k [   ] Point2D_JML_TestData..> 20-May-2008 17:43 1k [   ] Point2D_JML_TestData..> 20-May-2008 17:43 1k [   ] Point2D_JML_TestData..> 20-May-2008 17:43 2k [   ] Point2D_JML_TestData..> 22-Jan-2004 15:01 8k [   ] TestSuite$1.class 20-May-2008 17:43 1k [   ] TestSuite.class 20-May-2008 17:43 1k [   ] TestSuite.java 20-May-2008 17:43 1k [   ] USMoney.class 20-May-2008 17:38 1k [   ] USMoney.java 01-Jul-2007 10:19 2k [   ] USMoney_JML_Test$One..> 20-May-2008 17:43 2k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 2k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 2k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test$Tes..> 20-May-2008 17:43 1k [   ] USMoney_JML_Test.class 20-May-2008 17:43 12k [   ] USMoney_JML_Test.java 20-May-2008 17:43 48k [   ] USMoney_JML_TestData..> 20-May-2008 17:43 1k [   ] USMoney_JML_TestData..> 20-May-2008 17:43 1k [   ] USMoney_JML_TestData..> 20-May-2008 17:43 1k [   ] USMoney_JML_TestData..> 20-May-2008 17:43 1k [   ] USMoney_JML_TestData..> 20-May-2008 17:43 3k [   ] USMoney_JML_TestData..> 22-Jan-2004 15:01 12k [   ] buildtests.stamp 20-May-2008 17:43 0k [   ] classes.stamp 20-May-2008 17:38 0k [TXT] package.html 18-Nov-2003 23:54 1k

Apache/1.3.41 Server at www.eecs.ucf.edu Port 80