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();
		}
	}
}