Achim D. Brucker
c38c8cbd49
Fixed typo.
2016-10-24 00:35:11 +01:00
Achim D. Brucker
127acb420a
Removed superfluous directory level.
2016-07-25 20:19:53 +01:00
Achim D. Brucker
874dbfadb0
updated directory structure
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6701 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-23 13:03:15 +00:00
Achim D. Brucker
4f4622a6cc
updated licence information/headers
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6662 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-04 06:41:30 +00:00
Achim D. Brucker
6e656ff3b1
added body to operation
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6560 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-07 16:12:25 +00:00
Achim D. Brucker
c577246acf
added another bunch of update functions
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6541 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-05 11:40:12 +00:00
Achim D. Brucker
9447a14c66
added update_invariant
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6537 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-05 07:43:03 +00:00
34e6de89e5
assoc_or_attr_type made public
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6494 3260e6d1-4efc-4170-b0a7-36055960796d
2007-05-27 18:32:37 +00:00
f9a4b91ece
redundant match in name_of
...
manuel krucker
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6303 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-03 15:39:54 +00:00
Achim D. Brucker
f498c9cb19
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6294 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-03 10:40:02 +00:00
Achim D. Brucker
47e8852dcb
merge with work of Manfred (based on rev. 35191)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6108 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 11:14:53 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
Achim D. Brucker
ced17e87f2
added normalize_init
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3300 3260e6d1-4efc-4170-b0a7-36055960796d
2005-11-02 17:59:56 +00:00
b636c52e76
support for initial values for attributes
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3298 3260e6d1-4efc-4170-b0a7-36055960796d
2005-11-02 11:35:44 +00:00
Achim D. Brucker
d29962fec9
added init to assoc_ends and attributes and introduced a type 'attribute'
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3287 3260e6d1-4efc-4170-b0a7-36055960796d
2005-11-01 07:32:21 +00:00
Achim D. Brucker
f27239f22a
Changed handling of association ends with multiplicity (0,1) or (1,1). Instead
...
of generating attributes of type Set (or Sequence) we generate non-collection
typed attributes. In the case of multiplicty (0,0) no invariant is generated, in
the case of (1,1) the invariant "assocEnd->OclIsDefined()" is generated.
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3251 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-24 19:51:49 +00:00
b447ec81d8
support for ownerScope and targetScope (i.e., whether they are static features or not) for attributes, operations, and association ends
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3236 3260e6d1-4efc-4170-b0a7-36055960796d
2005-10-20 13:03:44 +00:00
f915c4e4e2
eliminated some dependencies on library.sml and commented out some unneeded functions from library.sml
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3136 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-26 16:20:14 +00:00
Achim D. Brucker
0ab220228b
a first step towards mlton support
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3060 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-14 13:24:57 +00:00
Achim D. Brucker
ddc36ea5e8
Tiefes Renaming von rep_ocl.
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3037 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-07 18:23:24 +00:00
Achim D. Brucker
e2bee654b9
Further restructuring.
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3035 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-07 17:44:26 +00:00
Achim D. Brucker
b05c61c478
iGlobal Renaming.
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3031 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-07 17:06:26 +00:00
Achim D. Brucker
Manuel Krucker
Jürgen Doser