tabbedpane.scala

JAVA 语言的函数式编程扩展

package scala.swing

import event._
import scala.collection.mutable.Buffer
import javax.swing.{JTabbedPane, JComponent}
import java.awt.{Color, Rectangle}


object TabbedPane {
  object Layout extends Enumeration {
    val Wrap = Value(JTabbedPane.WRAP_TAB_LAYOUT)
    val Scroll = Value(JTabbedPane.SCROLL_TAB_LAYOUT)
  }
  
  class Page protected(title0: String, content0: Component, tip0: String, index0: Int) extends Proxy {
    def self = content0
    
    def this(title0: String, content0: Component, tip0: String) = 
      this(title0, content0, tip0, 0)
    def this(title0: String, content0: Component) = 
      this(title0, content0, "")
    content = content0 // first add component, *then* set other things
    title = title0
    tip = tip0
    
    protected[TabbedPane] var parent: TabbedPane = null
    
    protected var _title = title0
    def title: String = _title//parent.peer.getTitleAt(index)
    def title_=(t: String) { _title = title0; if (parent != null) parent.peer.setTitleAt(index, t) }
    protected var _content = content0
    def content: Component = _content//Component.wrapperFor(peer.getComponentAt(index).asInstanceOf[JComponent])
    def content_=(c: Component) { _content = c; if (parent != null) parent.peer.setComponentAt(index, c.peer) }
    protected var _tip = tip0
    def tip: String = _tip//peer.getToolTipTextAt(index)
    def tip_=(t: String) { _tip = t; if (parent != null) parent.peer.setToolTipTextAt(index, t) }
    protected var _enabled = true
    def enabled: Boolean = _enabled//peer.isEnabledAt(index)
    def enabled_=(b: Boolean) { _enabled = b; if (parent != null) parent.peer.setEnabledAt(index, b) }
    protected var _mnemonic = -1
    def mnemonic: Int = _mnemonic//peer.getMnemonicAt(index)
    def mnemonic_=(k: Int) { _mnemonic = k; if (parent != null) parent.peer.setMnemonicAt(index, k)}
    protected var _foreground: Color = null
    def foreground: Color = _foreground//peer.getForegroundAt(index)
    def foreground_=(c: Color) { _foreground = c; if (parent != null) parent.peer.setForegroundAt(index, c)}
    protected var _background: Color = null
    def background: Color = _background //peer.getBackgroundAt(index)
    def background_=(c: Color) { _background = c; if (parent != null) parent.peer.setBackgroundAt(index, c)}
    def bounds: Rectangle = parent.peer.getBoundsAt(index)
    
    // TODO: icon, disabledIcon
    
    def index = _index
    protected[TabbedPane] var _index: Int = index0
  }
}

/**
 * @see javax.swing.JTabbedPane
 */
class TabbedPane(override val peer: JTabbedPane) extends Component(peer) with Publisher {
  import TabbedPane._
  
  def this() = this(new JTabbedPane)
  
  object pages extends BufferWrapper[Page] {
    def runCount: Int = peer.getTabRunCount
    
    def remove(n: Int): Page = {
      val t = apply(n)
      peer.removeTabAt(n)
      t.parent = null
      for(i <- n to length) apply(i)._index -= 1
      t
    }
    protected def insertAt(n: Int, t: Page) { 
      for(i <- n to length) apply(i)._index += 1
      t.parent = TabbedPane.this
      peer.insertTab(t.title, null, t.content.peer, t.tip, n) 
    }

    def +=(t: Page) { t.parent = TabbedPane.this; peer.addTab(t.title, null, t.content.peer, t.tip) }
    def length = peer.getTabCount
    def apply(n: Int) = new Page(peer.getTitleAt(n),
                                Component.wrapperFor(peer.getComponentAt(n).asInstanceOf[javax.swing.JComponent]), 
                                peer.getToolTipTextAt(n))
  }
  
  def tabLayoutPolicy: Layout.Value = Layout(peer.getTabLayoutPolicy)
  def tabLayoutPolicy_=(p: Layout.Value) { peer.setTabLayoutPolicy(p.id) }
  
  def tabPlacement: EdgePosition.Value = EdgePosition(peer.getTabPlacement)
  def tabPlacement(b: EdgePosition.Value) { peer.setTabPlacement(b.id) }
  
  object selection extends Publisher {
    def page: Page = pages(index)
    def page_=(p: Page) { index = p.index }
  
    def index: Int = peer.getSelectedIndex
    def index_=(n: Int) { peer.setSelectedIndex(n) }
    
    peer.addChangeListener(new javax.swing.event.ChangeListener {
      def stateChanged(e: javax.swing.event.ChangeEvent) { 
        publish(SelectionChanged(TabbedPane.this))
      }
    })
  }
}