Class LockInfo


  • final class LockInfo
    extends java.lang.Object
    • Field Detail

      • leadingLabel

        public final Label leadingLabel
      • lockStoreCopy

        public final Expression lockStoreCopy
      • lockAcquire

        public final Expression lockAcquire
      • lockCopy

        public final Variable lockCopy
      • operationCount

        public final int operationCount
      • isSimpleAcquire

        public final boolean isSimpleAcquire
    • Method Detail

      • getLockVariables

        public final java.util.List<Variable> getLockVariables()