This file is indexed.

/usr/share/doc/libcobertura-java/api/src-html/net/sourceforge/cobertura/coveragedata/HasBeenInstrumented.html is in libcobertura-java-doc 1.9.4.1+dfsg-3.

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
101
102
103
<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    /*<a name="line.1"></a>
<FONT color="green">002</FONT>     * Cobertura - http://cobertura.sourceforge.net/<a name="line.2"></a>
<FONT color="green">003</FONT>     *<a name="line.3"></a>
<FONT color="green">004</FONT>     * Copyright (C) 2003 jcoverage ltd.<a name="line.4"></a>
<FONT color="green">005</FONT>     * Copyright (C) 2005 Mark Doliner<a name="line.5"></a>
<FONT color="green">006</FONT>     *<a name="line.6"></a>
<FONT color="green">007</FONT>     * Cobertura is free software; you can redistribute it and/or modify<a name="line.7"></a>
<FONT color="green">008</FONT>     * it under the terms of the GNU General Public License as published<a name="line.8"></a>
<FONT color="green">009</FONT>     * by the Free Software Foundation; either version 2 of the License,<a name="line.9"></a>
<FONT color="green">010</FONT>     * or (at your option) any later version.<a name="line.10"></a>
<FONT color="green">011</FONT>     *<a name="line.11"></a>
<FONT color="green">012</FONT>     * Cobertura is distributed in the hope that it will be useful, but<a name="line.12"></a>
<FONT color="green">013</FONT>     * WITHOUT ANY WARRANTY; without even the implied warranty of<a name="line.13"></a>
<FONT color="green">014</FONT>     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU<a name="line.14"></a>
<FONT color="green">015</FONT>     * General Public License for more details.<a name="line.15"></a>
<FONT color="green">016</FONT>     *<a name="line.16"></a>
<FONT color="green">017</FONT>     * You should have received a copy of the GNU General Public License<a name="line.17"></a>
<FONT color="green">018</FONT>     * along with Cobertura; if not, write to the Free Software<a name="line.18"></a>
<FONT color="green">019</FONT>     * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307<a name="line.19"></a>
<FONT color="green">020</FONT>     * USA<a name="line.20"></a>
<FONT color="green">021</FONT>     */<a name="line.21"></a>
<FONT color="green">022</FONT>    <a name="line.22"></a>
<FONT color="green">023</FONT>    package net.sourceforge.cobertura.coveragedata;<a name="line.23"></a>
<FONT color="green">024</FONT>    <a name="line.24"></a>
<FONT color="green">025</FONT>    /**<a name="line.25"></a>
<FONT color="green">026</FONT>     * Tag interface indicating that a particular class has already been<a name="line.26"></a>
<FONT color="green">027</FONT>     * instrumented. This interface should also be implemented by those<a name="line.27"></a>
<FONT color="green">028</FONT>     * classes that do not wish to be instrumented.<a name="line.28"></a>
<FONT color="green">029</FONT>     */<a name="line.29"></a>
<FONT color="green">030</FONT>    public interface HasBeenInstrumented<a name="line.30"></a>
<FONT color="green">031</FONT>    {<a name="line.31"></a>
<FONT color="green">032</FONT>            /*<a name="line.32"></a>
<FONT color="green">033</FONT>             * This class does not need any members.  If a given class implements<a name="line.33"></a>
<FONT color="green">034</FONT>             * this class, it means the given class does not want to be instrumented<a name="line.34"></a>
<FONT color="green">035</FONT>             * by Cobertura.<a name="line.35"></a>
<FONT color="green">036</FONT>             */<a name="line.36"></a>
<FONT color="green">037</FONT>    }<a name="line.37"></a>




























































</PRE>
</BODY>
</HTML>