001package daikon.chicory; 002 003/** 004 * An enumeration of the various kinds of variables. This same information is present within Daikon 005 * (in the {@code VarInfo} class), but is <i>intentionally</i> not shared with Daikon in an effort 006 * to keep Daikon and Chicory completely independent. 007 * 008 * <p>These names are written into decl files; they should be the same across every Daikon front-end 009 * (Java or otherwise), so please do not change them without a very good reason. 010 */ 011public enum VarKind { 012 FIELD, 013 FUNCTION, 014 ARRAY, 015 VARIABLE, 016 RETURN 017}