001package daikon.chicory;
002
003/**
004 * An enumeration of various flags that give information about variables. This enum is also present
005 * in Daikon (in the {@code VarInfo} class), but is <i>intentionally</i> not shared in an effort to
006 * keep Daikon and Chicory completely independent. If you make a change, then you need to change it
007 * in all places.
008 *
009 * <p>These names are written into decl files; they should be the same across every Daikon front-end
010 * (Java or otherwise), so please do not change a name without a very good reason. Adding new names
011 * is fine.
012 *
013 * <p>These are documented in the Daikon Developer Manual, in section "A.3.3 Variable declarations"
014 * (but really ought to be documented here too...).
015 */
016public enum VarFlags {
017  IS_PARAM,
018  NO_DUPS,
019  NOT_ORDERED,
020  NO_SIZE,
021  NOMOD,
022  SYNTHETIC,
023  CLASSNAME,
024  TO_STRING,
025  NON_NULL
026}