Searched defs:replaceRange (Results 1 – 4 of 4) sorted by relevance
37 private final Range<Integer> replaceRange; field in Replacement40 private Replacement(Range<Integer> replaceRange, String replacementString) { in Replacement()
135 Range<Integer> replaceRange = replacement.getReplaceRange(); in editFromReplacements() local
141 …public function replaceRange(fromIndex:int, toIndex:int, text:Object, programName:String = DEFAULT… method in org.antlr.runtime.TokenRewriteStream
476 public void replaceRange(String s, int start, int end) { in replaceRange() method in DumbTextComponent