[Abtools-devel] SF.net SVN: abtools:[163] B2JML/org/jmlspecs/b2jml

[<wa...@us...>]

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.