package jcircus;
  
  import java.io.IOException;
  
  import net.sourceforge.czt.base.ast.Term;
  import net.sourceforge.czt.base.util.UnmarshalException;
  import net.sourceforge.czt.parser.oz.ParseUtils;
  import net.sourceforge.czt.parser.util.ParseException;
  import net.sourceforge.czt.session.FileSource;
  import net.sourceforge.czt.session.SectionInfo;
  import net.sourceforge.czt.session.SectionManager;
  import net.sourceforge.czt.z.ast.Spec;
  
  public class TesteNewParser {
  	public static void main (String args []) {
  		FileSource source = new FileSource ("C:\\Users\\sam\\Doutorado\\Artigo_CPA\\artigo_dissertação_cpa2012sty\\roullete_new_parser.tex");
  		SectionInfo si;
  		try {
  			Term term = ParseUtils.parse(source, new SectionManager ("Circus"));
  		} catch (ParseException e) {
  			// TODO Auto-generated catch block
  			e.printStackTrace();
  		} catch (IOException e) {
  			// TODO Auto-generated catch block
  			e.printStackTrace();
  		} catch (UnmarshalException e) {
  			// TODO Auto-generated catch block
  			e.printStackTrace();
  		}
  	}
  }