public class ASTSynchronizedBlockNode extends ASTLabeledNode
col, line
Constructor and Description |
---|
ASTSynchronizedBlockNode(SETNodeLabel label,
List<Object> body,
Value local) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Analysis a) |
Object |
clone()
Returns a deep clone of this object.
|
Local |
getLocal() |
void |
replaceBody(List<Object> body) |
void |
setLocal(Local local) |
int |
size() |
String |
toString() |
void |
toString(UnitPrinter up) |
get_Label, label_toString, label_toString, perform_Analysis, set_Label
body_toString, body_toString, branches, fallsThrough, get_SubBodies, perform_AnalysisOnSubBodies
addBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag
public ASTSynchronizedBlockNode(SETNodeLabel label, List<Object> body, Value local)
public int size()
public Local getLocal()
public void setLocal(Local local)
public Object clone()
AbstractUnit
clone
in interface Unit
clone
in class AbstractUnit
public void toString(UnitPrinter up)