/* (non-Javadoc)
  * @see org.eclipse.ui.console.IPatternMatchListener#getQuickPattern()
  */
 @Override
 public String getLineQualifier() {
   return fExtension.getQuickPattern();
 }
 /* (non-Javadoc)
  * @see org.eclipse.ui.console.IPatternMatchListener#getPattern()
  */
 @Override
 public String getPattern() {
   return fExtension.getPattern();
 }
 /* (non-Javadoc)
  * @see org.eclipse.ui.console.IPatternMatchListener#getCompilerFlags()
  */
 @Override
 public int getCompilerFlags() {
   return fExtension.getCompilerFlags();
 }
 public PatternMatchListener(PatternMatchListenerExtension extension) throws CoreException {
   fExtension = extension;
   fDelegate = fExtension.createDelegate();
 }