Searched refs:recordVector (Results 1 – 1 of 1) sorted by relevance
123 Vector recordVector = recordVectors[script]; in add() local125 if (recordVector == null) { in add()126 recordVector = recordVectors[script] = new Vector(); in add()129 recordVector.add(new Record(character, script)); in add()147 Vector recordVector = recordVectors[script]; in getRecord() local149 if (recordVector == null || index < 0 || index >= recordVector.size()) { in getRecord()153 return (Record) recordVector.elementAt(index); in getRecord()