@NamePrefixed(prefix = "Aa") public class A {}

循环 1:
        输入文件: {A}
        注释: [NamePrefixed]
        最后一个循环: false
处理程序Processor与[NamePrefixed]匹配并返回true。
注: Prefix: Aa from [NamePrefixed]
警告: Name A does not started with Aa
循环 2:
        输入文件: {}
        注释: []
        最后一个循环: true
1 个警告

(A∪B) = {x | x∈A ∨ x∈B}
(Int∪String) = {1,2,3,"A","B","C",...}

try { scanUserInput(); }
catch (EOFException | ReadError | ParserError e) { e.printStackTrace(); }

(A∩B) = {x | x∈A ∧ x∈B}
(String∩Object) = {"a", "str", ...}
(Exception∩RuntimeException) = RuntimeException

val rm = RangeMap<Int, String>()
rm[0 until 1] = "0"
rm[1 until 4] = "123"
rm[4 until 6] = "45"

assert (0 in rm)
assert (3 in rm)
assert (rm.containsEdge(0))
assert (6 !in rm)
assert (rm[0] == "0")
assert (rm[3] == "123")
assert (rm[5] == "45")
assert (rm.containsShadow(5))

class Array
def lookupFirstGE(near, beg = 0, endInclusive = size-1)
  puts("#{beg} until #{endInclusive}")
  viewport = endInclusive - beg
  if viewport == 0 then return self[beg] end
    if viewport == 1 then return self[endInclusive] end
  mid = (viewport+1) / 2; item = self[mid]
  return case
  when item == near then item
  when item > near then lookupFirstGE(near, beg, mid-1)
  when item < near then lookupFirstGE(near, mid+1, endInclusive)
  end
end
end