home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2001 December / dppcpro1201.iso / Extras / maple / Viewer / WebEQ / MMLViewerInstall.cab / MMLViewerApplet.cab / webeq3 / action / SyntaxInfo.class (.txt) < prev   
Encoding:
Java Class File  |  2001-05-24  |  2.1 KB  |  97 lines
  1. package webeq3.action;
  2.  
  3. import java.awt.Color;
  4.  
  5. public class SyntaxInfo {
  6.    public static final int NONE = 0;
  7.    public static final int OPERATOR = 1;
  8.    public static final int OPERAND = 2;
  9.    public static final int FUNCTION = 3;
  10.    public static final int WHITESPACE = 4;
  11.    public static final int FENCE = 5;
  12.    public static final int WARNING = 6;
  13.    public static final int ERROR = 7;
  14.    static Color[] fgcolors;
  15.    static Color[] bgcolors;
  16.    static Color[] framecolors;
  17.    public int type = 0;
  18.    public int errorStatus = 0;
  19.    public int framestyle;
  20.    public boolean blink;
  21.    private Color fgcolor;
  22.    private Color bgcolor;
  23.    private Color framecolor;
  24.    protected boolean blink_on;
  25.  
  26.    public SyntaxInfo() {
  27.       this.type = 0;
  28.       this.refresh();
  29.    }
  30.  
  31.    public SyntaxInfo(int var1) {
  32.       this.type = var1;
  33.       this.refresh();
  34.    }
  35.  
  36.    public Color getFGcolor() {
  37.       return this.fgcolor;
  38.    }
  39.  
  40.    public Color getBGcolor() {
  41.       return this.bgcolor;
  42.    }
  43.  
  44.    public Color getFramecolor() {
  45.       return this.framecolor;
  46.    }
  47.  
  48.    public void setType(int var1) {
  49.       this.type = var1;
  50.       this.refresh();
  51.    }
  52.  
  53.    public void setError(int var1) {
  54.       this.errorStatus = var1;
  55.       this.blink = true;
  56.       this.refresh();
  57.    }
  58.  
  59.    public void setBlink(boolean var1) {
  60.       this.blink = var1;
  61.    }
  62.  
  63.    public void setFrame(int var1) {
  64.       this.framestyle = var1;
  65.       this.refresh();
  66.    }
  67.  
  68.    protected void refresh() {
  69.       if (this.errorStatus != 0) {
  70.          if (!this.blink_on && this.blink) {
  71.             this.fgcolor = fgcolors[this.type];
  72.             this.bgcolor = bgcolors[this.type];
  73.             this.framecolor = framecolors[this.type];
  74.          } else {
  75.             this.fgcolor = fgcolors[this.errorStatus];
  76.             this.bgcolor = bgcolors[this.errorStatus];
  77.             this.framecolor = framecolors[this.errorStatus];
  78.          }
  79.       } else if (!this.blink_on && this.blink) {
  80.          this.fgcolor = null;
  81.          this.bgcolor = null;
  82.          this.framecolor = null;
  83.       } else {
  84.          this.fgcolor = fgcolors[this.type];
  85.          this.bgcolor = bgcolors[this.type];
  86.          this.framecolor = framecolors[this.type];
  87.       }
  88.  
  89.    }
  90.  
  91.    static {
  92.       fgcolors = new Color[]{Color.black, Color.red, Color.blue, Color.green.darker(), Color.black, Color.black, Color.black, Color.black};
  93.       bgcolors = new Color[]{null, null, null, null, null, null, Color.yellow, Color.red};
  94.       framecolors = new Color[]{Color.white, Color.white, Color.white, Color.white, Color.white, Color.gray, Color.yellow, Color.red};
  95.    }
  96. }
  97.