Home
last modified time | relevance | path

Searched defs:RopeString (Results 1 – 2 of 2) sorted by relevance

/dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/
H A Dstring.jl283 type RopeString <: String type
309 depth(s::RopeString) = s.depth
311 function next(s::RopeString, i::Int)
320 length(s::RopeString) = s.length
321 strlen(s::RopeString) = strlen(s.head) + strlen(s.tail)
329 print(s::RopeString) = print(s.head, s.tail)
/dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/
H A Dstring.jl283 type RopeString <: String type
309 depth(s::RopeString) = s.depth
311 function next(s::RopeString, i::Int)
320 length(s::RopeString) = s.length
321 strlen(s::RopeString) = strlen(s.head) + strlen(s.tail)
329 print(s::RopeString) = print(s.head, s.tail)