//***************************************************************************** // // Beenish Chaudry, Geetika Tewari, Elif Tosun and // Ileana Streinu // // Summer 1999, Fall 1999, Spring 2000 // //***************************************************************************** // // Constants.java // // //***************************************************************************** import java.awt.*; import java.awt.event.*; import java.lang.*; import java.io.*; import java.applet.*; class Constants { //-------------------------------------- // // Point and line appearance // //-------------------------------------- //default values and initial values for the point and line public final static int shape = StateShape.scircle; public final static int fill = StateFill.fill; public final static Color fillcolor = Color.red; public final static Color contcolor = Color.black; public final static int contour = StateContour.contour; public final static int coord = StateCoord.without; // line constants - to be adjusted later public final static Color linecolor = Color.black; public final static int linestyle = StateStyle.solid; public final static int thickness = StateThickness.thick1; public final static int clipped = StateClipped.without; public final static int equation = StateEquation.without; // label: empty public final static String label = ""; public final static int visible = StateVisible.visible; //---------------------------------------- // // Window size, location and other bounds // //---------------------------------------- // location of FramePoint public final static int xFP = 50; public final static int yFP = 50; public final static int wFP = 500; public final static int hFP = 500; // location of FrameLine public final static int xFL = 550; public final static int yFL = 50; public final static int wFL = 500; public final static int hFL = 500; // location of FrameInfo public final static int xFI = 750; public final static int yFI = 50; public final static int wFI = 250; public final static int hFI = 500; // public final static int iWidth = 200; //the width of infoframe // location of FrameColor public final static int xFC = 80; public final static int yFC = 600; public final static int wFC = 500; public final static int hFC = 250; // location of FrameText public final static int xFT = 580; public final static int yFT = 600; public final static int wFT = 300; public final static int hFT = 130; //The following are used to fix the center public final static int adjustw = 5; public final static int adjusth = 45; public final static int wTextArea = 30; // width for the TextArea public final static int hTextArea = 20; // height for the TextArea public final static int gridGap = 20; //Gap between the gridlines public final static int zoom = 2; //scale for zooming public final static int locLabelX = -8; public final static int locLabelY = 0; public final static int locCoordX = 10; public final static int locCoordY = 10; public final static int locLabelLX = 5; public final static int locLabelLY = 20; public final static int locEqX = 5; public final static int locEqY = -10; public final static boolean lineFrameStart = true; public final static boolean infoFrameStart = true; public final static boolean colorFrameStart = true; //-------------------------------------------- // // Colors of various elements in the window // //-------------------------------------------- public final static Color gridC = Color.black; public final static Color paraC = Color.black; public final static Color axesC = Color.red; public final static Color frameC = Color.blue; public final static Color orcoordC = Color.blue; public final static Color selectC = Color.yellow; public final static Color backgroundP = Color.white; public final static Color backgroundL = Color.white; public final static Color colorCoord = Color.black; public final static Color colorEq = Color.black; public final static int nrColors = 10; //---------------------------------------- // // Various constants // //---------------------------------------- // dot size - used for DrawDotetdLine public final static int dotSize = 10; public final static int arrowL = 10; public final static int arrowW = 5; //Used in PointSet to initialize origin public final static Point ctOrigin = new Point(0, 0); // Used in PointSet to initialize it public final static LList nullCell = new LList(); public final static Rational Infinity = new Rational(0,0); //---------------------------------------- // // Key constants // //---------------------------------------- public final static int LEFT = 37; public final static int UP = 38; public final static int RIGHT = 39; public final static int DOWN = 40; public final static int ENTER = 10; public final static int ESC = 27; //***************************** // // Color Frame constants // //***************************** public final static int NUM_RADIO_BUT = 6; // The number of radio buttons. // indices in the radio button array - aliases public final static int PTFILL = 0; // Point Fill Color public final static int PTCON = 1; // Point Contour Color public final static int BACKGRND = 2; // Background Color public final static int GRID = 3; // Grid Color public final static int AXIS = 4; // Axis Color public final static int PARABOLA = 5; // Parabola Color // future: 6 for polygon, etc. // various items on the color frame. Changed only if I need more colors to // show up on the panel public final static int NUM_STAT_COL = 10; // Size of the array of static // colors inn ColorFrame public final static int NUM_USER_COL = 10; // Size of array containing // user-defined colors. // 3 colors: Red, Green, Blue public final static int NUM_ST_PANELS = 3; // Size of array of // ColorScrollTextPanels. }//end of class Constants