From c8ad578285abde1dce60a5b70b5716e8d345df04 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 5 Jan 2009 00:52:34 +0000
Subject: [PATCH] added rbt to test-suite

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8389 3260e6d1-4efc-4170-b0a7-36055960796d
---
 su4sml/src/test-suite.sml | 35 +++++++++--------------------------
 1 file changed, 9 insertions(+), 26 deletions(-)

diff --git a/su4sml/src/test-suite.sml b/su4sml/src/test-suite.sml
index c755850..5ce923b 100644
--- a/su4sml/src/test-suite.sml
+++ b/su4sml/src/test-suite.sml
@@ -6,7 +6,7 @@
  * This file is part of su4sml.
  *
  * Copyright (c) 2006, 2007 ETH Zurich, Switzerland
- *               2008       Achim D. Brucker, Germany
+ *               2008-2009  Achim D. Brucker, Germany
  *
  * All rights reserved.
  *
@@ -151,6 +151,13 @@ val testcases = [
     exclude = [],
     result = initResult
    }:testcase ,
+   {
+    name = "Red-black Trees",
+    uml  = prefix^"rbt/rbt.zargo",
+    ocl  = prefix^"rbt/rbt.ocl",
+    exclude = [],
+    result = initResult
+   }:testcase,
    {
     name = "Invoicing Orders",
     uml  = prefix^"InvoicingOrders/InvoicingOrders.zargo",
@@ -180,55 +187,35 @@ val testcases = [
 
 fun test (tc:testcase) = 
     let 
+        val _   = print ("Running test case '"^(#name tc)^" ...'\n")
 	val xmi = ModelImport.parseUML (#uml tc)
 	    handle _ => ([],[]) 
 	val ocl = ModelImport.parseOCL (#ocl tc)
 	    handle _ => [] 
 	val OclParse = if ocl = [] then false else true
-	(*
-	val (xmi,ocl) = ModelImport.removePackages (xmi,ocl) (#exclude tc)
-	    handle _ => (([],[]),[])  
-        *)
-	val _         = print "### Preprocess Context List ###\n"
 	val fixed_ocl = Preprocessor.preprocess_context_list 
 			    ocl ((OclLibrary.oclLib)@(#1 xmi))
 	    handle _ => []    
 	val OclPreprocess = if fixed_ocl = [] then false else true
-	val _         = print "### Finished Preprocess Context List ###\n\n"	
-			
-	val _         = print "### Type Checking ###\n"
 	val typed_cl  = TypeChecker.check_context_list 
 			    fixed_ocl (((OclLibrary.oclLib)@(#1 xmi)),#2 xmi)
 	    handle _ => []   
 	val OclTC = if typed_cl = [] then false else true
-	val _         = print "### Finished Type Checking ###\n\n"
-			
-	val _         = print"### Updating Classifier List ###\n"
 	val model     = Update_Model.gen_updated_classifier_list 
 			    typed_cl ((OclLibrary.oclLib)@(#1 xmi))
 	    handle _ => []   
 	val modelUpdate = if model = [] then false else true
-	val _         = print "### Finished Updating Classifier List ###\n"
-
   	val cl     = ModelImport.removeOclLibrary (model)
-
-	val _         = print"### Transform Model (remove associations) ###\n"
 	val cl        = FixTyping.transform_ocl_spec FixTyping.transformForHolOcl 
 			   (#1 (Rep_Core.normalize_ext (cl, #2 xmi)))
 	                handle _ => []   
 	val transform = if cl = [] then false else true
-	val _         = print "### Finished Transform Model (after transformation) ###\n"
-
-	val _         = print"### RemovingPackages ###\n"
 	val clrm      = ModelImport.removePackages (#exclude tc) (cl, #2xmi)
 	                handle _ => (([],[]):Rep_Core.transform_model)   
 	val rmPkg = if (#exclude tc) = [] then true 
 		    else if (List.length cl) > (List.length (#1 clrm))
 		    then true 
 		    else false
-	val _   = print "### Finished Removing Packages ###\n"
-
-
 	val CodeGen = 
 	    let 
 		val _  = Codegen.generateFromModel xmi "java"
@@ -236,8 +223,6 @@ fun test (tc:testcase) =
 		true
 	    end       
             handle  _ => false
- 
-		      
 
     in 
 	    {
@@ -309,8 +294,6 @@ fun printSummary res =
       ()
     end
 
-(* val _ = (Ext_Library.log_level := 1);(); *)
-		
   fun runTest () = let 
     val results = (map test testcases)
     val _       = map printResult results