1 28 29 package org.objectweb.fractal.explorer.panel; 30 31 import java.awt.Color ; 32 33 import javax.swing.Box ; 34 import javax.swing.JPanel ; 35 import javax.swing.border.TitledBorder ; 36 37 import org.objectweb.fractal.api.type.InterfaceType; 38 import org.objectweb.util.explorer.api.Panel; 39 import org.objectweb.util.explorer.api.TreeView; 40 import org.objectweb.util.explorer.swing.gui.lib.LabelBox; 41 42 47 public class InterfaceTypePanel 48 implements Panel 49 { 50 51 57 protected TreeView treeView_ = null; 58 59 protected JPanel panel_ = null; 60 61 67 70 public InterfaceTypePanel() { 71 panel_ = new JPanel (); 72 panel_.setBackground(Color.white); 73 } 75 76 82 88 91 public void selected(TreeView treeView) { 92 treeView_ = treeView; 93 InterfaceType it = (InterfaceType)treeView.getSelectedObject(); 94 95 panel_.setBorder(new TitledBorder (null," Interface " + it.getFcItfName() + " ",TitledBorder.CENTER,TitledBorder.TOP)); 96 97 Box box_ = Box.createVerticalBox(); 98 box_.add(new LabelBox("Name", it.getFcItfName())); 99 box_.add(new LabelBox("Signature", it.getFcItfSignature())); 100 box_.add(new LabelBox("Type", it.isFcClientItf()?"Client":"Server")); 101 box_.add(new LabelBox("Cardinality", it.isFcCollectionItf()?"Collection":"Single")); 102 box_.add(new LabelBox("Contingency", it.isFcOptionalItf()?"Optional":"Mandatory")); 103 panel_.add(box_); 104 } 105 106 110 public Object getPanel(){ 111 return panel_; 112 } 113 114 117 public void unselected(TreeView treeView) { 118 } 119 } | Popular Tags |