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

325 Commits

Author SHA1 Message Date
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
Jürgen Doser 52f2059851 some more minore changes for UML1.4 (ArgoUML) compatibility 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4354 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 11:39:20 +00:00
Jürgen Doser 2f6628cf50 changes for UML1.4 (ArgoUML) compatibility 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4353 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 10:26:54 +00:00
Jürgen Doser 83195b3c26 hack for parsing ArgoUML xmi.ids 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4352 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-07 08:33:39 +00:00
Achim D. Brucker dfe13bc7ac SM update and fixes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4320 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-05 10:29:18 +00:00
Jürgen Doser 71c7e39694 allow OCL expressions in transition guards 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4319 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-04-05 09:50:36 +00:00
Achim D. Brucker 08d30e9545 implode -> String.implode and explode -> String.explode 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4215 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 15:51:22 +00:00
Jürgen Doser 41c727cb0a adapted ROOT.ML files and .cm files 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4214 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 14:14:11 +00:00
Jürgen Doser 4ba2516d92 codegen-sourcen von Raphael 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4212 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-21 13:14:15 +00:00
Jürgen Doser 69b426c531 attributes without explicit mutliplicity now get multiplicity 1 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4124 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-08 11:19:20 +00:00
Jürgen Doser 5ab79aa912 simple prettyprinter for Rep.Classifier 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4123 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-03-08 10:55:55 +00:00
Jürgen Doser ed0d9fbc3a relaxed recognition of typename in UML_OCL package 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3961 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-02-13 12:11:44 +00:00
Jürgen Doser 5ad94a91bf fixed a nonexhausitve match failure 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3922 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-02-06 08:48:54 +00:00
Jürgen Doser 9bf4259bf3 added name attribute for composite states 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3898 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-02-03 09:51:43 +00:00
Jürgen Doser 7919a1b5c7 added name attribute to simple states and action states, parse effects on transitions. Beware: this breaks parsing of entry and exit actions 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3896 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-02-02 15:11:48 +00:00
Jürgen Doser ae7a78bdd4 started work on parsing secureuml stereotypes 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3796 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-01-22 21:18:26 +00:00
Achim D. Brucker 9f504ee119 adding missing ) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3750 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-01-17 17:48:45 +00:00
Jürgen Doser bce2acafcb support for SU4SML_HOME environment variable, which is supposed to point to the su4sml directory 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3748 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-01-17 15:52:29 +00:00
Jürgen Doser c38d173407 added some missing files 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3730 3260e6d1-4efc-4170-b0a7-36055960796d
 2006-01-12 16:07:16 +00:00
Achim D. Brucker b03a72e189 fixed typo in operator name 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3398 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-17 11:07:07 +00:00
Achim D. Brucker 719054e664 added missing path seperator 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3375 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-16 07:18:38 +00:00
Achim D. Brucker 7e0c828e9e fixed missing | 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3369 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-15 22:34:07 +00:00
Achim D. Brucker c33c10d328 updated intpretation of HOLOCL_HOME 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3366 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-15 10:36:56 +00:00
Jürgen Doser 620a634c0a validate the parsed xmi-file against UML15OCL.dtd, print error and warning messages while parsing, but continues to parse the xmi file when file is not valid but still well-formed 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3364 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-14 16:16:05 +00:00
Achim D. Brucker 30840ea1bb made attribute multiplicities and init values optional 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3359 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-14 12:06:21 +00:00
Jürgen Doser af1f1e2844 improved support for statemachine 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3347 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-11 16:15:47 +00:00
Jürgen Doser 9429803f72 replace empty variable names with "anonIterVar_<xmiid>" 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3343 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-11 11:43:22 +00:00
Jürgen Doser 998ef457cd added file to document the current state of su4sml 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3337 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-10 16:46:41 +00:00
Jürgen Doser c9ac1a7af2 parse _empty_ CollectionLiterals (again, a change to OclTerm was necessary, so please check) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3331 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-09 18:37:10 +00:00
Jürgen Doser 06871fd6ee parse Iterate expressions (needed to change oclterm type for that, so please check) 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3330 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-09 18:06:29 +00:00
Jürgen Doser ba702bdaf1 handle variables in iterators 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3313 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-04 08:21:21 +00:00
Jürgen Doser a03a843c72 Actionstates only have entry actions, no exit or do actions. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3307 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-03 10:40:49 +00:00
Jürgen Doser d1e17656f6 Pseudostates do not have entry, exit or do actions. 
Finalstates do not have outgoing transitions

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3306 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-03 10:37:29 +00:00
Jürgen Doser 51ad229c80 added statemachines to classes, parse do- and exit activities 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3305 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-03 10:13:41 +00:00
Jürgen Doser fbdc3ece36 updated .cm file 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3304 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-03 09:29:09 +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
Jürgen Doser 0af74bb770 support for body expressions: convert in to "result = ..." postconditions. There might appear DummyT's, however... 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3299 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-02 15:23:23 +00:00
Jürgen Doser 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
Jürgen Doser 024a426c24 started work on parsing collection literals 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3294 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-01 17:51:19 +00:00
Jürgen Doser 14438e3903 datatype declarations for CollectionLiterals 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3293 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-01 17:48:24 +00:00
Jürgen Doser 9db920768b next draft of "secure" repository structure 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3289 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-11-01 16:35:23 +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
Jürgen Doser e03d096f11 handle operation calls with more than one argument. 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3275 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-31 09:17:26 +00:00
Achim D. Brucker e276df5b6a ocl2string now also works with plain SML 
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3268 3260e6d1-4efc-4170-b0a7-36055960796d
 2005-10-30 19:15:00 +00:00