Package daikon.split

Class SplitterList

    • Field Detail

      • dkconfig_all_splitters

        public static boolean dkconfig_all_splitters
        Boolean. Enables indiscriminate splitting (see Daikon manual, @ref{Indiscriminate splitting}, for an explanation of this technique).
    • Method Detail

      • put

        public static void put​(String pptname,
                               Splitter[] splits)
        Associate an array of splitters with the program point pptname.
      • get

        public static Splitter @Nullable [] get​(String pptName)
        Return the splitters associated with this program point name (or null). The resulting splitters are factories, not instantiated splitters.
        Returns:
        an array of splitters
      • get_all

        public static Splitter[] get_all()
        Return all the splitters in this program, The resulting splitters are factories, not instantiated splitters.
        Returns:
        an array of splitters