public class PythonTreeGenerator
extends com.github.gumtreediff.gen.ExternalProcessTreeGenerator
| Constructor and Description |
|---|
PythonTreeGenerator() |
| Modifier and Type | Method and Description |
|---|---|
com.github.gumtreediff.tree.TreeContext |
generate(java.io.Reader r) |
java.lang.String[] |
getCommandLine(java.lang.String file) |
com.github.gumtreediff.tree.TreeContext |
getTreeContext(java.lang.String xml) |
readStandardOutputpublic com.github.gumtreediff.tree.TreeContext generate(java.io.Reader r)
throws java.io.IOException
generate in class com.github.gumtreediff.gen.TreeGeneratorjava.io.IOExceptionpublic com.github.gumtreediff.tree.TreeContext getTreeContext(java.lang.String xml)
public java.lang.String[] getCommandLine(java.lang.String file)
getCommandLine in class com.github.gumtreediff.gen.ExternalProcessTreeGenerator