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
3638e54300
Revised build setup:
...
- rewrite CM files. The CM files should now work with different
versions of sml/NJ and mlton. This setup was tested with sml/NJ
110.52, sml/NJ 110.62 and mlton 20061107-1.
- removed some inconsistent signature files
- removed CM files for sml/NJ 110.62
- removed mlb files
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6700 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-23 05:26:05 +00:00
Achim D. Brucker
77a74ca594
added USE-Cartridge (beta version)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6694 3260e6d1-4efc-4170-b0a7-36055960796d
2007-07-16 06:05:43 +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
560f937dda
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6629 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-26 09:22:15 +00:00
Achim D. Brucker
febca88ad6
first functional integreation of the OCL parser and type-checker (and some minor cleanup)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6597 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-13 05:55:41 +00:00
Achim D. Brucker
a6093e684c
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6596 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:54:56 +00:00
Achim D. Brucker
3cf552d2e7
cleanup
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6595 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:54:29 +00:00
Achim D. Brucker
378034413f
imported OCL parser/type-checker (semester thesis of Manuel Krucker)
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6594 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-12 18:51:39 +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
0707f585f9
removed asSet() from OclAny
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6559 3260e6d1-4efc-4170-b0a7-36055960796d
2007-06-07 15:18:50 +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
380dd0c57d
notEmpty not operation of OclAny
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6518 3260e6d1-4efc-4170-b0a7-36055960796d
2007-05-30 11:21:55 +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
16b1c99f80
sum has return type 'Integer' not TemplateParameter T
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6404 3260e6d1-4efc-4170-b0a7-36055960796d
2007-05-04 18:43:52 +00:00
Achim D. Brucker
1f14f8e345
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6313 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-06 13:28:30 +00:00
Achim D. Brucker
f4e8f1e9f9
added simple routine for reading ArgoUML files
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6311 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-06 12:14:22 +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
87d9937b8d
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6298 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-03 12:23:49 +00:00
Achim D. Brucker
c61da0fcbd
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6297 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-03 12:17:45 +00:00
Achim D. Brucker
034b0e774b
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6296 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-03 12:15:51 +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
90af330bfb
template for 'orderedSet' was missing.
...
I inserted it, but not sure if it is correct.
mk
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6291 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-02 21:53:05 +00:00
007023d21e
adjust "string_of_OclType": for new type 'TemplateParameter "T"'
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6283 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-02 13:05:53 +00:00
5841f8f3f8
adjusting the types/names of the name and arguments.
...
manuel krucker
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6282 3260e6d1-4efc-4170-b0a7-36055960796d
2007-04-02 06:52:18 +00:00
db18e94cb6
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6276 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-28 06:45:05 +00:00
Achim D. Brucker
6650a33bac
added CM files for sml/NJ 110.62
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6273 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-26 08:05:24 +00:00
92a5d87c40
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6268 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-25 20:55:41 +00:00
Achim D. Brucker
4bd8124d03
merged final version of Manfred's semester thesis
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6239 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-12 10:33:47 +00:00
Achim D. Brucker
c73db5ffa6
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6225 3260e6d1-4efc-4170-b0a7-36055960796d
2007-03-01 12:34:02 +00:00
dc64206316
pending changes from uml2cdl to add tagged values to XMI.Primitive
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6215 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-28 12:33:33 +00:00
97936e32a5
remove aends to secureUML classes like Role and Permission
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6213 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-27 17:07:03 +00:00
7f6370d1ad
nicer print_usage
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6201 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-23 14:19:20 +00:00
849d9fdded
some more helper functions
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6199 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-23 13:36:42 +00:00
e6097c3056
removed ADT for cartridge languages
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6197 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-23 12:51:22 +00:00
ddfe7c84cd
use an abstract datatype for codegen languages
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6196 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-23 10:53:02 +00:00
56473f35a0
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6164 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-15 17:07:46 +00:00
848832a72f
moved helper functions
...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6163 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-15 10:28:46 +00:00
Achim D. Brucker
2e7f4233e3
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6125 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-10 13:36:55 +00:00
Achim D. Brucker
41c7709263
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6124 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-10 13:09:55 +00:00
Achim D. Brucker
69074bdf26
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6122 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-10 08:51:10 +00:00
b3e3bed204
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6121 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 17:33:34 +00:00
3bfeea80f1
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6115 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 14:34:29 +00:00
022b69e56e
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6114 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 14:05:22 +00:00
c67871b823
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6113 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 13:51:04 +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
54b804076a
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6107 3260e6d1-4efc-4170-b0a7-36055960796d
2007-02-09 09:55:34 +00:00
Achim D. Brucker
Manuel Krucker
Jürgen Doser