Home
last modified time | relevance | path

Searched refs:priorityCategory (Results 1 – 2 of 2) sorted by relevance

/external/desugar/java/com/google/devtools/common/options/
DOptionPriority.java28 private final PriorityCategory priorityCategory; field in OptionPriority
42 PriorityCategory priorityCategory, ImmutableList<Integer> priorityIndices) { in OptionPriority() argument
43 this.priorityCategory = priorityCategory; in OptionPriority()
60 priority.priorityCategory, in nextOptionPriority()
84 parentPriority.priorityCategory, in getChildPriority()
89 return priorityCategory; in getPriorityCategory()
94 if (priorityCategory.equals(o.priorityCategory)) { in compareTo()
104 return Integer.compare(priorityCategory.ordinal(), o.priorityCategory.ordinal()); in compareTo()
111 return priorityCategory.equals(other.priorityCategory) in equals()
119 return Objects.hash(priorityCategory, priorityIndices); in hashCode()
[all …]
DOptionsParserImpl.java373 PriorityCategory priorityCategory = origin.getPriority().getPriorityCategory(); in addOptionValueAtSpecificPriority() local
374 boolean isNotDefault = priorityCategory != OptionPriority.PriorityCategory.DEFAULT; in addOptionValueAtSpecificPriority()
381 priorityCategory); in addOptionValueAtSpecificPriority()