<commit_before>/*
  $Log$
  Revision 1.2  1999/05/24 21:27:13  rimassa
  Removed Ctrl-M to the end of the lines.

  Revision 1.1  1999/05/24 21:20:17  rimassa
  Added new DummyAgent tool agent.

  Revision 1.1  1999/05/20 12:59:21  bellifemine
  Initial revision


*/

package jade.tools.DummyAgent;

import javax.swing.*;
import java.util.Properties;
import java.io.*;
/**
 * This class encapsulates some informations used by the program
 */
public class GuiProperties {
  protected static UIDefaults MyDefaults;
  protected static GuiProperties foo = new GuiProperties();
  public static final String ImagePath = "";
  static {
    Object[] icons = {
      "delete",LookAndFeel.makeIcon(foo.getClass(), "images/delete.gif"),
      "new",LookAndFeel.makeIcon(foo.getClass(), "images/new.gif"),
      "open", LookAndFeel.makeIcon(foo.getClass(), "images/open.gif"),
      "openq",LookAndFeel.makeIcon(foo.getClass(), "images/openq.gif"),
      "save",LookAndFeel.makeIcon(foo.getClass(), "images/save.gif"),
      "saveq",LookAndFeel.makeIcon(foo.getClass(), "images/saveq.gif"),
      "send",LookAndFeel.makeIcon(foo.getClass(), "images/send.gif"),
      "set",LookAndFeel.makeIcon(foo.getClass(), "images/set.gif"),
      "view",LookAndFeel.makeIcon(foo.getClass(), "images/view.gif")
    };

    MyDefaults = new UIDefaults (icons);
  }

  public static final Icon getIcon(String key) {
    Icon i = MyDefaults.getIcon(key);
    if (i == null) {
      System.out.println(key);
      System.exit(-1);
      return null;
    }
    else return MyDefaults.getIcon(key);
  }
}
<commit_msg>Small changes to toolbar icon names.<commit_after>/*
  $Log$
  Revision 1.3  1999/09/01 13:44:15  rimassa
  Small changes to toolbar icon names.

  Revision 1.2  1999/05/24 21:27:13  rimassa
  Removed Ctrl-M to the end of the lines.

  Revision 1.1  1999/05/24 21:20:17  rimassa
  Added new DummyAgent tool agent.

  Revision 1.1  1999/05/20 12:59:21  bellifemine
  Initial revision


*/

package jade.tools.DummyAgent;

import javax.swing.*;
import java.util.Properties;
import java.io.*;
/**
 * This class encapsulates some informations used by the program
 */
public class GuiProperties {
  protected static UIDefaults MyDefaults;
  protected static GuiProperties foo = new GuiProperties();
  public static final String ImagePath = "";
  static {
    Object[] icons = {
      "delete",LookAndFeel.makeIcon(foo.getClass(), "images/delete.gif"),
      "reset",LookAndFeel.makeIcon(foo.getClass(), "images/reset.gif"),
      "open", LookAndFeel.makeIcon(foo.getClass(), "images/open.gif"),
      "openq",LookAndFeel.makeIcon(foo.getClass(), "images/openq.gif"),
      "save",LookAndFeel.makeIcon(foo.getClass(), "images/save.gif"),
      "saveq",LookAndFeel.makeIcon(foo.getClass(), "images/saveq.gif"),
      "send",LookAndFeel.makeIcon(foo.getClass(), "images/send.gif"),
      "set",LookAndFeel.makeIcon(foo.getClass(), "images/set.gif"),
      "reply",LookAndFeel.makeIcon(foo.getClass(), "images/reply.gif"),
      "view",LookAndFeel.makeIcon(foo.getClass(), "images/view.gif")
    };

    MyDefaults = new UIDefaults (icons);
  }

  public static final Icon getIcon(String key) {
    Icon i = MyDefaults.getIcon(key);
    if (i == null) {
      System.out.println(key);
      System.exit(-1);
      return null;
    }
    else return MyDefaults.getIcon(key);
  }
}

{'fraction_non_alphanumeric': 0.14592019058963668, 'fraction_numerical': 0.033948779035139966, 'mean_word_length': 3.6203576341127923, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7381991', 'n_tokens_mistral': 1230, 'n_tokens_neox': 1137, 'n_words': 242}