source: git/factory/ftest/ftest_util.h @ 341696

spielwiese
Last change on this file since 341696 was 341696, checked in by Hans Schönemann <hannes@…>, 14 years ago
Adding Id property to all files git-svn-id: file:///usr/local/Singular/svn/trunk@12231 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.8 KB
Line 
1/* emacs edit mode for this file is -*- C++ -*- */
2/* $Id$ */
3
4#ifndef INCL_FTEST_UTIL_H
5#define INCL_FTEST_UTIL_H
6
7//{{{ docu
8//
9// ftest_util.h - header to ftest_util.cc.
10//
11//}}}
12
13enum ftestStatusT {
14    Passed = 0, Failed, UndefinedResult
15};
16
17//{{{ enum ftestErrorT
18//{{{ docu
19//
20// enum ftestErrorT - FTE error types.
21//
22// noError: no error (rarely used :-)
23// CommandlineError: commandline syntax error
24// EnvSyntaxError: error in environment specification
25// FileError: error reading some file
26// CanFormSpecError: error in canonical form specification
27// CheckError: error in result checks
28// SignalError: process received a signal
29// TimeoutError: and this signal was due to our own call to `alarm()'
30//
31//}}}
32enum ftestErrorT
33{
34    noError, CommandlineError, EnvSyntaxError, FileError,
35    CanFormSpecError, CheckError,
36    SignalError, TimeoutError = SignalError + 14
37};
38//}}}
39
40extern int ftestCircle;
41extern int ftestAlarm;
42
43extern int ftestCheckFlag;
44extern int ftestPrintFlag;
45extern int ftestPrintResultFlag;
46
47const char * ftestSkipBlancs ( const char * string );
48char * ftestCutBlancs ( char * string );
49const char * ftestSubStr ( const char * subString, const char * string );
50void ftestError ( ftestErrorT errno, const char * format ... );
51void ftestUsagePrint ( const char * additionalUsage = 0 );
52
53void ftestSignalCatch ( bool block = false );
54
55void ftestSetName ( const char * execName, const char * algorithmName, const char * usage );
56
57void ftestGetOpts ( int argc, char ** argv, int & optind );
58void ftestGetEnv ( int, char ** argv, int & optind );
59bool ftestSearchTaggedArg ( int, char ** argv, int & optind, const char * optionTag );
60void ftestWriteSeed ();
61
62void ftestPrintTimer ( long timer );
63void ftestPrintCheck ( ftestStatusT check );
64void ftestPrintEnv ();
65
66#endif /* ! INCL_FTEST_UTIL_H */
Note: See TracBrowser for help on using the repository browser.