package parser;

import java.io.FileNotFoundException;
import java.io.FileReader;

import lite.ITLSolver;

public class LogicNodeScannerTest {
	
	public static LogicNodeScanner<ITLSolver> scan;

	public static void main(String arg[]) {
		initScanner();
		if (arg.length==0) {
			arg = new String[1];
			arg[0] = "test";
		}
		for(String file: arg) {
			try {
				scan(new FileReader(file));
			} catch (FileNotFoundException e) {
				scan(file);
			}
		}
	}
	
	public static void initScanner() {
		Dictionary<ITLSolver> dict = new Dictionary<ITLSolver>();
		scan = new LogicNodeScanner<ITLSolver>(dict);
	}


	public static void scan(String exp) {
		for(Token<ITLSolver> t : scan.scanToken(exp)) {
			System.out.print(t+" ");
		}
		System.out.println();
	}
	
	public static void scan(FileReader file) {
		for(Token<ITLSolver> t : scan.scanToken(file)) {
			System.out.print(t+" ");
			System.out.println();
		}
	}
	

}