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

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/03/29 14:27:40

Modified files:
        src            : ast-tools.cc ast-tools.h helpers.cc 
                         petrinet-patterns-handlers.k 
                         petrinet-patterns-structured.k 
                         ast-postprocess.k 

Log message:
        + Guarded kc::integer value calls with assert

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.cc?cvsroot=bpel2owfn&r1=1.67&r2=1.68
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.h?cvsroot=bpel2owfn&r1=1.30&r2=1.31
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/helpers.cc?cvsroot=bpel2owfn&r1=1.75&r2=1.76
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-handlers.k?cvsroot=bpel2owfn&r1=1.15&r2=1.16
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-structured.k?cvsroot=bpel2owfn&r1=1.41&r2=1.42
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.142&r2=1.143