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     */
023    package com.jcoverage.coverage;
024    
025    import java.io.Serializable;
026    
027    /**
028     * A conditional records the position of a conditional branch
029     * instruction, and the position of the branch target. Conditionals
030     * are used internally by the instrumentation to determine branch
031     * coverage.
032     */
033    interface Conditional extends Serializable {
034      /**
035       * The line number of this conditional branch. (Actually, its the
036       * source line immediately after the conditional branch, so that
037       * instrumentation can determine whether the "fall-through" branch
038       * has been executed).
039       */
040      int getLineNumber();
041    
042      /**
043       * The target line number of this conditional branch.
044       */
045      int getTargetLineNumber();
046    }