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}