// Copyright 2010 Google Inc. All Rights Reserved.

package com.crawljax.core.configuration;

/**
 * This interface is used to reflect to operation to see if a given frame must be ignored.
 * 
 * @author Stefan Lenselink <slenselink@google.com>
 * @version $Id$
 */
public interface IgnoreFrameChecker {

	/**
	 * Must a given frame identifier be ignored?
	 *
	 * @param frameId
	 *            the frame identifier
	 * @return true if the specified frame identifier must be ignored
	 */
	public abstract boolean isFrameIgnored(String frameId);

}
@@ -352,16 +352,17 @@
 red?%0A%09 *
+ 
 %0A%09 * @pa
@@ -486,24 +486,8 @@
 */%0A%09
-public abstract 
 bool
@@ -522,10 +522,9 @@
 ameId);%0A
-%0A
 %7D

redundant modifier.