Package it.unive.lisa.checks

Class ChecksExecutor

  • public final class ChecksExecutor
extends java.lang.Object
    Utility class that handles the execution of Checks.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <C extends Check<T>,​T>
      void      		 executeAll​(T tool, Program program, java.lang.Iterable<C> checks)
      Executes all the given checks on the given inputs cfgs.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • executeAll

        public static <C extends Check<T>,​T> void executeAll​(T tool,
                                                           Program program,
                                                           java.lang.Iterable<C> checks)
        Executes all the given checks on the given inputs cfgs.
        Type Parameters:
        C - the type of the checks to execute
        T - the type of the auxiliary tool used by the check
        Parameters:
        tool - the auxiliary tool to be used during the checks execution
        program - the program to analyze
        checks - the checks to execute