FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.
Email: Нажмите что бы посмотреть
![Простейший пример Nullness Checker[ERROR] /D:/Coding/acs-server-stub/src/main/java/com/vtb/acs/AcsController.java:[189,28] [dereference.of.nullable] dereference of possibly-null reference o[ERROR] /D:/Coding/acs-server-stub/src/main/java/com/vtb/acs/AcsController.java:[193,26]](/img/tmb/15/1436082/9f16a68abcf17301d8967268fb1027e2-720x.jpg "Checker Framework. Аннотации для статического анализа кода")
![Aliasing CheckerМетод testPlanet никак не должен менять earth![ERROR] Reference annotated as @Unique](/img/tmb/15/1436082/ac50fb2deb2ae35cf05330874f3252a0-720x.jpg "Checker Framework. Аннотации для статического анализа кода")
Property File Checker to ensure that valid keys are used for property files and resource bundles
Internationalization Checker to ensure that code is properly internationalized
Signature String Checker to ensure that the string representation of a type is properly used, for example in Class.forName
GUI Effect Checker to ensure that non-GUI threads do not access the UI, which would crash the application
Units Checker to ensure operations are performed on correct units of measurement
Signedness Checker to ensure unsigned and signed values are not mixed
Constant Value Checker to determine whether an expression’s value can be known at compile time
Aliasing Checker to identify whether expressions have aliases
Linear Checker to control aliasing and prevent re-use
Subtyping Checker for customized checking without writing any code
void showObjectSafe(@Nullable Object o) {
System.out.println(o.toString());
}
void showObject(@Nullable Object o) {
showObjectUnsafe(o);
}
void showObjectUnsafe(@NonNull Object o) {
if (o != null) {
System.out.println(o.toString());
}
}
void main() {
Person p = new Person("a", "b");
getStatistics(p.getId(), p.getJobId());
getStatistics(p.getId(), p.getJobId(), "c");
}
void getStatistics(String personId, String jobId) {
// TODO
}
void getStatistics(String jobId, String personId, Object o) {
// TODO
}
public class JobGuid extends ValueHolder public class Person {
private PersonGuid id;
private JobGuid jobId;
public Person(String id, String jobId) {
this.id = new PersonGuid(id);
this.jobId = new JobGuid(jobId);
}
public PersonGuid getId() {
return id;
}
public JobGuid getJobId() {
return jobId;
}
}
private Result generateResult(Request authRequest, @Fenum("AuthChoice1") String authChoice) {
switch (authChoice) {
case AUTH_CHOICE_CORRECT:
return new CorrectResult();
case AUTH_CHOICE_INCORRECT:
return new IncorrectResult();
}
return null;
}
// Ошибка компиляции!
// LOGGER.trace("Генерируется результат {}", authChoice);
@SuppressWarnings("interning")
public static @Interned ActionType getValueSafe(String actionTypeName) {
actionTypeName = actionTypeName.toUpperCase();
ActionType actionType = actionsMap.get(actionTypeName);
return (actionType == null) ? UNKNOWN : actionType;
}
if (ActionType.getValueSafe("DELETE") == clientAction) {
// Важная логика
}
if (ActionType.getValueSafe("DELETE") == new ActionType("DELETE")) {
// Важная логика
}
@Holding("requestsMapLock")
public void executeBusinessLogic(String data) {
data = validateData(data);
BusinessObject obj = new BusinessObject(data);
}
private String validateData(String data) {
// Логика валидации...
return pureData;
}
public void executeBusinessLogic(@Tainted String data) {
data = validateData(data);
BusinessObject obj = new BusinessObject(data);
}
@SuppressWarnings("tainting")
private @Untainted String validateData(@Tainted String data) {
// Логика валидации...
return pureData;
}
public @Regex String parenthesize(@Regex String regex) {
return "(" + regex + ")";
}
public @Regex String or(@Regex String a, @Regex String b) {
return a + "|" + b;
}
// Нет второго аргумента
MessageFormat.format("{0} {1}", 3.1415);
// Аргумент нельзя отформатировать как «время»
MessageFormat.format("{0, time}", "my string");
@I18nFormat({GENERAL, NUMBER}) String format;
format = "{0} {1} {2}";
Поддерживает также работу с ResourceBundle
System.out.printf("Float %f, number %g", 3.1415, 42);
@kmPERh double kmph = meters / secs;
@kmPERh double kmph =
UnitsTools.fromMeterPerSecondToKiloMeterPerHour(speed);
@kmPERh double kmph = speed * 3.6;
@kmPERh
public static double fromMeterPerSecondToKiloMeterPerHour(@mPERs double mps) {
return mps * 3.6D;
}
void testPlanet(@Unique Earth earth) {
Earth newPlanet = earth;
// Какая-то логика...
newPlanet.annihilate();
}
