Jürgen Doser
08d3897b87
some cleanup, mostly state machines
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6086 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-08 17:02:09 +00:00
Jürgen Doser
743110b62f
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6059 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 19:36:31 +00:00
Jürgen Doser
27d47c3457
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6050 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 16:04:11 +00:00
Jürgen Doser
364e26f1ce
adjusted build files
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6049 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 16:01:24 +00:00
Jürgen Doser
4b89536388
not used
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6048 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 15:59:58 +00:00
Jürgen Doser
dcc7a40daa
support for superroles on secureuml cartridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6047 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 14:51:26 +00:00
Jürgen Doser
a2fe623aea
auxiliary function connected_classifiers_of
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6046 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 13:32:55 +00:00
Jürgen Doser
3c058d13a5
support for roles of a subject
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6045 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 11:25:52 +00:00
Jürgen Doser
f86a3d368d
support for subjects in secureuml cartridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6044 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-07 10:53:21 +00:00
Jürgen Doser
cb6a9df457
work on secureuml cartridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6035 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-06 16:30:31 +00:00
Jürgen Doser
83fd9e3a27
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6030 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-05 17:44:37 +00:00
Jürgen Doser
588d1c50a9
changed some error messages
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5979 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-29 16:14:56 +00:00
Jürgen Doser
5394f456ca
only transform navigable association ends, changed exception handling
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5947 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-25 16:26:11 +00:00
Jürgen Doser
4b95bb46ca
typo
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5935 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-23 09:54:52 +00:00
Jürgen Doser
451a709fbe
some work on codegen for secureuml
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5933 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-22 16:31:26 +00:00
Jürgen Doser
29f3d7cfc1
long due update
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5915 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-19 15:38:03 +00:00
Jürgen Doser
c3a5540bd0
long due update
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5914 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-19 15:37:33 +00:00
Jürgen Doser
a51a155041
adjusted signal events
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5905 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-18 16:25:26 +00:00
Jürgen Doser
a3ca4d56c5
generate some more constraints
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5904 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-18 16:24:50 +00:00
Jürgen Doser
a2aae3ec8a
support for enumeration literals, parameters of signale events, and some other minor things
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5903 3260e6d1-4efc-4170-b0a7-36055960796d
2007-01-18 16:24:10 +00:00
Achim D. Brucker
fda5952174
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5829 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-22 22:20:36 +00:00
Achim D. Brucker
4c1bcc95ab
imported first development of Manfred
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5824 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-22 17:10:00 +00:00
Jürgen Doser
9a217f2ad9
transform from XMI.Interface to Rep.Interface
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5821 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-22 13:47:55 +00:00
Achim D. Brucker
444a097d04
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5783 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-15 13:37:14 +00:00
Jürgen Doser
4344beecf3
very simple syntax highlighting for template files in emacs
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5780 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-15 11:49:49 +00:00
Jürgen Doser
cd565ab21c
check parentName against oclLib.OclAny
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5778 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-15 11:36:55 +00:00
Achim D. Brucker
0ed1a82b2e
merge brach: changing type of classfier names from "Path" to "OclType".
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5773 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-15 06:52:09 +00:00
Jürgen Doser
17094f471e
diff says it best:
...
- val attValue = UniChar.Vector2String v
+ val attValue = UniChar.Data2String (UniChar.Vector2Data v)
Reason: UniChar.Vector2String is actually a "convenience function" that outputs
strings with at most 48 chars. xmi.id's in ArgoUML however are now regularly
longer than that. Args....
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5767 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-14 14:18:27 +00:00
Achim D. Brucker
bf52c7c4b7
for Isabelle: automated ML System setup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5734 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-12 08:33:26 +00:00
Jürgen Doser
969ae9dbd1
vergessen...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5721 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-11 10:05:34 +00:00
Achim D. Brucker
dbca184faf
disabled (missing) JUnit cartdridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5719 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-10 20:16:12 +00:00
Achim D. Brucker
a8b7ab52af
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5713 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-10 14:24:18 +00:00
Jürgen Doser
a99a3d089c
some documentation fixes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5702 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-08 17:16:33 +00:00
Jürgen Doser
edb7b857e2
empty setup for junit codegen
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5701 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-08 13:27:17 +00:00
Jürgen Doser
0c657a4820
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5700 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-08 13:26:24 +00:00
Achim D. Brucker
40a34c6337
chaned OCL Package to oclLib
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5666 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-05 19:39:20 +00:00
Achim D. Brucker
c71758067a
added some missing operations
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5653 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-05 12:01:24 +00:00
Achim D. Brucker
92cd6ce299
made several functions template-aware
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5652 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-05 12:00:50 +00:00
Jürgen Doser
1207cb04bd
adjusted mlb file used by uml2cdl
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5651 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-05 11:47:24 +00:00
Jürgen Doser
4571021105
removed unused xmiidref call (which can fail)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5650 3260e6d1-4efc-4170-b0a7-36055960796d
2006-12-05 11:46:36 +00:00
Jürgen Doser
bf19bf2432
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5570 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-10 15:56:37 +00:00
Jürgen Doser
f10a4dec47
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5566 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-09 16:17:47 +00:00
Jürgen Doser
e432efcb1c
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5565 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-09 16:17:09 +00:00
Jürgen Doser
79295cd93a
fixed declaration syntax
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5562 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-08 11:11:42 +00:00
Achim D. Brucker
cf9c038363
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5561 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-08 09:03:19 +00:00
Jürgen Doser
1b7ab84152
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5540 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-03 17:20:27 +00:00
Jürgen Doser
ddeeac9614
more work
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5536 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-02 17:12:53 +00:00
Jürgen Doser
653b79d151
reversed output of cs_list, added output for CollectionLiterals
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5535 3260e6d1-4efc-4170-b0a7-36055960796d
2006-11-02 17:11:46 +00:00
Jürgen Doser
37834d6811
more work
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5525 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-31 16:56:42 +00:00
Jürgen Doser
e93207c17d
more work
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5522 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-30 16:38:42 +00:00
Jürgen Doser
42535da44d
actually convert let-exps into rep
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5518 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-30 10:21:20 +00:00
Jürgen Doser
214ebf3b98
take variable name inside let-exps from variable, not from let-exp...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5517 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-30 10:20:47 +00:00
Jürgen Doser
0cf0e16b30
Better error msgs for nonexisting attributes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5516 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-30 10:20:14 +00:00
Jürgen Doser
78780b5ff9
Do not require initial values of attributes to be specified in OCL.
...
We still only recognize them when specified in OCL, but we do not abort otherwise, we just ignore them now.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5515 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-30 09:09:43 +00:00
Jürgen Doser
852c559c24
codegen now falls back to su4sml_home, when $CODEGEN_HOME is not defined
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5511 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-27 14:03:31 +00:00
Jürgen Doser
1b23e52a76
started work on su2holocl transformation
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5505 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-26 15:31:46 +00:00
Jürgen Doser
c475221df5
primitive hack to support TYPE::allInstances()
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5455 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-19 13:33:02 +00:00
Jürgen Doser
3ba0df156e
minor error message improvement
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5454 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-19 13:02:54 +00:00
Jürgen Doser
8351ae7cfe
restructuring. should give better error messages now
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5446 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-18 17:38:47 +00:00
Jürgen Doser
badb3a7342
some restructuring
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5431 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-17 15:10:32 +00:00
Jürgen Doser
679f1b4cc5
reactivated codegen support for componentuml
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5420 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-12 08:18:53 +00:00
Achim D. Brucker
1f76d533a8
added OclLib (package: UML_OCL) implementation
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5397 3260e6d1-4efc-4170-b0a7-36055960796d
2006-10-04 08:03:29 +00:00
Achim D. Brucker
f3947ff40f
resolved name clash with datatype constructor (Isabelle-related)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5388 3260e6d1-4efc-4170-b0a7-36055960796d
2006-09-30 04:40:50 +00:00
Jürgen Doser
802f085a5f
mainly some code cleanups and documentation additions
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5383 3260e6d1-4efc-4170-b0a7-36055960796d
2006-09-28 08:55:36 +00:00
Jürgen Doser
8b1fb88f41
fixed build files (ROOT.ML and su4sm.cm) to include statemachine cartridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5382 3260e6d1-4efc-4170-b0a7-36055960796d
2006-09-28 08:53:11 +00:00
Jürgen Doser
c13e2fe7b8
fixed build files (ROOT.ML and su4sm.cm) to include statemachine cartridge
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5381 3260e6d1-4efc-4170-b0a7-36055960796d
2006-09-28 08:50:48 +00:00
Jürgen Doser
7806e60666
added code for statemachine generator from Rolf
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5365 3260e6d1-4efc-4170-b0a7-36055960796d
2006-09-25 15:53:22 +00:00
Achim D. Brucker
eb55357e00
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4598 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-29 10:18:26 +00:00
Jürgen Doser
9811dcc1f6
some cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4556 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-17 17:23:26 +00:00
Jürgen Doser
8553dced2d
ups. fixed syntax error...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4555 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-17 10:36:48 +00:00
Jürgen Doser
5516ce4fea
fixed bug in handling composite actions
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4554 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-17 10:19:49 +00:00
Jürgen Doser
2e6e913e5c
more work...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4551 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-16 14:44:25 +00:00
Jürgen Doser
9fb8dba9f1
type-checking and running, but producing wrong results...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4520 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-09 16:04:43 +00:00
Jürgen Doser
287aef041a
hack to handle typing problem with @pre
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4519 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-09 13:17:45 +00:00
Jürgen Doser
3544007bb5
only store association end name in table, not the whole path
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4514 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-09 09:33:16 +00:00
Jürgen Doser
09d5268600
more work on parsing secureuml stereotypes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4511 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-08 12:45:24 +00:00
Jürgen Doser
292d425356
allow unnamed association ends (name is generated from associated class) and better handling of association classes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4510 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-08 12:44:07 +00:00
Jürgen Doser
bc2aea45c4
more work and cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4495 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-04 15:22:13 +00:00
Jürgen Doser
fa80539581
started to parse SecureUML stereotypes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4485 3260e6d1-4efc-4170-b0a7-36055960796d
2006-05-03 17:29:43 +00:00
Achim D. Brucker
dfb52793e3
added some utility methods
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4461 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-28 08:14:04 +00:00
Achim D. Brucker
0289211732
added some utility methods
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4460 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-28 08:12:27 +00:00
Jürgen Doser
67ffc91aef
adjusted ROOT.ML files
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4449 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-27 14:32:25 +00:00
Jürgen Doser
e9a24cfac6
some cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4448 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-27 14:27:16 +00:00
Jürgen Doser
76f9ee17e7
another typechecking but not (fully) functional version
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4446 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-26 16:22:32 +00:00
Jürgen Doser
8199af7c64
added files to ROOT.ML
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4437 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-24 12:40:46 +00:00
Jürgen Doser
ba272e35a6
typechecks again, but definitely not working correctly...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4435 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-24 11:52:55 +00:00
Jürgen Doser
f222e577a6
missing files...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4434 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-24 11:42:40 +00:00
Jürgen Doser
24fc67da90
typecheckes, but not sure if working...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4433 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-24 10:19:08 +00:00
Jürgen Doser
ff8b5fcc03
more cleanup...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4376 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-11 17:34:08 +00:00
Jürgen Doser
5276112b7e
added some documentation
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4375 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-11 16:38:21 +00:00
Jürgen Doser
e973612ad3
clean up...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4374 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-11 16:36:17 +00:00
Jürgen Doser
49cd212811
clean up...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4373 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-11 16:36:10 +00:00
Jürgen Doser
7bdf56d18c
started to clean up...
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4372 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-11 16:35:32 +00:00
Jürgen Doser
86cffb3cd6
do not parse untype-checked ocl constraints
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4361 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 14:35:12 +00:00
Jürgen Doser
bc00bc6bd6
do not consider associations between actors and use-cases
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4360 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 13:45:04 +00:00
Jürgen Doser
52030e057e
parse UML1.4 Transition effects
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4359 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 12:37:57 +00:00
Jürgen Doser
fd80d7f110
allow actions as transition effects
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4358 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 12:30:32 +00:00
Jürgen Doser
0a93f91872
adjustments for parsing ArgoUML statemachines and activitygraphs
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4357 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 12:04:18 +00:00
Jürgen Doser
b8321962d0
adjusted mlb file for codegenerator
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4356 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 12:01:11 +00:00
Jürgen Doser
3095b974ff
shortened invariant name for multiplicity constraint
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4355 3260e6d1-4efc-4170-b0a7-36055960796d
2006-04-07 12:00:05 +00:00