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)
|
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
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.