Class LockChecker

All Implemented Interfaces:
Processor, OptionConfiguration

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

    • LockChecker

      public LockChecker()