Searched refs:MAX_CHAR_VALUE (Results 1 – 7 of 7) sorted by relevance
308 s.add(99,Label.MAX_CHAR_VALUE); in testComplement3()310 String result = (s.complement(1,Label.MAX_CHAR_VALUE)).toString(); in testComplement3()
91 public static final int MAX_CHAR_VALUE = '\uFFFF'; field in Label
501 int smin = Label.MAX_CHAR_VALUE + 1;538 if ( smax<0 || smin>Label.MAX_CHAR_VALUE || smin<0 ) {
354 return Label.MAX_CHAR_VALUE; in getMaxCharValue()
53 public static final IntervalSet COMPLETE_SET = IntervalSet.of(0,Label.MAX_CHAR_VALUE);
2461 ttype >= Label.MIN_CHAR_VALUE && ttype <= Label.MAX_CHAR_VALUE ) in getTokenDisplayName()2963 return Label.MAX_CHAR_VALUE; in getMaxCharValue()
630 public static final int MAX_CHAR_VALUE = '\uFFFF';