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}