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.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 */
033interface 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}