Class ContractExecutionTracker


  • public class ContractExecutionTracker
    extends Object
    Keeps track of contract executions to avoid cyclic contract checks.
    • Constructor Detail

      • ContractExecutionTracker

        public ContractExecutionTracker()
    • Method Detail

      • track

        public static boolean track​(String className,
                                    String methodIdentifier,
                                    String assertionType,
                                    boolean isStatic)
      • clear

        public static void clear​(String className,
                                 String methodIdentifier,
                                 String assertionType,
                                 boolean isStatic)