Class LockChecker

All Implemented Interfaces:
Processor, OptionConfiguration

public class LockChecker extends BaseTypeChecker
The Lock Checker.
See the Checker Framework Manual:
Lock Checker
  • Constructor Details Link icon

    • LockChecker Link icon

      public LockChecker()