[BPEL2oWFN-cvs] bpel2owfn src/ast-details.cc src/ast-postproces...

[Niels Lohmann]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Niels Lohmann <nielslohmann>    07/06/07 10:53:44

Modified files:
        src            : ast-details.cc ast-postprocess.k bpel2owfn.cc 
                         petrinet-patterns-basic.k 
                         petrinet-patterns-scopes.k 
        tests          : test6 
Added files:
        tests/bpel4chor: chor_paper_topology1.xml 
                         chor_paper_topology10.xml 
Removed files:
        tests/bpel4chor: chor_paper_topology.xml 

Log message:
        + The BPEL4Chor mode now faithfully runs with an arbitrary, non-zero 
(still finite...) number of instances. Please note that 1 is also such a 
number. :-p

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-details.cc?cvsroot=bpel2owfn&r1=1.129&r2=1.130
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.184&r2=1.185
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.183&r2=1.184
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-basic.k?cvsroot=bpel2owfn&r1=1.54&r2=1.55
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.48&r2=1.49
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/tests/test6?cvsroot=bpel2owfn&r1=1.2&r2=1.3
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/tests/bpel4chor/chor_paper_topology1.xml?cvsroot=bpel2owfn&rev=1.1
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/tests/bpel4chor/chor_paper_topology10.xml?cvsroot=bpel2owfn&rev=1.1
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/tests/bpel4chor/chor_paper_topology.xml?cvsroot=bpel2owfn&r1=1.2&r2=0