/usr/include/deal.II/base/job_identifier.h is in libdeal.ii-dev 6.3.1-1.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 | //---------------------------------------------------------------------------
// $Id: job_identifier.h 14038 2006-10-23 02:46:34Z bangerth $
// Version: $Name$
//
// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
// to the file deal.II/doc/license.html for the text and
// further information on this license.
//
//---------------------------------------------------------------------------
#ifndef __deal2__job_identifier_h
#define __deal2__job_identifier_h
#include <base/config.h>
#include <string>
DEAL_II_NAMESPACE_OPEN
/**
* Identification of a program run. <tt>JobIdentifier</tt> determines the
* start time of a program run and stores it as a program
* identifier. There exists a library object <tt>dealjobid</tt> of this
* class. This object can be accessed by all output functions to
* provide an id for the current job.
*
* @ingroup utilities
*/
class JobIdentifier
{
public:
/**
* Constructor. Set program
* identifier to value of
* <tt>program_id</tt> concatenated
* with the present time.
*/
JobIdentifier();
/**
* This function returns an
* identifier for the running
* program. Currently, the
* library provides a function
* returning "JobID".
*
* The user may define a
* replacement of this function
* in his source code and avoid
* linking the library
* version. Unfortunately, this
* mechanism does not work with
* shared libraries.
*/
static const char* program_id();
/**
* Return the value of <tt>id</tt>.
*/
const std::string operator () () const;
private:
/**
* String holding the identifier
* of the presently running
* program.
*/
std::string id;
};
/*------------------------------ Inline functions ------------------------------*/
/**
* Global object to identify the presently running program.
*/
extern JobIdentifier dealjobid;
DEAL_II_NAMESPACE_CLOSE
#endif
|