androidextern.js

/**
 * @fileoverview This is an externs file.
 * @externs
 */

const Android =
{
  /* Nothing to be done in extern file */
};

/**
 * @param {string} param
 */
Android.toJNI = function(param)
{
  /* Nothing to be done in extern file */
};

/**
 * @param {string} key
 * @param {string} value
 */
Android.setStorage = function(key, value)
{
  /* Nothing to be done in extern file */
};

/**
 * @param {string} key
 */
Android.getStorage = function(key)
{
  /* Nothing to be done in extern file */
};

/**
 * @param {string} fileName
 * @param {string} fileContents
 */
Android.download = function(fileName, fileContents)
{
  /* Nothing to be done in extern file */
};

Android.stop = function()
{
  /* Nothing to be done in extern file */
};

Android.getAppVer = function()
{
  /* Nothing to be done in extern file */
};

Android.endCalculation = function()
{
  /* Nothing to be done in extern file */
};

Android.getInformation = function(x, y)
{
  /* Nothing to be done in extern file */
};

Android.moveGraphic = function(deltaX, deltaY)
{
  /* Nothing to be done in extern file */
};

Android.drawPartialGraphic = function(xminDisp, xmaxDisp, yminDisp, ymaxDisp)
{
  /* Nothing to be done in extern file */
};

Android.nbrChanged = function(value, inputBoxNbr, newWidth, newHeight)
{
  /* Nothing to be done in extern file */
};

Android.getPixelArrayData = function(firstPixel, width, height)
{
  /* Nothing to be done in extern file */
};