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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7563 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-03-31 09:38:39 +00:00
parent fed0e90e6c
commit 69a7ce8f19
1 changed files with 0 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

59
su4sml/src/wfcpo-gen/naming.sml
View File

@ -1,59 +0,0 @@
signature WFCPO_NAMING =
sig
val get_po_number : unit -> int
val reset_po_nr : unit -> unit
val reset_count : unit -> unit
val generate_name : string -> string
val generate_opt_name : string -> string option -> string
end
structure WFCPO_Naming:WFCPO_NAMING =
struct
val po_nr = ref 0
val count = ref 0
fun get_po_number() =
let
val _ = (po_nr := ((!po_nr) + 1))
in
(!po_nr)
end
fun reset_po_nr() =
let
val _ = po_nr := 0
in
print ("po number reseted.\n")
end
fun reset_count() =
let
val _ = count := 0
in
print ("count reseted.\n")
end
fun generate_name s =
let
val _ = count := (!count + 1)
in
s ^ Int.toString (!count)
end
fun generate_opt_name s NONE =
let
val _ = count := (!count + 1)
in
generate_name s
end
| generate_opt_name s (SOME(x)) =
let
val _ = count := (!count + 1)
in
x
end
end;