/*
 * ErrorAnn.java
 *
 * Created on 18 de Junho de 2005, 15:20
 *
 * To change this template, choose Tools | Options and locate the template under
 * the Source Creation and Management node. Right-click the template and choose
 * Open. You can then make changes to the template in the Source Editor.
 */

package net.sourceforge.czt.typecheck.circus;

import java.util.*;
import java.io.*;
import java.text.MessageFormat;

import net.sourceforge.czt.base.ast.*;
import net.sourceforge.czt.z.ast.*;
import net.sourceforge.czt.session.*;
//import net.sourceforge.czt.print.circus.PrintUtils;
import net.sourceforge.czt.typecheck.circus.util.CarrierSet;

/**
 * A class for annotating terms associated with error messages.
 */
public class ErrorAnn
  extends net.sourceforge.czt.typecheck.z.ErrorAnn
{
  private static String RESOURCE_NAME =
    "net.sourceforge.czt.typecheck.circus.TypeCheckResources";
  private static ResourceBundle RESOURCE_BUNDLE =
    ResourceBundle.getBundle(RESOURCE_NAME);

  public ErrorAnn(String errorMessage, Object [] params,
                  SectionInfo sectInfo, String sectName,
                  LocAnn locAnn, Markup markup)
  {
    this(errorMessage, params, sectInfo, sectName, locAnn, null, markup);
  }

  public ErrorAnn(String errorMessage, Object [] params,
                  SectionInfo sectInfo, String sectName,
                  LocAnn locAnn, TermA termA, Markup markup)
  {
    super(errorMessage, params, sectInfo, sectName, locAnn, termA, markup);
  }

  protected CarrierSet getCarrierSet()
  {
    return new CarrierSet(true);
  }

  protected void print(Term term,
                       Writer writer,
                       SectionInfo sectInfo,
                       String sectName,
                       Markup markup)
  {
//    PrintUtils.print(term, writer, sectInfo, sectName, markup_);
  } 
}
