From 6d0b9307a7bb4829b5a63623b1aea08bdfcc8154 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 8 Sep 2005 09:43:47 +0000 Subject: [PATCH] Kommentierung verbessert. git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3040 3260e6d1-4efc-4170-b0a7-36055960796d --- src/ROOT.ML | 35 ++++++++++++++++++++++++++++++----- 1 file changed, 30 insertions(+), 5 deletions(-) diff --git a/src/ROOT.ML b/src/ROOT.ML index 66b142f..dfd9f7b 100644 --- a/src/ROOT.ML +++ b/src/ROOT.ML @@ -25,15 +25,26 @@ use "library.sml"; open library; + + +(* ****************************************************** *) +(* Load the (foreign) fxp-module providing + an elemantary library in processing xml documents. *) fun su4sml_home () = if (getenv "HOLOCL_HOME") <> "" then getenv "HOLOCL_HOME" else "."; - - cd "../lib/fxp/src"; use "ROOT.ML"; cd "../../../src"; + + +(* ****************************************************** *) +(* Abstract Representation ("The Repository") of a UML model. + - References resolved + - only supported parts were represented + - structural simplifications whereever needed for + our applications. *) use "rep_ocl.sig"; use "rep_ocl.sml"; use "rep_state_machines.sig"; @@ -45,13 +56,27 @@ use "rep_core.sml"; use "rep.sig"; use "rep.sml"; + + +(* ****************************************************** *) +(* Abstract Representation of an XMI File of a UML Model. + - References kept + - only "interesting" parts were represented + - structural simplifications whereever needed for + our applications. + - Layout Information skipped. *) use "xmi_ocl.sml"; use "xmi_core.sml"; use "xmi_state_machines.sml"; use "xmi_activity_graphs.sml"; use "xmi.sml"; -use "xmltree_parser.sml"; -use "xml2xmi.sml"; -use "xmi2rep.sml"; + +(* ****************************************************** *) +(* Main Conversion Processes *) +use "xmltree_parser.sml"; (* provides explicit xml-tree data structure, + abstracts away fxp package. *) +use "xml2xmi.sml"; (* conversion XML to XMI *) + +use "xmi2rep.sml"; (* conversion XMI to Rep *)