jtips.java

OSGI这是一个中间件,与UPNP齐名,是用于移植到嵌入式平台之上

/*
 * Copyright (c) 2003, KNOPFLERFISH project
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following
 * conditions are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 *
 * - Redistributions in binary form must reproduce the above
 *   copyright notice, this list of conditions and the following
 *   disclaimer in the documentation and/or other materials
 *   provided with the distribution.
 *
 * - Neither the name of the KNOPFLERFISH project nor the names of its
 *   contributors may be used to endorse or promote products derived
 *   from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */

package org.knopflerfish.bundle.desktop.swing;

import org.osgi.framework.*;
import org.osgi.service.packageadmin.*;
import org.osgi.service.startlevel.*;
import org.osgi.util.tracker.*;

import javax.swing.table.*;
import javax.swing.*;
import javax.swing.event.*;

import java.awt.*;
import java.awt.event.*;
import java.awt.datatransfer.*;
import java.awt.dnd.*;

import java.util.*;
import java.io.*;
import java.net.URL;

import org.knopflerfish.service.desktop.*;
import org.knopflerfish.util.*;

public class JTips extends JPanel {
  JFrame frame = null;
  String title = "Knopflerfish OSGi: tips";

  java.util.List tips = new ArrayList(); // String

  static final String sep = "<p>----</p>";

  JButton nextButton;
  JButton prevButton;

  JComponent  ctrlPanel;
  JTextPane   html;
  JScrollPane scroll;

  int tipIx = 0;

  public JTips(String tipFile) {
    super(new BorderLayout());

    BufferedReader in = null;
    try {
      URL url = getClass().getResource(tipFile);
      if(url != null) {
	in = new BufferedReader(new InputStreamReader(url.openStream()));
	String       line = null;
	StringBuffer sb   = new StringBuffer();
	while(null != (line = in.readLine())) {
	  if(sep.equals(line)) {
	    addTip(sb.toString());
	    sb = new StringBuffer();
	  } else {
	    sb.append(line);
	    sb.append("\n");
	  }
	}
	if(sb != null && sb.length() > 1) {
	  addTip(sb.toString());
	}
      } else {
	Activator.log.warn("No tip file: " + tipFile);
      }
    } catch (Exception e) {
      Activator.log.error("Failed to load tips from " + tipFile, e);
    } finally {
      try { in.close(); } catch (Exception ignored) { }
    }
    
    if(tips.size() == 0) {
      tips.add(new Tip("", "No tips found", ""));
    } else {
      Activator.log.info("loaded " + tips.size() + " tips");
    }

    html = new JTextPane();

    html.setContentType("text/html");
    html.setEditable(false);

    html.addHyperlinkListener(new HyperlinkListener() 
      {
	public void hyperlinkUpdate(HyperlinkEvent ev) {
	  if (ev.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
	    URL url = ev.getURL();
	    try {
	      Util.openExternalURL(url);
	    } catch (Exception e) {
	      Activator.log.warn("Failed to open external url=" + url, e);
	    }
	  }
	}
      });

    scroll = new JScrollPane(html);
    scroll.setPreferredSize(new Dimension(350, 200));

    scroll.setBorder(BorderFactory
		     .createCompoundBorder(BorderFactory
					   .createEmptyBorder(5, 5, 5, 5),
					   BorderFactory
					   .createLoweredBevelBorder()));

    final ActionListener nextAction = new ActionListener() {
	public void actionPerformed(ActionEvent ev) {
	  setTip((tipIx + 1) % tips.size());
	}
      };
    
    JButton closeButton = new JButton(Strings.get("close"));
    closeButton.addActionListener(new ActionListener() {
	public void actionPerformed(ActionEvent ev) {
	  if(frame != null) {
	    frame.setVisible(false);
	  }
	}
      });

    nextButton = new JButton(Strings.get("next_tip"));
    nextButton.addActionListener(nextAction);

    prevButton = new JButton(Strings.get("prev_tip"));
    prevButton.addActionListener(new ActionListener() {
	public void actionPerformed(ActionEvent ev) {
	  setTip((tipIx + tips.size() - 1) % tips.size());
	}
      });

    JPanel bottomPanel = new JPanel(new BorderLayout());
    JPanel topPanel    = new JPanel(new BorderLayout());

    ctrlPanel = new JPanel(new FlowLayout());

    ctrlPanel.add(closeButton);
    ctrlPanel.add(prevButton);
    ctrlPanel.add(nextButton);

    bottomPanel.add(ctrlPanel,    BorderLayout.EAST);

    JLabel titleC = new JLabel("Did you know that...");
    titleC.setFont(new Font("Dialog", Font.BOLD, 15));
    titleC.setBorder(BorderFactory.createEmptyBorder(3,3,3,3));

    topPanel.add(titleC, BorderLayout.WEST);

    JLabel icon = new JLabel(Activator.desktop.tipIcon);
    icon.addMouseListener(new MouseAdapter() {
	public void mouseClicked(MouseEvent ev) {
	  nextAction.actionPerformed(null);
	}
      });
    icon.setToolTipText(nextButton.getText());

    add(icon,        BorderLayout.WEST);
    add(scroll,      BorderLayout.CENTER);
    add(bottomPanel, BorderLayout.SOUTH);
    add(topPanel,    BorderLayout.NORTH);

    setTip((int)(Math.random() * tips.size()));

  }

  void addTip(String s) {
    tips.add(new Tip(s));
  }

  void setTip(int ix) {
    tipIx = ix;

    Tip    tip = (Tip)tips.get(tipIx % tips.size());
    String s = tip.toHTML();
    s   = Text.replace(s, "<img src=\"", "<img src=\"bundle://$(BID)/");
    s   = Text.replace(s, "$(BID)", Long.toString(Activator.getBC().getBundle().getBundleId()));
    
    setHTML(Util.fontify(s));
  }

  void setHTML(final String s) {
    html.setText(s);
    SwingUtilities.invokeLater(new Runnable() {
	public void run() {
	  JViewport vp = scroll.getViewport();
	  if(vp != null) {
	    vp.setViewPosition(new Point(0,0));
	    scroll.setViewport(vp);
	  }  
	}
      });
  }

  void setTitle(String s) {
    this.title = s;
    if(frame != null) {
      frame.setTitle(this.title);
    }
  }

  public void setVisible(boolean b) {
    if(b) {
      if(frame == null) {
	frame = new JFrame(title);
	Activator.desktop.setIcon(frame, "/fish");

	frame.getContentPane().setLayout(new BorderLayout());
	frame.getContentPane().add(this, BorderLayout.CENTER);
	frame.pack();
	Point p = Activator.desktop.frame.getLocationOnScreen();
	Dimension size = Activator.desktop.frame.getSize();
	Dimension mySize = frame.getSize();
	Point p2 = new Point(p.x + size.width  / 2 - mySize.width / 2,
			     p.y + size.height / 2 - mySize.height / 2);
	
	frame.setLocation(p2);
      }
      frame.setVisible(true);
    } else {
      if(frame != null) {
	frame.setVisible(false);
      }
    }
  }
}

class Tip {
  public String id;
  public String name;
  public String main;

  public Tip(String id, String name, String main) {
    this.id   = id;
    this.name = name;
    this.main = main;
  }

  public Tip(String s) {
    int ix = s.indexOf("\n");
    if(ix != -1) {
      name = s.substring(0, ix);      
      main = s.substring(ix + 1);
      ix = name.indexOf(" ");

      id   = name.substring(0, ix);
      name = name.substring(ix + 1);

    } else {
      throw new IllegalArgumentException("Bad tip format: " + s);
    }
  }

  

  public String toHTML() {
    return 
      "<b>" + name + "</b>" + 
      "<p>" + main + "</p>" + 
      "<p align=right><font size=-2>#" + id + "</font></p>";
  }

  public String toString() {
    return "Tip[" + 
      "id=" + id + 
      ", name=" + name + 
      "]";
  }

  
  public boolean equals(Object other) {
    if(other == null || !(other instanceof Tip)) {
      return false;
    }
    
    Tip t = (Tip)other;
    return id.equals(t.id);
  }

  public int hashCode() {
    return id.hashCode();
  }
}