2011-12-22 06:09:41 -08:00
|
|
|
#filter substitution
|
2012-05-21 04:12:37 -07:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
2011-12-22 06:09:41 -08:00
|
|
|
|
|
|
|
package @ANDROID_PACKAGE_NAME@;
|
2012-01-05 18:36:17 -08:00
|
|
|
|
2011-12-22 06:09:41 -08:00
|
|
|
import java.util.List;
|
2012-01-05 18:36:17 -08:00
|
|
|
import android.app.Activity;
|
2011-12-22 06:09:41 -08:00
|
|
|
|
|
|
|
public interface Driver {
|
2012-02-15 06:56:20 -08:00
|
|
|
/**
|
|
|
|
* Find the first Element using the given method.
|
|
|
|
*
|
|
|
|
* @param activity The activity the element belongs to
|
|
|
|
* @param name The name of the element
|
2012-05-22 16:25:30 -07:00
|
|
|
* @return The first matching element on the current context, or null if not found.
|
2012-02-15 06:56:20 -08:00
|
|
|
*/
|
|
|
|
Element findElement(Activity activity, String name);
|
2011-12-22 06:09:41 -08:00
|
|
|
|
2012-02-15 06:56:20 -08:00
|
|
|
/**
|
|
|
|
* Sets up scroll handling so that data is received from the extension.
|
|
|
|
*/
|
|
|
|
void setupScrollHandling();
|
2011-12-22 06:09:41 -08:00
|
|
|
|
2012-02-15 06:56:20 -08:00
|
|
|
int getPageHeight();
|
|
|
|
int getScrollHeight();
|
|
|
|
int getHeight();
|
|
|
|
int getGeckoTop();
|
|
|
|
int getGeckoLeft();
|
|
|
|
int getGeckoWidth();
|
|
|
|
int getGeckoHeight();
|
2011-12-22 06:09:41 -08:00
|
|
|
|
2012-02-15 06:56:20 -08:00
|
|
|
void startFrameRecording();
|
|
|
|
int stopFrameRecording();
|
2012-01-30 19:46:13 -08:00
|
|
|
|
2012-02-15 06:56:20 -08:00
|
|
|
void startCheckerboardRecording();
|
|
|
|
float stopCheckerboardRecording();
|
2012-02-02 01:02:49 -08:00
|
|
|
|
2012-02-15 06:56:20 -08:00
|
|
|
/**
|
|
|
|
* Get a copy of the painted content region.
|
|
|
|
* @return A 2-D array of pixels (indexed by y, then x). The pixels
|
|
|
|
* are in ARGB-8888 format.
|
|
|
|
*/
|
2012-03-06 12:08:45 -08:00
|
|
|
PaintedSurface getPaintedSurface();
|
2011-12-22 06:09:41 -08:00
|
|
|
}
|