|
| From: | Christian Gierds |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src ast-postprocess.k ast-to-cfg.k as... |
| Date: | Wed, 17 Jan 2007 14:45:45 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Christian Gierds <gierds> 07/01/17 14:45:45
Modified files:
src : ast-postprocess.k ast-to-cfg.k ast-tools.cc
ast-tools.h cfg.cc cfg.h debug.cc
Log message:
+ added check for SA00071
+ added termination handler to CFG
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.121&r2=1.122
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-cfg.k?cvsroot=bpel2owfn&r1=1.48&r2=1.49
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.cc?cvsroot=bpel2owfn&r1=1.55&r2=1.56
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.h?cvsroot=bpel2owfn&r1=1.26&r2=1.27
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/cfg.cc?cvsroot=bpel2owfn&r1=1.42&r2=1.43
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/cfg.h?cvsroot=bpel2owfn&r1=1.25&r2=1.26
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/debug.cc?cvsroot=bpel2owfn&r1=1.52&r2=1.53
| [Prev in Thread] | Current Thread | [Next in Thread] |