[Abtools-devel] SF.net SVN: abtools:[168] BBENCH/JML

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

Revision: 168
          http://abtools.svn.sourceforge.net/abtools/?rev=168&view=rev
Author:   wahlst
Date:     2011-08-13 01:01:17 +0000 (Sat, 13 Aug 2011)

Log Message:
-----------
updated examples for B2Jml
note that machine SOCIAL_FRIENDS has been modified to treat FRIEND as
a carrier set (rather than a parameter set) because B2Jml does not yet
handle parameter sets.

Modified Paths:
--------------
    BBENCH/JML/BOUND.java
    BBENCH/JML/CARTESIAN.java
    BBENCH/JML/GIVEN.java
    BBENCH/JML/OUTPUT.java
    BBENCH/JML/SEQUENCE.java
    BBENCH/JML/SET.java
    BBENCH/JML/SOCIAL_NETWORK.java
    BBENCH/JML/SOCIAL_NETWORK.mch
    BBENCH/JML/TYPECHECK.java
    BBENCH/JML/VARTEST.java

Added Paths:
-----------
    BBENCH/JML/INTERVAL.java
    BBENCH/JML/INTERVAL.mch
    BBENCH/JML/NEST.java
    BBENCH/JML/NEST.mch
    BBENCH/JML/SOCIAL_FRIENDS.java
    BBENCH/JML/SOCIAL_FRIENDS.mch
    BBENCH/JML/SOCIAL_NETWORK.mch.back
    BBENCH/JML/SOCIAL_NETWORK_2r.java
    BBENCH/JML/SOCIAL_NETWORK_2r.mch
    BBENCH/JML/SOCIAL_NETWORK_3r.java
    BBENCH/JML/SOCIAL_NETWORK_3r.mch
    BBENCH/JML/SOCIAL_NETWORK_4r.java
    BBENCH/JML/SOCIAL_NETWORK_4r.mch
    BBENCH/JML/SOCIAL_NETWORK_r.java
    BBENCH/JML/SOCIAL_NETWORK_r.mch
    BBENCH/JML/testMachine2.java
    BBENCH/JML/testMachine2.mch


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.