From 8eac5e0f8a940af5b0948c024d0b27093a61165c Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 8 Sep 2005 09:26:32 +0000 Subject: [PATCH] structural reform: end. - xmi_state_machines introduced. - file renaming: machine -> machines. git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3039 3260e6d1-4efc-4170-b0a7-36055960796d --- src/ROOT.ML | 8 ++-- ...ate_machine.sig => rep_state_machines.sig} | 0 ...ate_machine.sml => rep_state_machines.sml} | 0 src/xmi_activity_graphs.sml | 9 ---- src/xmi_state_machines.sml | 45 +++++++++++++++++++ 5 files changed, 50 insertions(+), 12 deletions(-) rename src/{rep_state_machine.sig => rep_state_machines.sig} (100%) rename src/{rep_state_machine.sml => rep_state_machines.sml} (100%) create mode 100644 src/xmi_state_machines.sml diff --git a/src/ROOT.ML b/src/ROOT.ML index ea41a85..66b142f 100644 --- a/src/ROOT.ML +++ b/src/ROOT.ML @@ -3,7 +3,8 @@ * * ROOT.ML - main "ROOT.ML" file for su4sml * Copyright (C) 2005 Achim D. Brucker - * Jürgen Doser + * Juergen Doser + * Burkhart Wolff * * This file is part of su4sml. * @@ -35,8 +36,8 @@ cd "../../../src"; use "rep_ocl.sig"; use "rep_ocl.sml"; -use "rep_state_machine.sig"; -use "rep_state_machine.sml"; +use "rep_state_machines.sig"; +use "rep_state_machines.sml"; use "rep_activity_graphs.sig"; use "rep_activity_graphs.sml"; use "rep_core.sig"; @@ -46,6 +47,7 @@ use "rep.sml"; use "xmi_ocl.sml"; use "xmi_core.sml"; +use "xmi_state_machines.sml"; use "xmi_activity_graphs.sml"; use "xmi.sml"; diff --git a/src/rep_state_machine.sig b/src/rep_state_machines.sig similarity index 100% rename from src/rep_state_machine.sig rename to src/rep_state_machines.sig diff --git a/src/rep_state_machine.sml b/src/rep_state_machines.sml similarity index 100% rename from src/rep_state_machine.sml rename to src/rep_state_machines.sml diff --git a/src/xmi_activity_graphs.sml b/src/xmi_activity_graphs.sml index 98c0a91..249c6ac 100644 --- a/src/xmi_activity_graphs.sml +++ b/src/xmi_activity_graphs.sml @@ -31,15 +31,6 @@ * of references. * --------------------------------------------------------------------------*) -structure XMI_CommonBehavior = -struct -end - -structure XMI_StateMachines = -struct -open XMI_CommonBehavior -datatype StateMachine = dummy -end structure XMI_ActivityGraphs = struct diff --git a/src/xmi_state_machines.sml b/src/xmi_state_machines.sml new file mode 100644 index 0000000..b9d501e --- /dev/null +++ b/src/xmi_state_machines.sml @@ -0,0 +1,45 @@ +(***************************************************************************** + * su4sml - a SecureUML repository for SML + * + * xmi_umlcore.sig - XMI-UML-Core datatypes for the import interface for su4sml + * Copyright (C) 2005 Achim D. Brucker + * Jürgen Doser + * Burkhart Wolff + * + * This file is part of su4sml. + * + * su4sml is free software; you can redistribute it and/or modify it under + * the terms of the GNU General Public License as published by the Free + * Software Foundation; either version 2 of the License, or (at your option) + * any later version. + * + * su4sml is distributed in the hope that it will be useful, but WITHOUT ANY + * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS + * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more + * details. + * + * You should have received a copy of the GNU General Public License along + * with this program; if not, write to the Free Software Foundation, Inc., + * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + ******************************************************************************) + + +(* --------------------------------------------------------------------------- + * The types in these structures are supposed to define a representation of + * the XML elements found in UML-XMI files. It is reasonably close to the UML + * metamodel and the XMI representation of it, while simplifying some kinds + * of references. + * --------------------------------------------------------------------------*) + +structure XMI_CommonBehavior = +struct +end + +structure XMI_StateMachines = +struct +open XMI_CommonBehavior +datatype StateMachine = dummy +end + + +