Index of /~leavens/JML-release/org/jmlspecs/samples/prelimdesign
Name
Last modified
Size
Description
Parent Directory
-
Account.java
2009-02-17 14:42
2.3K
Account.jml
2009-02-17 14:42
3.1K
Account_JML_TestData.java
2009-02-17 14:42
11K
BankAccount.jml
2009-02-17 14:42
2.8K
IntMathOps.java
2009-02-17 14:42
1.7K
IntMathOps2.java
2009-02-17 14:42
1.0K
IntMathOps2.jml-refined
2009-02-17 14:42
1.2K
IntMathOps2_JML_TestData.java
2009-02-17 14:42
6.3K
IntMathOps3.java
2009-02-17 14:42
1.0K
IntMathOps4.java
2009-02-17 14:42
1.4K
IntMathOps4_JML_TestData.java
2009-02-17 14:42
6.3K
IntMathOps_JML_TestData.java
2009-02-17 14:42
6.3K
Makefile
2009-02-17 14:42
1.4K
Money.java
2009-02-17 14:42
2.4K
MoneyAC.java
2009-02-17 14:42
1.5K
MoneyComparable.java
2009-02-17 14:42
1.7K
MoneyComparableAC.java
2009-02-17 14:42
1.5K
MoneyOps.java
2009-02-17 14:42
3.0K
PlusAccount.java
2009-02-17 14:42
2.4K
PlusAccount.jml
2009-02-17 14:42
6.4K
PlusAccount_JML_TestData.java
2009-02-17 14:42
11K
Point2D.java
2009-02-17 14:42
2.2K
Point2D_JML_TestData.java
2009-02-17 14:42
8.2K
USMoney.java
2009-02-17 14:42
1.8K
USMoney_JML_TestData.java
2009-02-17 14:42
12K
package.html
2009-02-17 14:42
680
Account.class
2009-03-16 13:11
1.4K
IntMathOps.class
2009-03-16 13:11
332
IntMathOps2.class
2009-03-16 13:11
334
IntMathOps3.class
2009-03-16 13:11
334
IntMathOps4.class
2009-03-16 13:11
334
Money.class
2009-03-16 13:11
280
MoneyAC.class
2009-03-16 13:11
709
MoneyComparable.class
2009-03-16 13:11
339
MoneyComparableAC.class
2009-03-16 13:11
918
MoneyOps.class
2009-03-16 13:11
377
PlusAccount.class
2009-03-16 13:11
1.8K
Point2D.class
2009-03-16 13:11
618
USMoney.class
2009-03-16 13:11
1.1K
classes.stamp
2009-03-16 13:11
0
Account_JML_Test.java
2009-03-16 13:16
24K
IntMathOps2_JML_Test.java
2009-03-16 13:17
8.3K
IntMathOps_JML_Test.java
2009-03-16 13:17
8.3K
IntMathOps4_JML_Test.java
2009-03-16 13:17
8.3K
PlusAccount_JML_Test.java
2009-03-16 13:17
32K
USMoney_JML_Test.java
2009-03-16 13:17
48K
Account_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
Account_JML_Test$TestAccount.class
2009-03-16 13:17
1.4K
Account_JML_Test$TestBalance.class
2009-03-16 13:17
1.2K
Account_JML_Test$TestDeposit.class
2009-03-16 13:17
1.5K
Account_JML_Test$TestPayInterest.class
2009-03-16 13:17
1.3K
Account_JML_Test$TestToString.class
2009-03-16 13:17
1.1K
Account_JML_Test$TestWithdraw.class
2009-03-16 13:17
1.5K
Account_JML_Test.class
2009-03-16 13:17
7.2K
Account_JML_TestData$1.class
2009-03-16 13:17
828
Account_JML_TestData$2.class
2009-03-16 13:17
641
Account_JML_TestData$3.class
2009-03-16 13:17
1.0K
Account_JML_TestData.class
2009-03-16 13:17
2.0K
IntMathOps2_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
IntMathOps2_JML_Test$TestIsqrt.class
2009-03-16 13:17
1.1K
IntMathOps2_JML_Test.class
2009-03-16 13:17
3.7K
IntMathOps2_JML_TestData$1.class
2009-03-16 13:17
570
IntMathOps2_JML_TestData.class
2009-03-16 13:17
1.1K
IntMathOps4_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
IntMathOps4_JML_Test$TestIsqrt.class
2009-03-16 13:17
1.1K
IntMathOps4_JML_Test.class
2009-03-16 13:17
3.7K
IntMathOps4_JML_TestData$1.class
2009-03-16 13:17
560
IntMathOps4_JML_TestData.class
2009-03-16 13:17
1.1K
IntMathOps_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
IntMathOps_JML_Test$TestIsqrt.class
2009-03-16 13:17
1.1K
IntMathOps_JML_Test.class
2009-03-16 13:17
3.7K
IntMathOps_JML_TestData$1.class
2009-03-16 13:17
556
IntMathOps_JML_TestData.class
2009-03-16 13:17
1.1K
PlusAccount_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
PlusAccount_JML_Test$TestBalance.class
2009-03-16 13:17
1.2K
PlusAccount_JML_Test$TestDeposit.class
2009-03-16 13:17
1.5K
PlusAccount_JML_Test$TestDepositToChecking.class
2009-03-16 13:17
1.5K
PlusAccount_JML_Test$TestPayCheck.class
2009-03-16 13:17
1.5K
PlusAccount_JML_Test$TestPayInterest.class
2009-03-16 13:17
1.4K
PlusAccount_JML_Test$TestPlusAccount.class
2009-03-16 13:17
1.6K
PlusAccount_JML_Test$TestToString.class
2009-03-16 13:17
1.2K
PlusAccount_JML_Test$TestWithdraw.class
2009-03-16 13:17
1.5K
PlusAccount_JML_Test.class
2009-03-16 13:17
8.8K
PlusAccount_JML_TestData$1.class
2009-03-16 13:17
1.0K
PlusAccount_JML_TestData$2.class
2009-03-16 13:17
631
PlusAccount_JML_TestData$3.class
2009-03-16 13:17
662
PlusAccount_JML_TestData.class
2009-03-16 13:17
2.1K
Point2D_JML_Test.java
2009-03-16 13:17
21K
Point2D_JML_TestData$1.class
2009-03-16 13:17
812
Point2D_JML_TestData$2.class
2009-03-16 13:17
622
Point2D_JML_TestData.class
2009-03-16 13:17
1.6K
TestSuite.java
2009-03-16 13:17
1.4K
USMoney_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
USMoney_JML_Test$TestCents.class
2009-03-16 13:17
1.1K
USMoney_JML_Test$TestClone.class
2009-03-16 13:17
1.2K
USMoney_JML_Test$TestDollars.class
2009-03-16 13:17
1.2K
USMoney_JML_Test$TestEquals.class
2009-03-16 13:17
1.4K
USMoney_JML_Test$TestGreaterThan.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestGreaterThanOrEqualTo.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestHashCode.class
2009-03-16 13:17
1.2K
USMoney_JML_Test$TestLessThan.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestLessThanOrEqualTo.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestMinus.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestPlus.class
2009-03-16 13:17
1.5K
USMoney_JML_Test$TestScaleBy.class
2009-03-16 13:17
1.4K
USMoney_JML_Test$TestToString.class
2009-03-16 13:17
1.1K
USMoney_JML_Test$TestUSMoney$1.class
2009-03-16 13:17
1.1K
USMoney_JML_Test$TestUSMoney.class
2009-03-16 13:17
1.1K
USMoney_JML_Test.class
2009-03-16 13:17
12K
USMoney_JML_TestData$1.class
2009-03-16 13:17
592
USMoney_JML_TestData$2.class
2009-03-16 13:17
868
USMoney_JML_TestData$3.class
2009-03-16 13:17
937
USMoney_JML_TestData$4.class
2009-03-16 13:17
590
USMoney_JML_TestData.class
2009-03-16 13:17
2.6K
buildtests.stamp
2009-03-16 13:17
0
Point2D_JML_Test$OneTest.class
2009-03-16 13:17
1.6K
Point2D_JML_Test$TestGetX.class
2009-03-16 13:17
1.1K
Point2D_JML_Test$TestGetY.class
2009-03-16 13:17
1.1K
Point2D_JML_Test$TestMoveX.class
2009-03-16 13:17
1.3K
Point2D_JML_Test$TestMoveY.class
2009-03-16 13:17
1.3K
Point2D_JML_Test$TestPoint2D$1.class
2009-03-16 13:17
1.2K
Point2D_JML_Test$TestPoint2D.class
2009-03-16 13:17
780
Point2D_JML_Test.class
2009-03-16 13:17
6.5K
TestSuite$1.class
2009-03-16 13:17
400
TestSuite.class
2009-03-16 13:17
1.2K
Apache/2.4.52 (Ubuntu) Server at www.cs.ucf.edu Port 443