HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity
532 Commits 1 Branch 0 Tags 4.4 MiB
Commit Graph

532 Commits

Author SHA1 Message Date
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 63cb7dcb8d also allow '-' at start of names (hack for parsing ArgoUML xmi.id's 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5512 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-10-27 14:14:39 +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 abfa0c1e2c git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5449 3260e6d1-4efc-4170-b0a7-36055960796d 2006-10-18 17:43:01 +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 ada306881d git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4602 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:42:09 +00:00
Achim D. Brucker b2b60ff014 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4601 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:38:11 +00:00
Achim D. Brucker fe1a089fa5 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4600 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:34:42 +00:00
Achim D. Brucker 6b6e6ae077 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4599 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:23:48 +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
Achim D. Brucker 49f607300e git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4597 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 10:03:05 +00:00
Achim D. Brucker d7d87bab9c git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4596 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 09:58:49 +00:00
Achim D. Brucker b62fdbf1d6 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4595 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:52:31 +00:00
Achim D. Brucker 33e60ca731 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4594 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:48:35 +00:00
Achim D. Brucker 8f7b1c7ca3 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4593 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:41:28 +00:00
Achim D. Brucker 93d167f58d git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4592 3260e6d1-4efc-4170-b0a7-36055960796d 2006-05-29 08:38:04 +00:00
Achim D. Brucker 9869530563 autobuild script for building su4sml 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4591 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-05-29 07:51:58 +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 866b580f53 refined documentation generation 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4436 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-24 12:07:25 +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
Achim D. Brucker 329b121a63 git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4430 3260e6d1-4efc-4170-b0a7-36055960796d 2006-04-23 14:21:35 +00:00