src/Pure/General/word.scala
changeset 73344 f5c147654661
parent 71867 3ee14fc25736
child 75393 87ebf5a50283
equal deleted inserted replaced
73343:d0378baf7d06 73344:f5c147654661
    55       if (str.nonEmpty) {
    55       if (str.nonEmpty) {
    56         if (Codepoint.iterator(str).forall(Character.isLowerCase)) Some(Lowercase)
    56         if (Codepoint.iterator(str).forall(Character.isLowerCase)) Some(Lowercase)
    57         else if (Codepoint.iterator(str).forall(Character.isUpperCase)) Some(Uppercase)
    57         else if (Codepoint.iterator(str).forall(Character.isUpperCase)) Some(Uppercase)
    58         else {
    58         else {
    59           val it = Codepoint.iterator(str)
    59           val it = Codepoint.iterator(str)
    60           if (Character.isUpperCase(it.next) && it.forall(Character.isLowerCase))
    60           if (Character.isUpperCase(it.next()) && it.forall(Character.isLowerCase))
    61             Some(Capitalized)
    61             Some(Capitalized)
    62           else None
    62           else None
    63         }
    63         }
    64       }
    64       }
    65       else None
    65       else None