equal
deleted
inserted
replaced
209 |
209 |
210 private def reverse_symbol: Parser[String] = """>[A-Za-z0-9_']+\^?<\\""".r |
210 private def reverse_symbol: Parser[String] = """>[A-Za-z0-9_']+\^?<\\""".r |
211 private def reverse_symb: Parser[String] = """[A-Za-z0-9_']{2,}\^?<\\""".r |
211 private def reverse_symb: Parser[String] = """[A-Za-z0-9_']{2,}\^?<\\""".r |
212 private def escape: Parser[String] = """[a-zA-Z0-9_']+\\""".r |
212 private def escape: Parser[String] = """[a-zA-Z0-9_']+\\""".r |
213 |
213 |
214 private val word_regex = "[a-zA-Z0-9_']+".r |
214 private val word_regex = "[a-zA-Z0-9_'.]+".r |
215 private def word: Parser[String] = word_regex |
215 private def word: Parser[String] = word_regex |
216 private def word3: Parser[String] = "[a-zA-Z0-9_']{3,}".r |
216 private def word3: Parser[String] = "[a-zA-Z0-9_'.]{3,}".r |
217 private def underscores: Parser[String] = "_*".r |
217 private def underscores: Parser[String] = "_*".r |
218 |
218 |
219 def is_word(s: CharSequence): Boolean = word_regex.pattern.matcher(s).matches |
219 def is_word(s: CharSequence): Boolean = word_regex.pattern.matcher(s).matches |
220 def is_word_char(c: Char): Boolean = Symbol.is_ascii_letdig(c) |
220 def is_word_char(c: Char): Boolean = Symbol.is_ascii_letdig(c) || c == "." |
221 |
221 |
222 def extend_word(text: CharSequence, offset: Text.Offset): Text.Offset = |
222 def extend_word(text: CharSequence, offset: Text.Offset): Text.Offset = |
223 { |
223 { |
224 val n = text.length |
224 val n = text.length |
225 var i = offset |
225 var i = offset |