Author: fahland
Date: Fri Nov 28 17:14:43 2008
New Revision: 3635
URL: http://svn.gna.org/viewcvs/service-tech?rev=3635&view=rev
Log:
+ first step of migrating soundness analysis from "uml2owfn_soundness2-branch"
to uml2owfn v2.00:
+ extended PetriNets for this purpose (adding new member variables and
methods in a new subclass of PetriNet)
+ adapted code for PetriNet generation to use extended Petri nets
(next step: extend command-line parameters and program logic to use the new
code properly)
- removed block.cc and .h as their functionality is now provided by
internal-representation.cc and .h
Added:
branches/uml2owfn_frontend/uml2owfn/src/petrinet-formula.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet-formula.h
branches/uml2owfn_frontend/uml2owfn/src/petrinet-workflow.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet-workflow.h
Removed:
branches/uml2owfn_frontend/uml2owfn/src/block.cc
branches/uml2owfn_frontend/uml2owfn/src/block.h
Modified:
branches/uml2owfn_frontend/uml2owfn/src/AST.cc
branches/uml2owfn_frontend/uml2owfn/src/Makefile.am
branches/uml2owfn_frontend/uml2owfn/src/internal-representation.cc
branches/uml2owfn_frontend/uml2owfn/src/internal-representation.h
branches/uml2owfn_frontend/uml2owfn/src/options.cc
branches/uml2owfn_frontend/uml2owfn/src/options.h
branches/uml2owfn_frontend/uml2owfn/src/petrinet-output.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet.cc
branches/uml2owfn_frontend/uml2owfn/src/petrinet.h
branches/uml2owfn_frontend/uml2owfn/src/pnapi.h
branches/uml2owfn_frontend/uml2owfn/src/uml2owfn.cc
branches/uml2owfn_frontend/uml2owfn/tests/compiler_allformats.sh
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to [EMAIL
PROTECTED] If you want to unsubscribe or make any changes to your subscription,
please go to
https://mail.gna.org/listinfo/service-tech-commits.
