public StaticElementInfo(
int id, ClassInfo ci, Fields f, Monitor m, ThreadInfo ti, ElementInfo eiClsObj) {
super(id, ci, f, m, ti);
if (eiClsObj != null) {
classObjectRef = eiClsObj.getObjectRef();
}
// <2do> not ideal, should be in superclass, but we need the classObjectRef for init
referencingThreads = createThreadInfoSet(ti); // initialization depends on subclass and policy
setSharednessFromReferencingThreads();
// initial attributes?
}
