001/**
002 * www.jcoverage.com
003 * Copyright (C)2003 jcoverage ltd.
004 *
005 * This file is part of jcoverage.
006 *
007 * jcoverage 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 * jcoverage 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 jcoverage; if not, write to the Free Software
019 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
020 * USA
021 *
022 */
023package com.jcoverage.coverage;
024
025import java.util.Map;
026import java.util.Set;
027
028/**
029 * This is an internal interface used only by instrumentation. When a
030 * class is first instrumented by instrumentation certain information
031 * is serialized to disk (e.g., the valid source line numbers, the
032 * source file name, the line numbers by method, the line number of
033 * each conditional branch and its target for each method, and the
034 * method name and signature of each method found in the instrumented
035 * class.
036 */
037interface InstrumentationInternal extends Instrumentation {
038  /**
039   * @param sourceLineNumbers the set of valid source line numbers.
040   */
041  void setSourceLineNumbers(Set sourceLineNumbers);
042
043  /**
044   * @param sourceFileName the source file name.
045   */
046  void setSourceFileName(String sourceFileName);
047
048  void setSourceLineNumbersByMethod(Map sourceLineNumbersByMethod);
049
050  void setConditionalsByMethod(Map conditionalsByMethod);
051
052  void setMethodNamesAndSignatures(Set methodNamesAndSignatures);
053}
054