Trees.java 文件源码

/** Save this tree in a postscript file using a particular font name and size */
public static void save(Tree t,
                        List<String> ruleNames, String fileName,
                        String fontName, int fontSize)
throws IOException
{
    writePS(t, ruleNames, fileName, fontName, fontSize);
}