[BPEL2oWFN-cvs] bpel2owfn src/ast-rewrite.k src/ast-to-petrinet...

[Niels Lohmann]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Niels Lohmann <nielslohmann>    06/12/20 11:50:18

Modified files:
        src            : ast-rewrite.k ast-to-petrinet-full1.k 
                         ast-tools.cc bpel2owfn.cc options.cc options.h 
                         petrinet-output.cc petrinet-patterns-basic.k 
                         petrinet-patterns-scopes.k 
                         petrinet-patterns-structured.k 
                         petrinet-reduction.cc 
        tests          : test3 

Log message:
        + renamed parameters (see task #6239 for details)

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-rewrite.k?cvsroot=bpel2owfn&r1=1.19&r2=1.20
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-petrinet-full1.k?cvsroot=bpel2owfn&r1=1.218&r2=1.219
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.cc?cvsroot=bpel2owfn&r1=1.50&r2=1.51
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.135&r2=1.136
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.cc?cvsroot=bpel2owfn&r1=1.59&r2=1.60
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.h?cvsroot=bpel2owfn&r1=1.41&r2=1.42
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.65&r2=1.66
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-basic.k?cvsroot=bpel2owfn&r1=1.15&r2=1.16
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.16&r2=1.17
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-structured.k?cvsroot=bpel2owfn&r1=1.15&r2=1.16
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.49&r2=1.50
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/tests/test3?cvsroot=bpel2owfn&r1=1.10&r2=1.11