Package daikon.split
Class SplitterList
- Object
-
- SplitterList
-
public abstract class SplitterList extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static booleandkconfig_all_splittersBoolean.
-
Constructor Summary
Constructors Constructor Description SplitterList()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static StringformatSplitters(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 voidput(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
-
-