1 11 package org.eclipse.ui.console; 12 13 import java.util.EventObject ; 14 15 25 public class PatternMatchEvent extends EventObject { 26 29 private static final long serialVersionUID = 876890383326854537L; 30 31 34 private int offset; 35 36 39 private int length; 40 41 48 public PatternMatchEvent(TextConsole console, int matchOffset, int matchLength) { 49 super(console); 50 offset = matchOffset; 51 length = matchLength; 52 } 53 54 59 public int getLength() { 60 return length; 61 } 62 63 68 public int getOffset() { 69 return offset; 70 } 71 72 } 73 | Popular Tags |