src/Pure/Isar/outer_syntax.scala
changeset 48660 730ca503e955
parent 47469 ba7fe841c885
child 48671 951bc4c3ee17
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Fri Aug 03 13:06:25 2012 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Fri Aug 03 13:55:51 2012 +0200
     1.3 @@ -45,6 +45,12 @@
     1.4    lexicon: Scan.Lexicon = Scan.Lexicon.empty,
     1.5    val completion: Completion = Completion.empty)
     1.6  {
     1.7 +  override def toString: String =
     1.8 +    (for ((name, kind) <- keywords) yield {
     1.9 +      if (kind == Keyword.MINOR) quote(name)
    1.10 +      else quote(name) + " :: " + quote(kind)
    1.11 +    }).toList.sorted.mkString("Outer_Syntax(keywords ", " and ", ")")
    1.12 +
    1.13    def keyword_kind(name: String): Option[String] = keywords.get(name)
    1.14  
    1.15    def + (name: String, kind: String, replace: String): Outer_Syntax =