HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

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
This commit is contained in:
Achim D. Brucker 2005-09-08 09:26:32 +00:00
parent 07e0e9f7ed
commit 8eac5e0f8a
5 changed files with 50 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/ROOT.ML
View File

@ -3,7 +3,8 @@
*
* ROOT.ML - main "ROOT.ML" file for su4sml
* Copyright (C) 2005 Achim D. Brucker <brucker@inf.ethz.ch>
* Jürgen Doser <doserj@inf.ethz.ch>
* Juergen Doser <doserj@inf.ethz.ch>
* Burkhart Wolff <bwolff@inf.ethz.ch>
*
* 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";

0
src/rep_state_machine.sig → src/rep_state_machines.sig
View File

0
src/rep_state_machine.sml → src/rep_state_machines.sml
View File

9
src/xmi_activity_graphs.sml
View File

@ -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

45
src/xmi_state_machines.sml Normal file
View File

@ -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 <brucker@inf.ethz.ch>
* Jürgen Doser <doserj@inf.ethz.ch>
* 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