Changeset cc05e31 in git


Ignore:
Timestamp:
Oct 8, 1997, 11:19:17 AM (27 years ago)
Author:
Jens Schmidt <schmidt@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
a14aa6a5f438dc2039721d6dfce70c114c82691b
Parents:
ed1f771289e1b7f9e6c011032bb37775eedffaa9
Message:
	* ftest_util.cc (ftestPrintEnv): more cosmetic changes


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

Legend:

Unmodified
Added
Removed
  • factory/ftest/ftest_util.cc

    red1f77 rcc05e31  
    11/* emacs edit mode for this file is -*- C++ -*- */
    2 /* $Id: ftest_util.cc,v 1.8 1997-10-07 07:58:10 schmidt Exp $ */
     2/* $Id: ftest_util.cc,v 1.9 1997-10-08 09:19:17 schmidt Exp $ */
    33
    44//{{{ docu
     
    864864
    865865        // switches
     866        bool switchSet = false;
    866867        ftestPrint( "switch: ", (char *)0 );
    867868        for ( int i = 0; i < CFSwitchesMax; i++ )
    868             if ( ftestEnv.switches[i] )
     869            if ( ftestEnv.switches[i] ) {
     870                switchSet = true;
    869871                printf( "%s ", ftestSwitchNames[i] );
    870         printf( "\n" );
     872            }
     873        if ( ! switchSet )
     874            printf( "(not set)\n" );
     875        else
     876            printf( "\n" );
    871877
    872878        // variables
    873879        varSpecT * varSpec = ftestEnv.varSpec;
    874880        ftestPrint( "vars  : ", (char *)0 );
    875         while ( varSpec ) {
    876             if ( varSpec->mipo.isZero() )
    877                 printf( "%c(%d) ",
    878                         varSpec->variable,
    879                         Variable( varSpec->variable ).level() );
    880             else {
    881                 printf( "%c(%d)",
    882                         varSpec->variable,
    883                         Variable( varSpec->variable ).level() );
    884                 cout << "(" << varSpec->mipo << ") ";
     881        if ( ! varSpec )
     882            printf( "(not specified)" );
     883        else
     884            while ( varSpec ) {
     885                if ( varSpec->mipo.isZero() )
     886                    printf( "%c(%d) ",
     887                            varSpec->variable,
     888                            Variable( varSpec->variable ).level() );
     889                else {
     890                    printf( "%c(%d)",
     891                            varSpec->variable,
     892                            Variable( varSpec->variable ).level() );
     893                    cout << "(" << varSpec->mipo << ") ";
     894                }
     895                varSpec = varSpec->next;
    885896            }
    886             varSpec = varSpec->next;
    887         }
    888897        printf( "\n" );
    889898
     
    895904            ftestPrint( "seed  : %d\n", "%d\n", ftestEnv.seed );
    896905        else
    897             ftestPrint( "seed  : not set\n", "not set\n" );
     906            ftestPrint( "seed  : (not set)\n", "(not set)\n" );
    898907
    899908        // factory version
Note: See TracChangeset for help on using the changeset viewer.