/**
 * <copyright> Copyright (c) 2006 by Know-Center, Graz, Austria </copyright>
 * 
 * This software is the confidential and proprietary information of Know-Center,
 * Graz, Austria. You shall not disclose such Confidential Information and shall
 * use it only in accordance with the terms of the license agreement you entered
 * into with Know-Center.
 * 
 * KNOW-CENTER MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
 * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR
 * NON-INFRINGEMENT. KNOW-CENTER SHALL NOT BE LIABLE FOR ANY DAMAGES SUFFERED BY
 * LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING THIS SOFTWARE OR ITS
 * DERIVATIVES.
 * 
 * $Id: XRefSubSectionParseResult.java,v 1.1 2006/08/25 17:00:59 wprinz Exp $
 */
package at.knowcenter.wag.exactparser.parsing.results;

import java.util.ArrayList;
import java.util.List;

/**
 * Contains an xref sub-section.
 * 
 * <p>
 * An xref sub-section is an ordered list of xref lines. The object numbers of the
 * corresponding objects are numbered incrementally.
 * </p>
 * <p>
 * xref sections are important in Incremental Updates because they allow to
 * specify explicitely which objects (object numbers) are contained in the xref.
 * </p>
 * 
 * @author wprinz
 */
public class XRefSubSectionParseResult extends ParseResult {

  public int start_obj_number;

  public int num_objects;

  public List xref_lines = new ArrayList();

  public void appendXRefLine(XRefLineParseResult xref_line) {
    assert xref_lines.size() < num_objects;

    xref_lines.add(xref_line);
  }

}