This file is indexed.

/usr/include/deal.II/base/job_identifier.h is in libdeal.ii-dev 8.1.0-6ubuntu1.

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
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
// ---------------------------------------------------------------------
// $Id: job_identifier.h 30036 2013-07-18 16:55:32Z maier $
//
// Copyright (C) 1998 - 2013 by the deal.II authors
//
// This file is part of the deal.II library.
//
// The deal.II library is free software; you can use it, redistribute
// it, and/or modify it under the terms of the GNU Lesser General
// Public License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
// The full text of the license can be found in the file LICENSE at
// the top level of the deal.II distribution.
//
// ---------------------------------------------------------------------

#ifndef __deal2__job_identifier_h
#define __deal2__job_identifier_h


#include <deal.II/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();

  /**
   * Obtain the base name of the
   * file currently being
   * compiled. That is, if the file
   * is <tt>mypath/file.cc</tt>
   * return just
   * <tt>file</tt>. Typically, this
   * can be called from a program
   * with the argument
   * <tt>__FILE__</tt> and is used
   * in the deal.II test suite.
   */
  static std::string base_name(const char *filename);

  /**
   * 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