/usr/share/doc/libcobertura-java/api/src-html/net/sourceforge/cobertura/coveragedata/countermaps/CounterMap.html is in libcobertura-java-doc 1.9.4.1+dfsg-4.
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 104 105 106 107 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="en">
<head>
<title>Source code</title>
<link rel="stylesheet" type="text/css" href="../../../../../../stylesheet.css" title="Style">
</head>
<body>
<div class="sourceContainer">
<pre><span class="sourceLineNo">001</span>/*<a name="line.1"></a>
<span class="sourceLineNo">002</span> * Cobertura - http://cobertura.sourceforge.net/<a name="line.2"></a>
<span class="sourceLineNo">003</span> *<a name="line.3"></a>
<span class="sourceLineNo">004</span> * Copyright (C) 2010 Piotr Tabor<a name="line.4"></a>
<span class="sourceLineNo">005</span> *<a name="line.5"></a>
<span class="sourceLineNo">006</span> * Note: This file is dual licensed under the GPL and the Apache<a name="line.6"></a>
<span class="sourceLineNo">007</span> * Source License (so that it can be used from both the main<a name="line.7"></a>
<span class="sourceLineNo">008</span> * Cobertura classes and the ant tasks).<a name="line.8"></a>
<span class="sourceLineNo">009</span> *<a name="line.9"></a>
<span class="sourceLineNo">010</span> * Cobertura is free software; you can redistribute it and/or modify<a name="line.10"></a>
<span class="sourceLineNo">011</span> * it under the terms of the GNU General Public License as published<a name="line.11"></a>
<span class="sourceLineNo">012</span> * by the Free Software Foundation; either version 2 of the License,<a name="line.12"></a>
<span class="sourceLineNo">013</span> * or (at your option) any later version.<a name="line.13"></a>
<span class="sourceLineNo">014</span> *<a name="line.14"></a>
<span class="sourceLineNo">015</span> * Cobertura is distributed in the hope that it will be useful, but<a name="line.15"></a>
<span class="sourceLineNo">016</span> * WITHOUT ANY WARRANTY; without even the implied warranty of<a name="line.16"></a>
<span class="sourceLineNo">017</span> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU<a name="line.17"></a>
<span class="sourceLineNo">018</span> * General Public License for more details.<a name="line.18"></a>
<span class="sourceLineNo">019</span> *<a name="line.19"></a>
<span class="sourceLineNo">020</span> * You should have received a copy of the GNU General Public License<a name="line.20"></a>
<span class="sourceLineNo">021</span> * along with Cobertura; if not, write to the Free Software<a name="line.21"></a>
<span class="sourceLineNo">022</span> * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307<a name="line.22"></a>
<span class="sourceLineNo">023</span> * USA<a name="line.23"></a>
<span class="sourceLineNo">024</span> */<a name="line.24"></a>
<span class="sourceLineNo">025</span><a name="line.25"></a>
<span class="sourceLineNo">026</span>package net.sourceforge.cobertura.coveragedata.countermaps;<a name="line.26"></a>
<span class="sourceLineNo">027</span><a name="line.27"></a>
<span class="sourceLineNo">028</span>import java.util.Map;<a name="line.28"></a>
<span class="sourceLineNo">029</span><a name="line.29"></a>
<span class="sourceLineNo">030</span>public interface CounterMap<T> {<a name="line.30"></a>
<span class="sourceLineNo">031</span> public void incrementValue(T key);<a name="line.31"></a>
<span class="sourceLineNo">032</span> public void incrementValue(T key, int value); <a name="line.32"></a>
<span class="sourceLineNo">033</span> public int getValue(T key);<a name="line.33"></a>
<span class="sourceLineNo">034</span> public Map<T,Integer> getFinalStateAndCleanIt();<a name="line.34"></a>
<span class="sourceLineNo">035</span>}<a name="line.35"></a>
</pre>
</div>
</body>
</html>
|