public class ControlFilesGenerator
extends java.lang.Object
TermIndex
.Constructor and Description |
---|
ControlFilesGenerator(TermIndex termIndex) |
Modifier and Type | Method and Description |
---|---|
void |
generate(java.io.File directory) |
static java.lang.String |
getCompoundsFileName() |
static java.lang.String |
getDerivatesFileName() |
static java.lang.String |
getPrefixFileName() |
static java.lang.String |
getSyntacticRuleFileName(java.lang.String ruleName) |
static java.lang.String |
ruleNametoFileName(java.lang.String ruleName) |
static java.lang.String |
toCompoundString(Term t) |
public ControlFilesGenerator(TermIndex termIndex)
public void generate(java.io.File directory) throws java.io.IOException
directory
- the directory where to create the files.java.io.IOException
public static java.lang.String getCompoundsFileName()
public static java.lang.String getDerivatesFileName()
public static java.lang.String getPrefixFileName()
public static java.lang.String getSyntacticRuleFileName(java.lang.String ruleName)
public static java.lang.String ruleNametoFileName(java.lang.String ruleName)
public static java.lang.String toCompoundString(Term t)