Scala 2
|
|
isabelle/Scan.scala
]
class
Lexicon
extends
scala.collection.Set[java.lang.String] with
scala.util.parsing.combinator.RegexParsersValue Summary | |
protected val
|
main_tree : Tree |
override val
|
whiteSpace : scala.util.matching.Regex |
Values and Variables inherited from scala.util.parsing.combinator.Parsers | |
scala.util.parsing.combinator.Parsers.lastNoSuccess |
Method Summary | |
def
|
+ (elem : java.lang.String) : Lexicon |
def
|
+ (elem1 : java.lang.String, elem2 : java.lang.String, elems : java.lang.String*) : Lexicon |
def
|
++ (elems : scala.Iterable[java.lang.String]) : Lexicon |
def
|
++ (elems : scala.Iterator[java.lang.String]) : Lexicon |
def
|
completions (str : java.lang.CharSequence) : scala.List[java.lang.String] |
def
|
contains (elem : java.lang.String) : Boolean |
def
|
elements : scala.Iterator[java.lang.String] |
override def
|
isEmpty : Boolean |
def
|
keyword : scala.util.parsing.combinator.Parsers.Parser[java.lang.String] |
def
|
size : Int |
override def
|
stringPrefix : java.lang.String |
Methods inherited from scala.Collection | |
scala.Collection.toString |
Methods inherited from scala.Function1 | |
scala.Function1.compose, scala.Function1.andThen |
Methods inherited from AnyRef | |
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
protected
val
main_tree : Tree
override
val
whiteSpace : scala.util.matching.Regex
Method Details |
def
completions(str : java.lang.CharSequence) : scala.List[java.lang.String]
override
def
stringPrefix : java.lang.String
override
def
isEmpty : Boolean
def
size : Int
def
elements : scala.Iterator[java.lang.String]
def
contains(elem : java.lang.String) : Boolean
def
+(elem : java.lang.String) : Lexicon
def
+(elem1 : java.lang.String, elem2 : java.lang.String, elems : java.lang.String*) : Lexicon
def
++(elems : scala.Iterable[java.lang.String]) : Lexicon
def
++(elems : scala.Iterator[java.lang.String]) : Lexicon
def
keyword : scala.util.parsing.combinator.Parsers.Parser[java.lang.String]
Scala 2
|
|