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

disabled (missing) JUnit cartdridge 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5719 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2006-12-10 20:16:12 +00:00
parent a8b7ab52af
commit dbca184faf
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/codegen/codegen.sml
View File

@ -46,9 +46,9 @@ structure SecureUML_Base_Gcg
structure CSharpSM_Gcg = GCG_Core (CSSM_Cartridge(CSharp_Cartridge(Base_Cartridge)))
structure Java_Gcg = GCG_Core (Java_Cartridge(Base_Cartridge))
(*
structure Junit_Gcg = GCG_Core (Junit_Cartridge(Java_Cartridge(Base_Cartridge)))
*)
(*
structure JavaSecure_Gcg = GCG_Core (Java_Cartridge(SecureUML_Cartridge(Base_Cartridge)));
*)
@ -67,9 +67,9 @@ fun generate xmi_file "base" =
CSharpSM_Gcg.generate (RepParser.readFile xmi_file) "templates/C#_SM.tpl"
| generate xmi_file "java" =
Java_Gcg.generate (RepParser.readFile xmi_file) "templates/java.tpl"
| generate xmi_file "junit" =
(* | generate xmi_file "junit" =
Junit_Gcg.generate (RepParser.readFile xmi_file) "templates/junit.tpl"
*)
(*
| generate "java_secure" = JavaSecure_Gcg.generate model "templates/java_SecureUML.tpl"
*)