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

a first step towards mlton support 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3060 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-09-14 13:24:57 +00:00
parent b3095da12d
commit 0ab220228b
7 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/ROOT.ML
View File

@ -30,9 +30,6 @@ open library;
(* ****************************************************** *) (* ****************************************************** *)
(* Load the (foreign) fxp-module providing (* Load the (foreign) fxp-module providing
an elemantary library in processing xml documents. *) an elemantary library in processing xml documents. *)
fun su4sml_home () = if (getenv "HOLOCL_HOME") <> ""
then getenv "HOLOCL_HOME"
else ".";
cd "../lib/fxp/src"; cd "../lib/fxp/src";
use "ROOT.ML"; use "ROOT.ML";
cd "../../../src"; cd "../../../src";

4
src/library.sml
View File

@ -51,11 +51,11 @@ fun getenv var =
(case OS.Process.getEnv var of (case OS.Process.getEnv var of
NONE => "" NONE => ""
| SOME txt => txt); | SOME txt => txt);
(*
fun print_depth n = fun print_depth n =
(Control.Print.printDepth := n div 2; (Control.Print.printDepth := n div 2;
Control.Print.printLength := n); Control.Print.printLength := n);
*)
val cd = OS.FileSys.chDir; val cd = OS.FileSys.chDir;
val pwd = OS.FileSys.getDir; val pwd = OS.FileSys.getDir;

1
src/rep_core.sml
View File

@ -24,6 +24,7 @@
structure Rep_Core : REP_CORE = structure Rep_Core : REP_CORE =
struct struct
open library
type operation = { name : string, type operation = { name : string,
precondition : (string option * Rep_OclTerm.OclTerm) list, precondition : (string option * Rep_OclTerm.OclTerm) list,
postcondition : (string option * Rep_OclTerm.OclTerm) list, postcondition : (string option * Rep_OclTerm.OclTerm) list,

2
src/rep_ocl.sml
View File

@ -24,7 +24,7 @@
structure Rep_OclType : REP_OCL_TYPE = structure Rep_OclType : REP_OCL_TYPE =
struct struct
open library
type Path = string list type Path = string list

1
src/xmi2rep.sml
View File

@ -32,6 +32,7 @@ sig
exception IllFormed of string exception IllFormed of string
end = end =
struct struct
open library
exception IllFormed of string exception IllFormed of string
exception NotYetImplemented exception NotYetImplemented

2
src/xml2xmi.sml
View File

@ -29,7 +29,7 @@ sig
exception IllFormed of string exception IllFormed of string
end = end =
struct struct
open library
exception NotYetImplemented exception NotYetImplemented
(* generic exception if something is wrong *) (* generic exception if something is wrong *)
exception IllFormed of string exception IllFormed of string

7
src/xmltree_parser.sml
View File

@ -54,7 +54,7 @@ sig
exception IllFormed of string exception IllFormed of string
end = end =
struct struct
open library
exception IllFormed of string exception IllFormed of string
type Attribute = (string * string) type Attribute = (string * string)
@ -174,7 +174,7 @@ structure ParseXmlTree : sig
end = end =
struct struct
open XmlTree open XmlTree
open library
exception FileNotFound of string exception FileNotFound of string
structure Parser = Parse (structure Dtd = Dtd structure Parser = Parse (structure Dtd = Dtd
@ -184,6 +184,9 @@ structure Parser = Parse (structure Dtd = Dtd
fun readFile filename = fun readFile filename =
let val currentDir = OS.FileSys.getDir() let val currentDir = OS.FileSys.getDir()
fun su4sml_home () = if (getenv "HOLOCL_HOME") <> ""
then getenv "HOLOCL_HOME"
else ".";
val _ = OS.FileSys.fileSize filename (* dummy check to see if the file exists...*) val _ = OS.FileSys.fileSize filename (* dummy check to see if the file exists...*)
val dtd = Dtd.initDtdTables() val dtd = Dtd.initDtdTables()
(* how to do the following in a clean/portable way? *) (* how to do the following in a clean/portable way? *)