setproxy.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 31 行

/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2003-2006, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
\*                                                                      */

// $Id: SetProxy.scala 9546 2007-01-03 15:56:13Z odersky $


package scala.collection


/** This is a simple wrapper class for <a href="Set.html"
 *  target="contentFrame"><code>scala.collection.Set</code></a>.
 *  It is most useful for assembling customized set abstractions
 *  dynamically using object composition and forwarding.
 *
 *  @author  Matthias Zenger
 *  @author  Martin Odersky
 *  @version 2.0, 01/01/2007
 */
trait SetProxy[A] extends Set[A] with IterableProxy[A] {
  def self: Set[A]
  def size: Int = self.size
  override def isEmpty: Boolean = self.isEmpty
  def contains(elem: A): Boolean = self.contains(elem)
  override def subsetOf(that: Set[A]): Boolean = self.subsetOf(that)
}