public Printer(Type t, String filename)  {
		this.type = t;
		String suffix = ".all.tsv";
		if (t == Type.TIMING) {
			suffix = ".timing.tsv";
		} else if (t == Type.TEXT) {
			suffix = ".text.tsv";
		}
		
		f = new File(filename + suffix);
		//clear the file
		try {
			FileOutputStream out = new FileOutputStream(f);
			out.close();
		} catch (IOException e1) {
			// TODO Auto-generated catch block
			e1.printStackTrace();
		}
	}