|
SandMark version 2.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--sandmark.watermark.venkie.StaticWriteParityMarker
Constructor Summary | |
(package private) |
StaticWriteParityMarker(boolean _oddIsMarked,
de.fub.bytecode.generic.ClassGen cg)
|
Method Summary | |
protected abstract int |
getParity(BasicBlock b)
|
void |
mark(BasicBlock b)
|
void |
unmark(BasicBlock b)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
StaticWriteParityMarker(boolean _oddIsMarked, de.fub.bytecode.generic.ClassGen cg)
Method Detail |
protected abstract int getParity(BasicBlock b)
public final void mark(BasicBlock b)
mark
in interface BasicBlockMarker
public final void unmark(BasicBlock b)
unmark
in interface BasicBlockMarker
|
SandMark version 2.1 Wed Jul 3 17:27:43 MST 2002 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |