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

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/01/17 10:17:23

Modified files:
        src            : ast-details.cc ast-details.h ast-postprocess.k 
                         ast-tools.cc ast-tools.h debug.cc 
                         frontend-parser.yy petrinet.cc petrinet.h 

Log message:
        + added checking for SA00070
        
        * some minor changes

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-details.cc?cvsroot=bpel2owfn&r1=1.71&r2=1.72
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-details.h?cvsroot=bpel2owfn&r1=1.58&r2=1.59
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.119&r2=1.120
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.cc?cvsroot=bpel2owfn&r1=1.53&r2=1.54
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.h?cvsroot=bpel2owfn&r1=1.25&r2=1.26
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/debug.cc?cvsroot=bpel2owfn&r1=1.51&r2=1.52
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/frontend-parser.yy?cvsroot=bpel2owfn&r1=1.284&r2=1.285
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.176&r2=1.177
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.128&r2=1.129