Dresden OCL Toolkit

tudresden.ocl.injection
Class Main

java.lang.Object
  extended bytudresden.ocl.injection.Main
Direct Known Subclasses:
Main

public class Main
extends Object


Field Summary
protected  String[] args
           
private  InstrumentorConfig conf
           
protected  int i
           
private  boolean modify
           
private  ArrayList sourcefiles
           
protected  ArrayList taskConfigs
           
private static String TEMPFILE_SUFFIX
           
private  TypeTraceConfig typeTraceConfig
           
private  String violationmacro
           
 
Constructor Summary
protected Main()
           
 
Method Summary
static void expand(Collection files, String pattern)
           
protected  String getViolationMacro()
           
static void inject(File inputfile, File outputfile, InstrumentorConfig conf)
           
static void inject(File tobemodifiedfile, InstrumentorConfig conf)
           
static void main(String[] args)
           
protected  void postProcessParameters()
           
protected  void printUsage(PrintStream o)
           
protected  void processParameter()
           
protected  void run(String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

Main

protected Main()
Method Detail

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)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.