Package wprover

Class CMisc

  • public class CMisc
extends java.lang.Object
    This class contains configuration and utility methods for the application. It manages properties such as screen size, background color, font settings, and other application-specific settings.

    • Field Detail

      • id_count

        public static int id_count

      • id_count_onfile

        public static int id_count_onfile

      • isDiagramChanged

        public static boolean isDiagramChanged

      • version_load_now

        public static double version_load_now

      • homedir

        public static java.net.URL homedir

      • BlueishBorder

        public static final javax.swing.border.Border BlueishBorder

      • SelectObjectColor

        public static final java.awt.Color SelectObjectColor

      • NormalLineStroke

        public static final java.awt.BasicStroke NormalLineStroke

      • SelectObjectStroke

        public static final java.awt.BasicStroke SelectObjectStroke

      • SelectPolygonStroke

        public static final java.awt.BasicStroke SelectPolygonStroke

      • DefautlDash

        public static final float[] DefautlDash

      • DashedStroke

        public static final java.awt.BasicStroke DashedStroke

      • DefautlDash1

        public static final float[] DefautlDash1

      • DashedStroke1

        public static final java.awt.BasicStroke DashedStroke1

      • defaultFont

        public static java.lang.String defaultFont

      • angleNameFont

        public static java.awt.Font angleNameFont

      • nameFont

        public static java.awt.Font nameFont

      • font

        public static java.awt.Font font

      • smallnameFont

        public static java.awt.Font smallnameFont

      • button_label_font

        public static java.awt.Font button_label_font

      • thmFont

        public static java.awt.Font thmFont

      • fullFont

        public static java.awt.Font fullFont

      • gddFont

        public static java.awt.Font gddFont

      • areaFont

        public static java.awt.Font areaFont

      • manualFont

        public static java.awt.Font manualFont

      • fixFont

        public static java.awt.Font fixFont

      • algebraFont

        public static java.awt.Font algebraFont

      • ButtonColor

        public static final java.awt.Color ButtonColor

      • frameColor

        public static final java.awt.Color frameColor

      • ColorMode

        public static int ColorMode

      • AntiAlias

        public static boolean AntiAlias

      • ANGLE_TYPE

        public static int ANGLE_TYPE

      • show_angle_type

        public static int show_angle_type

      • show_angle_text

        public static boolean show_angle_text

      • SMART_HV_LINE_CATCH

        public static boolean SMART_HV_LINE_CATCH

      • DRAW_CATCH_OBJECT_NAME

        public static boolean DRAW_CATCH_OBJECT_NAME

      • nameTextShown

        public static boolean nameTextShown

      • footMarkShown

        public static boolean footMarkShown

      • FOOT_MARK_LENGTH

        public static int FOOT_MARK_LENGTH

      • screenx

        public static int screenx

      • screeny

        public static int screeny

      • lan

        public static java.lang.String lan

      • full_screen

        public static boolean full_screen

      • lookAndFeel

        public static java.lang.String lookAndFeel

      • TransComfirmed

        public static boolean TransComfirmed

    • Constructor Detail

      • CMisc

        public CMisc()

    • Method Detail

      • setHomeDirectory

        public static final void setHomeDirectory​(java.net.URL l)

      • getHomeDirectory

        public static final java.net.URL getHomeDirectory()

      • isDebug

        public static final boolean isDebug()

      • isApplication

        public static final boolean isApplication()

      • print

        public static final void print​(java.lang.String s)

      • eprint

        public static final void eprint​(java.awt.Component t,
                                java.lang.String s)

      • setDefaultFont

        public static final void setDefaultFont​(java.lang.String str)

      • initFont

        public static final void initFont()

      • getFontSizePool

        public static int[] getFontSizePool()

      • getFlashInterval

        public static int getFlashInterval()

      • setFlashInterval

        public static void setFlashInterval​(int n)

      • getGridColor

        public static java.awt.Color getGridColor()

      • setGridColor

        public static void setGridColor​(java.awt.Color c)

      • getBackGroundColor

        public static java.awt.Color getBackGroundColor()

      • getMoveStep

        public static int getMoveStep()

      • setMoveStep

        public static void setMoveStep​(int n)

      • showMessage

        public static void showMessage​(java.lang.String s)

      • getPointRadius

        public static int getPointRadius()

      • setPointRadius

        public static void setPointRadius​(int n)

      • getFillComposite

        public static java.awt.AlphaComposite getFillComposite()

      • getFillCompositeAlpha

        public static float getFillCompositeAlpha()

      • setFillCompositeAlpha

        public static void setFillCompositeAlpha​(float f)

      • getObjectId

        public static int getObjectId()

      • onFileSavedOrLoaded

        public static void onFileSavedOrLoaded()

      • setDiagramChaged

        public static void setDiagramChaged()

      • isIdCountChanged

        public static boolean isIdCountChanged()

      • needSave

        public static boolean needSave()

      • isFootMarkShown

        public static boolean isFootMarkShown()

      • setAlpha

        public static void setAlpha​(double r)

      • getAlpha

        public static double getAlpha()

      • setBackGroundColor

        public static void setBackGroundColor​(java.awt.Color c)

      • isValidInt

        public static final boolean isValidInt​(java.lang.String s)

      • setFont

        public static void setFont​(java.lang.String f)

      • Reset

        public static void Reset()

      • SaveProperty

        public static void SaveProperty​(java.io.OutputStreamWriter out)
                         throws java.io.IOException
        Throws:
        java.io.IOException

      • writeFont

        public static void writeFont​(java.io.OutputStreamWriter out,
                             java.lang.String name,
                             java.awt.Font f)
                      throws java.io.IOException
        Throws:
        java.io.IOException

      • getFont

        public static java.awt.Font getFont​(java.lang.String s)

      • LoadProperty

        public static void LoadProperty​(java.io.BufferedReader in)
                         throws java.io.IOException
        Throws:
        java.io.IOException

      • Save

        public static void Save​(java.io.DataOutputStream out)
                 throws java.io.IOException
        Throws:
        java.io.IOException

      • Load

        public static void Load​(java.io.DataInputStream in)
                 throws java.io.IOException
        Throws:
        java.io.IOException