The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/build/mobile/robocop/Driver.java	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,44 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +package org.mozilla.gecko;
     1.9 +
    1.10 +import android.app.Activity;
    1.11 +
    1.12 +public interface Driver {
    1.13 +    /**
    1.14 +     * Find the first Element using the given method.
    1.15 +     * 
    1.16 +     * @param activity The activity the element belongs to
    1.17 +     * @param id The resource id of the element
    1.18 +     * @return The first matching element on the current context, or null if not found.
    1.19 +     */
    1.20 +    Element findElement(Activity activity, int id);
    1.21 +
    1.22 +    /**
    1.23 +     * Sets up scroll handling so that data is received from the extension.
    1.24 +     */
    1.25 +    void setupScrollHandling();
    1.26 +
    1.27 +    int getPageHeight();
    1.28 +    int getScrollHeight();
    1.29 +    int getHeight();
    1.30 +    int getGeckoTop();
    1.31 +    int getGeckoLeft();
    1.32 +    int getGeckoWidth();
    1.33 +    int getGeckoHeight();
    1.34 +
    1.35 +    void startFrameRecording();
    1.36 +    int stopFrameRecording();
    1.37 +
    1.38 +    void startCheckerboardRecording();
    1.39 +    float stopCheckerboardRecording();
    1.40 +
    1.41 +    /**
    1.42 +     * Get a copy of the painted content region.
    1.43 +     * @return A 2-D array of pixels (indexed by y, then x). The pixels
    1.44 +     * are in ARGB-8888 format.
    1.45 +     */
    1.46 +    PaintedSurface getPaintedSurface();
    1.47 +}