public AID[] getAgentImages() { Object[] objs = agentImages.keySet().toArray(); AID[] result = new AID[objs.length]; for (int i = 0; i < result.length; i++) { result[i] = (AID) objs[i]; } return result; }
public AID[] getAgentImages() { Object[] objs = agentImages.keySet().toArray(); AID[] result = new AID[objs.length]; for (int i = 0; i < result.length; i++) { result[i] = (AID) objs[i]; } return result; }