[Abtools-devel] SF.net SVN: abtools:[163] B2JML/org/jmlspecs/b2jml
Status: Beta
Brought to you by:
jlboulanger
|
From: <wa...@us...> - 2011-08-09 22:16:40
|
Revision: 163
http://abtools.svn.sourceforge.net/abtools/?rev=163&view=rev
Author: wahlst
Date: 2011-08-09 22:16:33 +0000 (Tue, 09 Aug 2011)
Log Message:
-----------
updating library code for B2JML
- corrected implementation of Intervals
- added documentation
- added type parameters as needed
- removed print statements from test cases
Modified Paths:
--------------
B2JML/org/jmlspecs/b2jml/test/BijectionTest.java
B2JML/org/jmlspecs/b2jml/test/ModelUtilsTest.java
B2JML/org/jmlspecs/b2jml/test/PartialInjectTest.java
B2JML/org/jmlspecs/b2jml/test/PartialSurjectTest.java
B2JML/org/jmlspecs/b2jml/test/PartialTest.java
B2JML/org/jmlspecs/b2jml/test/RelationTest.java
B2JML/org/jmlspecs/b2jml/test/TotalInjectTest.java
B2JML/org/jmlspecs/b2jml/test/TotalSurjectTest.java
B2JML/org/jmlspecs/b2jml/test/TotalTest.java
B2JML/org/jmlspecs/b2jml/util/B_Types.java
B2JML/org/jmlspecs/b2jml/util/Bijection.java
B2JML/org/jmlspecs/b2jml/util/Interval.java
B2JML/org/jmlspecs/b2jml/util/ModelUtils.java
B2JML/org/jmlspecs/b2jml/util/Partial.java
B2JML/org/jmlspecs/b2jml/util/PartialInject.java
B2JML/org/jmlspecs/b2jml/util/PartialSurject.java
B2JML/org/jmlspecs/b2jml/util/Relation.java
B2JML/org/jmlspecs/b2jml/util/Seq.java
B2JML/org/jmlspecs/b2jml/util/Set.java
B2JML/org/jmlspecs/b2jml/util/Total.java
B2JML/org/jmlspecs/b2jml/util/TotalInject.java
B2JML/org/jmlspecs/b2jml/util/TotalSurject.java
Added Paths:
-----------
B2JML/org/jmlspecs/b2jml/test/IntervalTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|