3 public class ThreadInfo {
5 public ThreadInfo(FlexScheduler fs) {
14 public void setObject(int oid) {
18 public void setIndex(int index) {
22 public int getObject() {
26 public int getIndex() {
30 public void setObjIndex(ObjIndex oi) {
35 public ObjIndex getObjIndex() {
36 return new ObjIndex(oid, index);
39 public boolean isStalled() {
42 public void setStall(boolean stall) {