/*
 * PredChecker.java
 *
 * Created on 18 de Junho de 2005, 09:12
 *
 * 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 net.sourceforge.czt.base.ast.*;
import net.sourceforge.czt.circus.ast.*;
import net.sourceforge.czt.circus.visitor.*;
import net.sourceforge.czt.typecheck.z.util.*;
import net.sourceforge.czt.typecheck.z.impl.*;
import net.sourceforge.czt.typecheck.circus.impl.*;
import net.sourceforge.czt.typecheck.z.*;

/**
 *
 * @author Manuela
 */
public class PredChecker
  extends Checker
{
    
  //a Z pred checker
  protected net.sourceforge.czt.typecheck.z.PredChecker zPredChecker_;

  public PredChecker(TypeChecker typeChecker)
  {
    super(typeChecker);
    zPredChecker_ =
      new net.sourceforge.czt.typecheck.z.PredChecker(typeChecker);
  }

  public Object visitTerm(Term term)
  {
    return term.accept(zPredChecker_);
  }
    
}
