isabelle

class Completion

[source: isabelle/Completion.scala]

class Completion
extends AnyRef
Value Summary
protected val abbrevs_lex : Lexicon
protected val abbrevs_map : scala.collection.immutable.Map[java.lang.String, (java.lang.String, java.lang.String)]
protected val words_lex : Lexicon
protected val words_map : scala.collection.immutable.Map[java.lang.String, java.lang.String]
Method Summary
def + (symbols : Interpretation) : Completion
def + (keyword : java.lang.String) : Completion
def complete (line : java.lang.CharSequence) : scala.Option[(java.lang.String, scala.List[java.lang.String])]
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
protected val words_lex : Lexicon

protected val words_map : scala.collection.immutable.Map[java.lang.String, java.lang.String]

protected val abbrevs_lex : Lexicon

protected val abbrevs_map : scala.collection.immutable.Map[java.lang.String, (java.lang.String, java.lang.String)]

Method Details
def +(keyword : java.lang.String) : Completion

def +(symbols : Interpretation) : Completion

def complete(line : java.lang.CharSequence) : scala.Option[(java.lang.String, scala.List[java.lang.String])]