001    package escjava;
002    
003    import java.awt.Color;
004    
005    public class ColorOptions {
006        static public final Color notParsed = null;
007        static public final /*@ non_null @*/ Color typecheckOK = Color.GREEN;
008        static public final /*@ non_null @*/ Color typecheckCaution = Color.YELLOW;
009        static public final /*@ non_null @*/ Color typecheckError = Color.RED;
010        static public final /*@ non_null @*/ Color staticcheckOK = Color.GREEN;
011        static public final /*@ non_null @*/ Color staticcheckError = Color.RED;
012        static public final /*@ non_null @*/ Color staticcheckTimeout = Color.BLUE;
013        static public final /*@ non_null @*/ Color childError = new Color(255,128,0);
014    }