Changeset ddf3809 in git for factory/ftest

Timestamp:

Sep 29, 1997, 3:10:31 PM (27 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')

Children:

23dfc9451ec05973b0a8996e74349ea9a69fc4dd

Parents:

3abd3ce89c94f6fdff0cd6eb4861219bbe9e2283

Message:

	* ftest_io.cc (ftestPrintResult( .., CF ), ftestPrintResult( ..,
	  int )): use new output format now

	* ftest_io.cc (ftestPrintResult( .., CF ), ftestPrintResult( ..,
	  int )): functions ftestPrintCanonicalForm() and ftestPrintInt()
	  renamed to ftestPrintResult.  All callers changed.  Decarations
	  adapted.


git-svn-id: file:///usr/local/Singular/svn/trunk@755 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/ftest/ftest_io.cc (modified) (2 diffs)

factory/ftest/ftest_io.cc

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: ftest_io.cc,v 1.1 1997-09-24 07:29:17 schmidt Exp $ */
+/* $Id: ftest_io.cc,v 1.2 1997-09-29 13:10:31 schmidt Exp $ */
 
 //{{{ docu
@@ -85 +85 @@
 //}}}
 
-//{{{ void ftestPrintCanonicalForm ( const char * resultName, const CanonicalForm & result )
+//{{{ void ftestPrintResult ( const char * resultName, const CanonicalForm & result )
 //{{{ docu
 //
-// ftestPrintCanonicalForm() - print a canonical form.
+// ftestPrintResult() - print a canonical form.
 //
 //}}}
 void
-ftestPrintCanonicalForm ( const char * resultName, const CanonicalForm & result )
+ftestPrintResult ( const char * resultName, const CanonicalForm & result )
 {
     if ( ftestPrintResultFlag ) {
-        ftestPrint( "result: %s\n", 0, resultName );
+        ftestPrint( "result: %s\n", "@@%s\n", resultName );
         cout << result << endl;
-    }
+    } else if ( ! ftestPrintFlag )
+        cout << result << endl;
 }
 //}}}
 
-//{{{ void ftestPrintInt ( const char * resultName, const int result )
+//{{{ void ftestPrintResult ( const char * resultName, const int result )
 //{{{ docu
 //
-// ftestPrintInt() - print an integer.
+// ftestPrintResult() - print an integer.
 //
 //}}}
 void
-ftestPrintInt ( const char * resultName, const int result )
+ftestPrintResult ( const char * resultName, const int result )
 {
     if ( ftestPrintResultFlag ) {
-        ftestPrint( "result: %s\n", 0, resultName );
+        ftestPrint( "result: %s\n", "@@%s\n", resultName );
         cout << result << endl;
-    }
+    } else if ( ! ftestPrintFlag )
+        cout << result << endl;
 }
 //}}}