Lines 207-215
Link Here
|
207 |
this.sourceLevel = sourceLevel; |
207 |
this.sourceLevel = sourceLevel; |
208 |
this.complianceLevel = complianceLevel; |
208 |
this.complianceLevel = complianceLevel; |
209 |
this.checkNonExternalizedStringLiterals = checkNonExternalizedStringLiterals; |
209 |
this.checkNonExternalizedStringLiterals = checkNonExternalizedStringLiterals; |
210 |
this.taskTags = taskTags; |
210 |
if (taskTags != null && taskPriorities != null) { |
211 |
this.taskPriorities = taskPriorities; |
211 |
int length = taskTags.length; |
212 |
this.isTaskCaseSensitive = isTaskCaseSensitive; |
212 |
int[] initialIndexes = new int[length]; |
|
|
213 |
for (int i = 0; i < length; i++) initialIndexes[i] = i; |
214 |
Util.reverseQuickSort(taskTags, 0, taskTags.length - 1, initialIndexes); |
215 |
this.taskTags = taskTags; |
216 |
char[][] temp = new char[length][]; |
217 |
for (int i = 0; i < length; i++) { |
218 |
temp[i] = taskPriorities[initialIndexes[i]]; |
219 |
} |
220 |
this.taskPriorities = temp; |
221 |
this.isTaskCaseSensitive = isTaskCaseSensitive; |
222 |
} |
213 |
} |
223 |
} |
214 |
|
224 |
|
215 |
public Scanner( |
225 |
public Scanner( |