Package daikon.split
Class SplitterList
- Object
-
- SplitterList
-
public abstract class SplitterList extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_all_splitters
Boolean.
-
Constructor Summary
Constructors Constructor Description SplitterList()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static String
formatSplitters(Splitter[] splits)
static Splitter @Nullable []
get(String pptName)
Return the splitters associated with this program point name (or null).static Splitter[]
get_all()
Return all the splitters in this program, The resulting splitters are factories, not instantiated splitters.static Splitter @Nullable []
get_raw(String pptname)
static void
put(String pptname, Splitter[] splits)
Associate an array of splitters with the program point pptname.
-
-
-
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).
-
-
Constructor Detail
-
SplitterList
public SplitterList()
-
-
Method Detail
-
put
public static void put(String pptname, Splitter[] splits)
Associate an array of splitters with the program point pptname.
-
formatSplitters
public static String formatSplitters(Splitter[] splits)
-
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
-
-