public class ExtensionInfo
extends polyglot.ext.jl.ExtensionInfo
Constructor and Description |
---|
ExtensionInfo() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
compilerName() |
protected NodeFactory |
createNodeFactory() |
protected Options |
createOptions()
Appends the soot classpath to the default system classpath.
|
protected TypeSystem |
createTypeSystem() |
java.lang.String |
defaultFileExtension() |
java.util.List |
passes(Job job) |
java.util.HashMap<Source,Job> |
sourceJobMap() |
void |
sourceJobMap(java.util.HashMap<Source,Job> map) |
public java.lang.String defaultFileExtension()
public java.lang.String compilerName()
protected NodeFactory createNodeFactory()
protected TypeSystem createTypeSystem()
public java.util.List passes(Job job)
public java.util.HashMap<Source,Job> sourceJobMap()
public void sourceJobMap(java.util.HashMap<Source,Job> map)
protected Options createOptions()