Scala Library
|
|
scala/swing/Table/selection.scala
]
object
columns
extends
SelectionSet[Int]Method Summary | |
def
|
+=
(n : Int) : columns
Adds a new element to the set.
|
def
|
-=
(n : Int) : columns
Removes a single element from a set.
|
def
|
anchorIndex : Int |
def
|
leadIndex : Int |
Methods inherited from SelectionSet | |
contains, size, iterator |
Methods inherited from Set | |
companion |
Methods inherited from Unhashable | |
hashCode, identityHashCode |
Methods inherited from MutableSetTemplate | |
newBuilder, add, remove, update, retain, clear, clone, result, +, +, ++, ++, -, -, --, --, << |
Methods inherited from Shrinkable | |
-=, --=, --= |
Methods inherited from Builder | |
sizeHint, mapResult |
Methods inherited from Growable | |
+=, ++=, ++= |
Methods inherited from SetTemplate | |
isEmpty, apply, intersect, &, **, union, |, diff, &~, subsetOf, equals, stringPrefix, toString |
Methods inherited from SetClass | |
empty |
Methods inherited from Function1 | |
compose, andThen |
Methods inherited from IterableTemplate | |
elements, foreach, foldRight, reduceRight, toIterable, head, takeRight, dropRight, sameElements, toStream, view, view, first, firstOption, toSeq, projection |
Methods inherited from TraversableClass | |
genericBuilder, unzip, flatten, transpose |
Methods inherited from TraversableTemplate | |
thisCollection, nonEmpty, hasDefiniteSize, ++, ++, map, flatMap, filter, filterMap, filterNot, remove, partition, groupBy, forall, exists, count, find, foldLeft, /:, :\, reduceLeft, reduceLeftOption, reduceRightOption, headOption, tail, last, lastOption, init, take, drop, slice, takeWhile, dropWhile, span, splitAt, copyToBuffer, copyToArray, copyToArray, toArray, toList, toSequence, toSet, mkString, mkString, mkString, addString, addString, addString |
Methods inherited from AnyRef | |
getClass, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
elem -
The element to be removed.elem -
the element to be added
def
leadIndex : Int
def
anchorIndex : Int
Scala Library
|
|