isabelle.Scan

class Lexicon

[source: isabelle/Scan.scala]

class Lexicon
extends scala.collection.Set[java.lang.String] with scala.util.parsing.combinator.RegexParsers
Value 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.util.parsing.combinator.RegexParsers
scala.util.parsing.combinator.RegexParsers.skipWhitespace, scala.util.parsing.combinator.RegexParsers.handleWhiteSpace, scala.util.parsing.combinator.RegexParsers.literal, scala.util.parsing.combinator.RegexParsers.regex, scala.util.parsing.combinator.RegexParsers.phrase, scala.util.parsing.combinator.RegexParsers.parse, scala.util.parsing.combinator.RegexParsers.parse, scala.util.parsing.combinator.RegexParsers.parse, scala.util.parsing.combinator.RegexParsers.parseAll, scala.util.parsing.combinator.RegexParsers.parseAll, scala.util.parsing.combinator.RegexParsers.parseAll
Methods inherited from scala.util.parsing.combinator.Parsers
scala.util.parsing.combinator.Parsers.Parser, scala.util.parsing.combinator.Parsers.OnceParser, scala.util.parsing.combinator.Parsers.commit, scala.util.parsing.combinator.Parsers.elem, scala.util.parsing.combinator.Parsers.elem, scala.util.parsing.combinator.Parsers.accept, scala.util.parsing.combinator.Parsers.accept, scala.util.parsing.combinator.Parsers.accept, scala.util.parsing.combinator.Parsers.acceptIf, scala.util.parsing.combinator.Parsers.acceptMatch, scala.util.parsing.combinator.Parsers.acceptSeq, scala.util.parsing.combinator.Parsers.failure, scala.util.parsing.combinator.Parsers.err, scala.util.parsing.combinator.Parsers.success, scala.util.parsing.combinator.Parsers.log, scala.util.parsing.combinator.Parsers.rep, scala.util.parsing.combinator.Parsers.repsep, scala.util.parsing.combinator.Parsers.rep1, scala.util.parsing.combinator.Parsers.rep1, scala.util.parsing.combinator.Parsers.repN, scala.util.parsing.combinator.Parsers.rep1sep, scala.util.parsing.combinator.Parsers.chainl1, scala.util.parsing.combinator.Parsers.chainl1, scala.util.parsing.combinator.Parsers.chainr1, scala.util.parsing.combinator.Parsers.opt, scala.util.parsing.combinator.Parsers.not, scala.util.parsing.combinator.Parsers.positioned, scala.util.parsing.combinator.Parsers.mkList
Methods inherited from scala.collection.Set
scala.collection.Set.apply, scala.collection.Set.subsetOf, scala.collection.Set.*, scala.collection.Set.**, scala.collection.Set.equals, scala.collection.Set.hashCode, scala.collection.Set.toArray
Methods inherited from scala.Collection
scala.Collection.toString
Methods inherited from scala.Iterable
scala.Iterable.concat, scala.Iterable.++, scala.Iterable.map, scala.Iterable.flatMap, scala.Iterable.filter, scala.Iterable.partition, scala.Iterable.takeWhile, scala.Iterable.dropWhile, scala.Iterable.take, scala.Iterable.drop, scala.Iterable.foreach, scala.Iterable.forall, scala.Iterable.exists, scala.Iterable.find, scala.Iterable.findIndexOf, scala.Iterable.indexOf, scala.Iterable.foldLeft, scala.Iterable.foldRight, scala.Iterable./:, scala.Iterable.:\, scala.Iterable.reduceLeft, scala.Iterable.reduceRight, scala.Iterable.copyToBuffer, scala.Iterable.sameElements, scala.Iterable.toList, scala.Iterable.toSeq, scala.Iterable.toStream, scala.Iterable.mkString, scala.Iterable.mkString, scala.Iterable.mkString, scala.Iterable.addString, scala.Iterable.addString, scala.Iterable.addString, scala.Iterable.copyToArray, scala.Iterable.projection, scala.Iterable.hasDefiniteSize
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
Overrides
scala.util.parsing.combinator.RegexParsers.scala.util.parsing.combinator.RegexParsers.whiteSpace

Method Details
def completions(str : java.lang.CharSequence) : scala.List[java.lang.String]

override def stringPrefix : java.lang.String
Overrides
scala.collection.Set.scala.collection.Set.stringPrefix

override def isEmpty : Boolean
Overrides
scala.collection.Set.scala.collection.Set.isEmpty

def size : Int
Overrides
scala.collection.Set.scala.collection.Set.size

def elements : scala.Iterator[java.lang.String]

def contains(elem : java.lang.String) : Boolean
Overrides
scala.collection.Set.scala.collection.Set.contains

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]