contextpanel.java

来自「tinyos最新版」· Java 代码 · 共 215 行

// $Id: ContextPanel.java,v 1.1 2004/03/22 02:15:48 scipio Exp $

/*									tab:4
 * "Copyright (c) 2000-2003 The Regents of the University  of California.  
 * All rights reserved.
 *
 * Permission to use, copy, modify, and distribute this software and its
 * documentation for any purpose, without fee, and without written agreement is
 * hereby granted, provided that the above copyright notice, the following
 * two paragraphs and the author appear in all copies of this software.
 * 
 * IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
 * OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
 * CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 * 
 * THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
 * AND FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS
 * ON AN "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO
 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS."
 *
 * Copyright (c) 2002-2003 Intel Corporation
 * All rights reserved.
 *
 * This file is distributed under the terms in the attached INTEL-LICENSE     
 * file. If you do not find these files, copies can be found by writing to
 * Intel Research Berkeley, 2150 Shattuck Avenue, Suite 1300, Berkeley, CA, 
 * 94704.  Attention:  Intel License Inquiry.
 */
/* Authors:	Phil Levis <[e-mail]>
 * Date:        Sep 26 2003
 * Desc:        Main window for VM builder
 *
 */

/**
 * @author Phil Levis <[e-mail]>
 */


package net.tinyos.script;

import java.awt.*;
import java.awt.event.*;
import java.awt.font.*;
import java.io.*;
import java.net.*;
import java.util.*;
import javax.swing.*;
import javax.swing.border.*;

import net.tinyos.message.*;
import net.tinyos.packet.*;
import net.tinyos.script.tree.Primitive;
import net.tinyos.util.*;



public class ContextPanel extends JPanel {
  private JLabel placeholder;
    
  private JPanel availablePanel;
  private JList availableList;

  private JPanel usedPanel;
  private JList usedList;    

  private JPanel buttonPanel;
  private JButton useButton;
  private JButton unuseButton;

  private Vector availableContexts;
  private Vector usedContexts;
    
  public ContextPanel() {
    super();
    placeholder = new JLabel("Contexts");

    availableContexts = new Vector();
    usedContexts = new Vector();

    availableList = new JList();
    availableList.setListData(availableContexts);
    availablePanel = makeListPanel(availableList, "Available Contexts");
    
    usedList = new JList();
    usedList.setListData(usedContexts);
    usedPanel = makeListPanel(usedList, "Used Contexts");
    
    useButton = new UseButton(this);
    unuseButton = new UnuseButton(this);
    buttonPanel = new JPanel();
    buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.Y_AXIS));
    buttonPanel.add(useButton);
    buttonPanel.add(unuseButton);
    buttonPanel.setAlignmentY((float)1.0);

    setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
    add(availablePanel);
    add(buttonPanel);
    add(usedPanel);
    setBorder(new EtchedBorder());
  }

  public void loadContext(BuilderContext context) {
    availableContexts.addElement(context);
  }

  public Enumeration getSelectedContexts() {
    return usedContexts.elements();
  }

  public Enumeration getContextInstructions() {
    System.err.println("Getting context instructions:");
    Vector v = new Vector();
    Enumeration e = getSelectedContexts();
    while (e.hasMoreElements()) {
      BuilderContext context = (BuilderContext)e.nextElement();
      if (context.hasPrimitives()) {
	Enumeration prims = context.primitives();
	while (prims.hasMoreElements()) {
	  Primitive p = (Primitive)prims.nextElement();
	  System.err.println(p);
	  v.addElement(p);
	}
      }
    }
    return v.elements();
  }
  
  protected void useSelected() {
    Object[] objs = availableList.getSelectedValues();
    for (int i = 0; i < objs.length; i++) {
      BuilderContext c = (BuilderContext)objs[i];
      availableContexts.remove(c);
      usedContexts.addElement(c);
    }
    availableList.setListData(availableContexts);
    usedList.setListData(usedContexts);
  }

  protected void unuseSelected() {
    Object[] objs = usedList.getSelectedValues();
    for (int i = 0; i < objs.length; i++) {
      BuilderContext c = (BuilderContext)objs[i];
      usedContexts.remove(c);
      availableContexts.addElement(c);
    }
    availableList.setListData(availableContexts);
    usedList.setListData(usedContexts);
  }

  private JPanel makeListPanel(JList list, String title) {
    list.setFixedCellHeight(12);
    list.setFixedCellWidth(180);
    list.setCellRenderer(new ContextCellRenderer());
	
    JScrollPane pane = new JScrollPane(list);
    pane.setSize(new Dimension(200, 96));
    pane.setPreferredSize(new Dimension(200, 96));

    JLabel label = new JLabel(title);

    JPanel panel = new JPanel();
    panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
    panel.add(label);
    panel.add(pane);
    panel.setAlignmentY((float)1.0);
    return panel;
  }
    
  protected class UseButton extends JButton {
    public UseButton(ContextPanel p) {
      super(">>");
      this.addActionListener(new UseActionListener(p));
    }
    private class UseActionListener implements ActionListener {
      ContextPanel p;
      public UseActionListener(ContextPanel p) {
	this.p = p;
      }
      public void actionPerformed(ActionEvent e) {
	p.useSelected();
      }
    }
  }

  protected class UnuseButton extends JButton {
    public UnuseButton(ContextPanel p) {
      super("<<");
      this.addActionListener(new UnuseActionListener(p));
    }
    private class UnuseActionListener implements ActionListener {
      ContextPanel p;
      public UnuseActionListener(ContextPanel p) {
	this.p = p;
      }
      public void actionPerformed(ActionEvent e) {
	p.unuseSelected();
      }
    }
  }

  public static void main(String[] args) {
    JFrame frame = new JFrame();
    ContextPanel p = new ContextPanel();
    frame.getContentPane().add(p);
    frame.pack();
    frame.setVisible(true);
  }

    
}