src/Tools/jEdit/src/proofdocument/Text.scala
author wenzelm
Sun Oct 19 16:51:55 2008 +0200 (2008-10-19 ago)
changeset 34318 c13e168a8ae6
child 34407 aad6834ba380
permissions -rw-r--r--
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm@34318
     1
package isabelle.proofdocument
wenzelm@34318
     2
wenzelm@34318
     3
import isabelle.utils.EventSource
wenzelm@34318
     4
wenzelm@34318
     5
object Text {
wenzelm@34318
     6
  class Changed(val start : Int, val added : Int, val removed : Int) { }
wenzelm@34318
     7
}
wenzelm@34318
     8
wenzelm@34318
     9
trait Text {
wenzelm@34318
    10
  def content(start : Int, stop : Int) : String
wenzelm@34318
    11
  def length : Int
wenzelm@34318
    12
  
wenzelm@34318
    13
  def changes : EventSource[Text.Changed]
wenzelm@34318
    14
}