Scala 2
|
|
isabelle/Completion.scala
]
class
Completion
extends
AnyRefValue 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])]
Scala 2
|
|