/**
 * <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: TrailerParseResult.java,v 1.1 2006/08/25 17:00:59 wprinz Exp $
 */
package at.knowcenter.wag.exactparser.parsing.results;

/**
 * The ParseResult of parsing the trailer.
 * 
 * @author wprinz
 */
public class TrailerParseResult extends ParseResult {

  public int contents_index = -1;
  public int contents_end_index = -1;
  
  public DictionaryParseResult dpr = null;
  
  public IndirectObjectReferenceParseResult info;

  public IndirectObjectReferenceParseResult root;
  
  /**
   * The content of the "/Size" entry.
   */
  public int size;

  /**
   * Tells, if this PDF footer has a predecessor (as specified by
   * the /Prev entry).
   */
  public boolean has_predecessor = false;

  /**
   * The index of the predecessor.
   * 
   * <p>
   * Only valid if has_predecessor is true.
   * </p>
   * <p>
   * Use getPrev and setPrev to access this member variable.
   * </p>
   * 
   * @see #getPrev()
   * @see #setPrev(int)
   */
  private int prev = -1;
  
  public int getPrev() {
    assert has_predecessor;
    return prev;
  }

  public void setPrev(int prev) {
    assert has_predecessor : "Set has_predecessor to true first.";
    this.prev = prev;
  }
  
  
  
  
  
}