Changeset 108 for trunk/src/org/expeditee/actions/Actions.java

Timestamp:

06/27/08 16:44:21 (16 years ago)

Author:

ra33

Message:

Heaps of changes!!!!
Added circles...
Better drawing of lines etc etc

File:

• trunk/src/org/expeditee/actions/Actions.java (modified) (7 diffs)

trunk/src/org/expeditee/actions/Actions.java

@@ -1 +1 @@
 package org.expeditee.actions;
 
+import java.awt.GraphicsEnvironment;
 import java.io.File;
 import java.lang.reflect.Constructor;
@@ -54 +55 @@
         private static HashMap<String, Method> _Actions = new HashMap<String, Method>();
 
+        // map lower case fonts to capitalized fonts
+        protected static HashMap<String, String> _Fonts = new HashMap<String, String>();
+
         // maps lower case JAG class names to capitalized JAG names
         private static HashMap<String, String> _JAGs = new HashMap<String, String>();
@@ -179 +183 @@
          */
         public static Collection<String> Init() {
+
                 Collection<String> warnings = new LinkedList<String>();
                 Class[] classes;
@@ -489 +494 @@
         public static void stopAgent() {
                 if (_Agent != null && _Agent.isRunning()) {
-                        FrameGraphics.DisplayMessage("Stopping Agent...");
+                        FrameGraphics.ErrorMessage("Stopping Agent...");
                         _Agent.stop();
                 }
@@ -528 +533 @@
                         objects[0] = source;
                         ind = 1;
-                } else if (paramTypes[0] == Item.class) {
+                } else if (Item.class.isAssignableFrom(paramTypes[0])) {
                         objects[0] = launcher;
                         ind = 1;
@@ -539 +544 @@
                                 objects[1] = source;
                                 ind = 2;
-                        } else if (paramTypes[1] == Item.class) {
+                        } else if (Item.class.isAssignableFrom(paramTypes[1])) {
                                 objects[1] = launcher;
                                 ind = 2;
@@ -653 +658 @@
                 return command.substring(0, command.indexOf(" "));
         }
+
+        /**
+         * Gets an uncapitalized font name and returns the capitalized font name.
+         * The capitalized form can be used with the Font.decoded method to get a
+         * corresponding Font object.
+         * 
+         * @param fontName
+         *            a font name in mixed case
+         * @return the correct capitalized form of the font name
+         */
+        public static String getCapitalizedFontName(String fontName) {
+                //Initialize the fonts if they have not already been loaded
+                if (_Fonts.size() == 0) {
+                        String[] availableFonts = GraphicsEnvironment
+                                        .getLocalGraphicsEnvironment()
+                                        .getAvailableFontFamilyNames();
+                        for (String s : availableFonts) {
+                                _Fonts.put(s.toLowerCase(), s);
+                        }
+                }
+                return _Fonts.get(fontName.toLowerCase());
+        }
 }