return lineNumber;
}
@Override
public int columnNumber() {
return columnNumber;
<BUG>}
});
} else if (sink.equals(a.getType())) {</BUG>
final ElementValue levelValue = a.getNamedArguments().get("level");
final String level;

return lineNumber;
}
@Override
public int columnNumber() {
return columnNumber;
}
@Override
public String toString() {
return "@Source(level = " + level + ", includes = " + Arrays.toString(includes) + ", mayKnow = " + Arrays.toString(mayKnow) + ")";
};
}, sourceFile));
} else if (sink.equals(a.getType())) {
final ElementValue levelValue = a.getNamedArguments().get("level");
final String level;
