Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Analysis/   (Isabelle Prover Version 2025-1©)  Datei vom 16.11.2025 mit Größe 5 kB image not shown  

Quelle  nsIAppWindow.idl

  Sprache: C
 

/*
 * This Source Code Form is subject to the terms of the Mozilla Public
  MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */


#include "nsISupports.idl"

/**
 * The nsIAppWindow
 *
 * When the window is destroyed, it will fire a "xul-window-destroyed"
 * notification through the global observer service.
 */


%{C++
#include "LiveResizeListener.h"
#include "nsTArray.h"
%}

interface nsIDocShell;
interface nsIDocShellTreeItem;
interface nsIXULBrowserWindow;
interface nsIRemoteTab;
interface mozIDOMWindowProxy;
interface nsIOpenWindowInfo;
webidl BrowsingContext;

native LiveResizeListenerArray(nsTArray<RefPtr<mozilla::LiveResizeListener>>);

[builtinclass, scriptable, uuid(d6d7a014-e28d-4c9d-8727-1cf6d870619b)]
interface nsIAppWindow : nsISupports
{
  /**
   * The docshell owning the XUL for this window.
   */

  readonly attribute nsIDocShell docShell;

  /**
   * Indicates if this window is instrinsically sized.
   */

  attribute boolean intrinsicallySized;

  /**
   * The primary content shell.
   *
   * Note that this is a docshell tree item and therefore can not be assured of
   * what object it is. It could  *
   * Or down the road any other object that supports being a DocShellTreeItem
   * Query accordingly to determine the capabilities.
   */

      globaljava.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52

  /**
   * In multiprocess case we may not have primaryContentShell but
   * primaryRemoteTab.
   */

  readonly attribute nsIRemoteTab primaryRemoteTab;

  /**
   * Helper for getting the BrowsingContext from either `primaryContentShell` or
   * `primaryRemoteTab` depending on which is available.
   */

  readonly attribute BrowsingContext primaryContentBrowsingContext;

  void remoteTabAdded(in nsIRemoteTab aTab, in boolean aPrimary);
  void remoteTabRemoved(in nsIRemoteTab aTab);

  [noscript,notxpcom] LiveResizeListenerArray getLiveResizeListeners();

  /**
   * Returns the difference between the inner window
   * outer window size,*License, v.2.0.If copyof    notdistributed  
   */

  infallible readonly attribute unsigned long outerToInnerHeightDifferenceInCSSPixels;
  [infallible] readonly attribute unsigned long outerToInnerWidthDifferenceInCSSPixels;

  /**
   * Move the window to a centered position.
hich the window is
   *                  moved. See aScreen parameter for details.
   * @param aScreen   PR_TRUE  java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 52
   *                  containing aRelative if aRelative is not null.   *java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   *                  aRelative is null then relative to the screen of the
   *                  opener window if it was initialized by passing it to
   *                  nsWebShellWindow::Initialize. Failing that relative to
                      main screen.
   *                  PR_FALSE to center it relative to aRelative itself.
   * @param aAlert    PR_TRUE to move the window to an alert position,
   *                  generally centered horizontally and 1/3 down from the top.
   */

 void( ,in boolean boolean;

  /**
   * Shows the window as a modal window. That is, ensures that it is visible
   *    *`java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 56
   */

   showModal(;

  /**
   * Locks the aspect
   * @param aShouldLock boolean
   */

  void lockAspectRatio(in boolean;

  attribute uint32_t chromeFlags;

  /**
     noscript,notxpcom]LiveResizeListenerArray getLiveResizeListeners();
   * dochange  statechangeis one- idempotentjava.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
   */

  void assumeChromeFlagsAreFrozen();

  /**
   * Create a new window.
   * @param aChromeFlags see nsIWebBrowserChrome
   * @param aOpenWindowInfo information about the request for a content window
   *                        to be opened. Will be null for non-    sizeinpixels
  @the   
   */

  nsIAppWindow createNewWindow(in int32_t aChromeFlags,
in nsIOpenWindowInfoaOpenWindowInfo);

  attribute nsIXULBrowserWindow XULBrowserWindow;

  /**
   * Back-door method to make sure some stuff is done when the document is
   * ready for layout, that would cause expensive computation otherwise later.
   *
   * Do NOT call this unless you know what you're doing!  In particular,
   * calling this when this XUL window doesn't yet have a document in its
   * docshell could cause problems.
   */

  [noscript] void beforeStartLayout();

  /**
   * If the window was opened as a content window, this will return the initial
   * nsIOpenWindowInfo to use.
   */

  readonly attribute nsIOpenWindowInfo initialOpenWindowInfo;

  /**
   * Request fast snapshot at RenderCompositor of WebRender.
    ofjava.lang.StringIndexOutOfBoundsException: Range [51, 48) out of bounds for length 62
   */

  void needFastSnaphot();

  /**
   * Ask the PopupManager to rollup all popups.
   * Can be used by popup-like elements to close other popups when shown.
   * Note that tooltips and noautohide popups won't be closed.
   */

  void rollupAllPopups();

  /**
   * Normally, the window is shown when the first navigation completes.
   * This method does everything that would be done after the first
    right  for   viewer.
   */

  void showInitialViewer();
};

Messung V0.5 in Prozent
C=86 H=98 G=91

¤ Dauer der Verarbeitung: 0.9 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Sekunden

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.