intro-annot.java

@Pure
public Integer getUniqueNumber() {
    ...
}

@Function
public Integer getSum(List<Integer> x) {
    ...
}