Dresden OCL Toolkit

tudresden.ocl.injection
Interface TaskInstrumentor

All Known Implementing Classes:
OclInstrumentor, TypeCheckInstrumentor, TypeTraceInstrumentor

public interface TaskInstrumentor


Method Summary
 String getMutex()
           
 void onAttributeChanged(Writer o, JavaAttribute ja, boolean is_weakly_typed)
           
 void onClassEnd(Writer o, JavaClass jc)
           
 void onClassEndPerFeature(Writer o, JavaFeature jf)
           
 void onClassFeature(JavaFeature cf, String doccomment)
           
 void onDocComment(JavaClass jc, String doccomment)
          Called for any non-file-level javadoc comment inside a class jc.
 void onFileDocComment(JavaClass jc, String doccomment)
          Called for file-level javadoc comments that can be linked to a class jc.
 void onWrapperConstructor(Writer o, JavaConstructor jc)
           
 void onWrapperDefaultConstructor(Writer o, JavaClass jc)
           
 void onWrapperPost(Writer o, JavaMethod jm)
           
 void onWrapperPre(Writer o, JavaMethod jm)
           
 void setLineSeparator(String lineSeparator)
           
 

Method Detail

setLineSeparator

public void setLineSeparator(String lineSeparator)

onDocComment

public void onDocComment(JavaClass jc,
                         String doccomment)
Called for any non-file-level javadoc comment inside a class jc.


onFileDocComment

public void onFileDocComment(JavaClass jc,
                             String doccomment)
Called for file-level javadoc comments that can be linked to a class jc.


onClassFeature

public void onClassFeature(JavaFeature cf,
                           String doccomment)

onAttributeChanged

public void onAttributeChanged(Writer o,
                               JavaAttribute ja,
                               boolean is_weakly_typed)
                        throws IOException
Throws:
IOException

getMutex

public String getMutex()

onWrapperConstructor

public void onWrapperConstructor(Writer o,
                                 JavaConstructor jc)
                          throws IOException
Throws:
IOException

onWrapperDefaultConstructor

public void onWrapperDefaultConstructor(Writer o,
                                        JavaClass jc)
                                 throws IOException
Throws:
IOException

onWrapperPre

public void onWrapperPre(Writer o,
                         JavaMethod jm)
                  throws IOException
Throws:
IOException

onWrapperPost

public void onWrapperPost(Writer o,
                          JavaMethod jm)
                   throws IOException
Throws:
IOException

onClassEndPerFeature

public void onClassEndPerFeature(Writer o,
                                 JavaFeature jf)
                          throws IOException
Throws:
IOException

onClassEnd

public void onClassEnd(Writer o,
                       JavaClass jc)
                throws IOException
Throws:
IOException

Dresden OCL Toolkit

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