tudresden.ocl.injection
Class TypeCheckInstrumentor
java.lang.Object
tudresden.ocl.injection.TypeCheckInstrumentor
- All Implemented Interfaces:
- TaskInstrumentor
- public final class TypeCheckInstrumentor
- extends Object
- implements 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 jf,
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)
|
private void |
write(Writer o,
JavaAttribute ja,
String kind,
String type)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
violationmacro
private String violationmacro
lineSeparator
private String lineSeparator
TypeCheckInstrumentor
public TypeCheckInstrumentor(String violationmacro)
setLineSeparator
public void setLineSeparator(String lineSeparator)
- Specified by:
setLineSeparator
in interface TaskInstrumentor
onAttributeChanged
public void onAttributeChanged(Writer o,
JavaAttribute ja,
boolean is_weakly_typed)
throws IOException
- Specified by:
onAttributeChanged
in interface TaskInstrumentor
- Throws:
IOException
write
private final void write(Writer o,
JavaAttribute ja,
String kind,
String type)
throws IOException
- Throws:
IOException
onDocComment
public void onDocComment(JavaClass jc,
String doccomment)
- Description copied from interface:
TaskInstrumentor
- Called for any non-file-level javadoc comment inside a class jc.
- Specified by:
onDocComment
in interface TaskInstrumentor
onFileDocComment
public void onFileDocComment(JavaClass jc,
String doccomment)
- Description copied from interface:
TaskInstrumentor
- Called for file-level javadoc comments that can be linked to a class jc.
- Specified by:
onFileDocComment
in interface TaskInstrumentor
onClassFeature
public void onClassFeature(JavaFeature jf,
String doccomment)
- Specified by:
onClassFeature
in interface TaskInstrumentor
getMutex
public String getMutex()
- Specified by:
getMutex
in interface TaskInstrumentor
onWrapperConstructor
public void onWrapperConstructor(Writer o,
JavaConstructor jc)
- Specified by:
onWrapperConstructor
in interface TaskInstrumentor
onWrapperDefaultConstructor
public void onWrapperDefaultConstructor(Writer o,
JavaClass jc)
- Specified by:
onWrapperDefaultConstructor
in interface TaskInstrumentor
onWrapperPre
public void onWrapperPre(Writer o,
JavaMethod jm)
- Specified by:
onWrapperPre
in interface TaskInstrumentor
onWrapperPost
public void onWrapperPost(Writer o,
JavaMethod jm)
- Specified by:
onWrapperPost
in interface TaskInstrumentor
onClassEndPerFeature
public void onClassEndPerFeature(Writer o,
JavaFeature jf)
- Specified by:
onClassEndPerFeature
in interface TaskInstrumentor
onClassEnd
public void onClassEnd(Writer o,
JavaClass jc)
- Specified by:
onClassEnd
in interface TaskInstrumentor
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.