Searched refs:typeSet (Results 1 – 1 of 1) sorted by relevance
129 IntervalSet typeSet = (IntervalSet)label.getSet(); in getTokenType() local130 int randomIndex = random.nextInt(typeSet.size()); in getTokenType()131 return typeSet.get(randomIndex); in getTokenType()