| .. |
|
contrib
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3114 3260e6d1-4efc-4170-b0a7-36055960796d
|
2005-09-21 18:22:50 +00:00 |
|
ROOT.ML
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
UML15OCL.dtd
|
added check for environment variable UML2CDL_HOME, merged dummy.xmi and UML15OCL.dtd
|
2005-09-23 11:18:24 +00:00 |
|
component_uml.sml
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
library.sml
|
eliminated some dependencies on library.sml and commented out some unneeded functions from library.sml
|
2005-09-26 16:20:14 +00:00 |
|
mds.sig
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
mds_parser.sig
|
cleanup
|
2005-08-18 05:55:15 +00:00 |
|
ocl2string.sml
|
ocl2string now also works with plain SML
|
2005-10-30 19:15:00 +00:00 |
|
rep.sig
|
rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before)
|
2005-10-28 14:39:09 +00:00 |
|
rep.sml
|
rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before)
|
2005-10-28 14:39:09 +00:00 |
|
rep_activity_graphs.sig
|
iGlobal Renaming.
|
2005-09-07 17:06:26 +00:00 |
|
rep_activity_graphs.sml
|
Further restructuring.
|
2005-09-07 17:44:26 +00:00 |
|
rep_core.sig
|
added normalize_init
|
2005-11-02 17:59:56 +00:00 |
|
rep_core.sml
|
added normalize_init
|
2005-11-02 17:59:56 +00:00 |
|
rep_ocl.sig
|
Tiefes Renaming von rep_ocl.
|
2005-09-07 18:23:24 +00:00 |
|
rep_ocl.sml
|
a first step towards mlton support
|
2005-09-14 13:24:57 +00:00 |
|
rep_secure.sig
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
rep_secure.sml
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
rep_secureuml.sig
|
added first draft of structure Rep_SecureUML. There are however no functions for parsing Rep_SecureUML-types...
|
2005-10-20 13:08:17 +00:00 |
|
rep_secureuml.sml
|
removed permission names from ProtectedAction datatype
|
2005-10-20 15:50:05 +00:00 |
|
rep_state_machines.sig
|
actually starts to transform xmi statemachines into rep statemachines
|
2005-10-28 15:52:01 +00:00 |
|
rep_state_machines.sml
|
actually starts to transform xmi statemachines into rep statemachines
|
2005-10-28 15:52:01 +00:00 |
|
secure_uml.sml
|
next draft of "secure" repository structure
|
2005-11-01 16:35:23 +00:00 |
|
su4sml-cygwin.mlb
|
added first simple implementation of an OCL-term to string (aka ugly/pretty printing)
|
2005-10-20 14:35:46 +00:00 |
|
su4sml.cm
|
updated .cm file
|
2005-11-03 09:29:09 +00:00 |
|
su4sml.mlb
|
added first simple implementation of an OCL-term to string (aka ugly/pretty printing)
|
2005-10-20 14:35:46 +00:00 |
|
xmi.sml
|
rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before)
|
2005-10-28 14:39:09 +00:00 |
|
xmi2rep.sml
|
handle variables in iterators
|
2005-11-04 08:21:21 +00:00 |
|
xmi_activity_graphs.sml
|
Guards und Entries eingebaut.
|
2005-09-12 20:13:23 +00:00 |
|
xmi_core.sml
|
added statemachines to classes, parse do- and exit activities
|
2005-11-03 10:13:41 +00:00 |
|
xmi_datatypes.sml
|
rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before)
|
2005-10-28 14:39:09 +00:00 |
|
xmi_extension_mechanisms.sml
|
rudimentary support for parsing ArgoUML 0.19.7 activity diagrams into rep_statemachines. Needs to be cleaned up and consolidated with Poseidon support (which should still work however, as far as it worked before)
|
2005-10-28 14:39:09 +00:00 |
|
xmi_idtable.sml
|
support for body expressions: convert in to "result = ..." postconditions. There might appear DummyT's, however...
|
2005-11-02 15:23:23 +00:00 |
|
xmi_ocl.sml
|
datatype declarations for CollectionLiterals
|
2005-11-01 17:48:24 +00:00 |
|
xmi_state_machines.sml
|
Actionstates only have entry actions, no exit or do actions.
|
2005-11-03 10:40:49 +00:00 |
|
xml2xmi.sml
|
Actionstates only have entry actions, no exit or do actions.
|
2005-11-03 10:40:49 +00:00 |
|
xmltree_parser.sml
|
don't escape apostrophes when printing attribute values
|
2005-10-06 16:30:55 +00:00 |
ba702bdaf1