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.java27 private final PriorityCategory priorityCategory; field in OptionPriority
31 private OptionPriority(PriorityCategory priorityCategory, int index, boolean locked) { in OptionPriority() argument
32 this.priorityCategory = priorityCategory; in OptionPriority()
51 return new OptionPriority(priority.priorityCategory, priority.index + 1, false); in nextOptionPriority()
64 return new OptionPriority(priority.priorityCategory, priority.index, true); in getLockedPriority()
68 return priorityCategory; in getPriorityCategory()
73 if (priorityCategory.equals(o.priorityCategory)) { in compareTo()
76 return priorityCategory.ordinal() - o.priorityCategory.ordinal(); in compareTo()
83 return other.priorityCategory.equals(priorityCategory) && other.index == index; in equals()
90 return Objects.hash(priorityCategory, index); in hashCode()
[all …]
DOptionsParserImpl.java361 PriorityCategory priorityCategory = origin.getPriority().getPriorityCategory(); in addOptionValueAtSpecificPriority() local
362 boolean isNotDefault = priorityCategory != OptionPriority.PriorityCategory.DEFAULT; in addOptionValueAtSpecificPriority()
369 priorityCategory); in addOptionValueAtSpecificPriority()