001/* 002 * Cobertura - http://cobertura.sourceforge.net/ 003 * 004 * Copyright (C) 2003 jcoverage ltd. 005 * Copyright (C) 2005 Mark Doliner 006 * 007 * Cobertura is free software; you can redistribute it and/or modify 008 * it under the terms of the GNU General Public License as published 009 * by the Free Software Foundation; either version 2 of the License, 010 * or (at your option) any later version. 011 * 012 * Cobertura is distributed in the hope that it will be useful, but 013 * WITHOUT ANY WARRANTY; without even the implied warranty of 014 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 015 * General Public License for more details. 016 * 017 * You should have received a copy of the GNU General Public License 018 * along with Cobertura; if not, write to the Free Software 019 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 020 * USA 021 */ 022 023package net.sourceforge.cobertura.coveragedata; 024 025/** 026 * Tag interface indicating that a particular class has already been 027 * instrumented. This interface should also be implemented by those 028 * classes that do not wish to be instrumented. 029 */ 030public interface HasBeenInstrumented 031{ 032 /* 033 * This class does not need any members. If a given class implements 034 * this class, it means the given class does not want to be instrumented 035 * by Cobertura. 036 */ 037}