tudresden.ocl.injection
Class Main
java.lang.Object
tudresden.ocl.injection.Main
- Direct Known Subclasses:
- Main
- public class Main
- extends Object
Constructor Summary |
protected |
Main()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TEMPFILE_SUFFIX
private static final String TEMPFILE_SUFFIX
- See Also:
- Constant Field Values
i
protected int i
args
protected String[] args
taskConfigs
protected final ArrayList taskConfigs
modify
private boolean modify
conf
private InstrumentorConfig conf
violationmacro
private String violationmacro
typeTraceConfig
private TypeTraceConfig typeTraceConfig
sourcefiles
private ArrayList sourcefiles
Main
protected Main()
inject
public static void inject(File inputfile,
File outputfile,
InstrumentorConfig conf)
throws IOException,
InjectorParseException
- Throws:
IOException
InjectorParseException
inject
public static void inject(File tobemodifiedfile,
InstrumentorConfig conf)
throws IOException,
InjectorParseException
- Throws:
IOException
InjectorParseException
expand
public static void expand(Collection files,
String pattern)
throws IOException
- Throws:
IOException
main
public static void main(String[] args)
printUsage
protected void printUsage(PrintStream o)
processParameter
protected void processParameter()
throws IOException,
IllegalParameterException
- Throws:
IOException
IllegalParameterException
postProcessParameters
protected void postProcessParameters()
throws IOException,
IllegalParameterException
- Throws:
IOException
IllegalParameterException
getViolationMacro
protected final String getViolationMacro()
run
protected final void run(String[] args)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.