org.checkerframework.checker.lock.LockChecker Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
Show all versions of checker Show documentation
The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
package org.checkerframework.checker.lock;
import org.checkerframework.common.basetype.BaseTypeChecker;
// TODO: Here is a list of nice-to-have features/tests but not critical to release the Lock Checker:
// Add a warning if a user annotates a static field with @GuardedBy("this") instead of
// @GuardedBy(".class")
// Add a test that @GuardedBy(".class") is never ambiguous given two classes with the
// same name in two different packages.
// In LockStore.updateForMethodCall, calling a method annotated with @MayReleaseLocks should not
// always cause local variables' refinement to be reset to @GuardedByUnknown.
// The current workaround is to explicitly annotate the local variable with the appropriate
// annotation in the @GuardedBy hierarchy.
// Would it be a useful feature for the Lock Checker to warn about missing unlock calls when there
// is a call to .lock() in a method?
// Or is this a common pattern to lock in one method and unlock in a different one?
/**
* The Lock Checker.
*
* @checker_framework.manual #lock-checker Lock Checker
*/
public class LockChecker extends BaseTypeChecker {}