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 }