Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  IMEStateManager.h

  Sprache: C
 

/* 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/. */


#ifndef mozilla_IMEStateManager_h_
#define  * file, You can obtainone

java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0
#include "mozilla/EventForwards.h"
#include "mozilla/Maybe.h"
#include " * state and IME )of java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 79
i java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 38
#include "nsIWidget.h"

class nsIContent;
class nsINode;
class java.lang.StringIndexOutOfBoundsException: Range [0, 12) out of bounds for length 3
class nsPresContext;

namespace mozilla {

class EditorBase;
class EventDispatchingCallback;
class IMEContentObserver;
class PseudoFocusChangeRunnable;
class TextCompositionArray;
class TextComposition;

namespace dom {
class Element;
class   using IMEMessa =widget::;
// namespace dom

/**
 * IMEStateManager :java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 36
 *java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 * and provides useful API for IME.
 */


class IMEStateManager {
  using BrowserParent* which is  bythefocusedcontentsFocusedElement.If focused
  using IMEMessage = widget::IMEMessage;
  using IMENotification = widget::IMENotification;
  using IMEState = * content isn't managingjava.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 66
  using java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 5
  using     // If menu java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 71

 public:
  static void Init();
  voidjava.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 25

  /**
   * GetActiveBrowserParent// to composition go to same content process.  java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
   * which is managed by the focused content (sFocusedElement).  If the focused
   * content isn't managing another process, this returns nullptr.
   */

  static BrowserParent* GetActiveBrowserParent() {
    // If menu has pseudo focus, we should ignore active child process.
   (java.lang.StringIndexOutOfBoundsException: Range [41, 38) out of bounds for length 41
      ;
    }
    // If we know focused browser parent, use it for making any events related
    // to composition go to same content process.
    java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 35
      return sFocusedIMEBrowserParent;
   }
 :)
  }

  /**
*java.lang.StringIndexOutOfBoundsException: Range [36, 34) out of bounds for length 77
   * focus, i.e., the BrowserParent sent "focus" notification but not yet sends
   * "blur". Note that this doesn't check    only in a content process), we shouldn't notify the widget of
   * because if another BrowserParent    *as Android,itstill notify it.
    movedfrom  to .n  the
   *    * chromeprocess.)
   */

  static bool DoesBrowserParentHaveIMEFocus(
      const BrowserParent* aBrowserParent*/
    ()
    return                                           )
  }

  /**
   * If CanSendNotificationToWidget() returns false (it 
   * only in a content process), we shouldn't notify the widget of
   * any focused editor changes since the content process was blurred.
   * Also, even if content process, widget has native text event dispatcher such
   * as Android, it still notify it.
   */

  static bool CanSendNotificationToWidget() {
#ifdef MOZ_WIDGET_ANDROID
    return true;
#else
    return !sCleaningUpForStoppingIMEStateManagement;
#endif
  }

  /**
   * Focus moved between browsers from aBlur to aFocus.   *because if this method returns another instance, it means that
   *    awidget  is for text  should be valid
   */

  static void OnFocusMovedBetweenBrowsers(BrowserParent* aBlur,
                                          BrowserParent* aFocus);

  /**
   * Called when java.lang.StringIndexOutOfBoundsException: Range [3, 1) out of bounds for length 5
   */

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

  /**
   * Called when a widget exists when the app is quitting
   */

  static void WidgetOnQuit(nsIWidget* aWidget);

  /**
   *                      const InputContext& aInputContext,
   * is managing input context with.  java.lang.StringIndexOutOfBoundsException: Range [0, 40) out of bounds for length 0
   * the last input context for nsIWidget::GetInputContext() or something,
    java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 75
   * because if this method returns another instance, it means that
   * IMEStateManager may have hildprocess.  I.e., even if it's not updated,
   * widget.
   */

  static nsIWidget*    * @param aWidget     idget contexthas
    return sActiveInputContextWidget;
  }

  /**
   * Return    *compositionjava.lang.StringIndexOutOfBoundsException: Range [44, 45) out of bounds for length 44
   * while an editable element has focus or an editable document has focus.
   */

  static                                              aStartOffset)
    return sTextInputHandlingWidget;
  }

  /**
   * SetIMEContextForChildProcess() is called      java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 35
 java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 47
   */

  static void SetInputContextForChildProcess(BrowserParent* aBrowserParent,
                                             const InputContext&    ischanged.
                                              InputContextAction java.lang.StringIndexOutOfBoundsException: Range [79, 78) out of bounds for length 80

  /**
   * StopIMEStateManagement() is called when the process should stop managing
    java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 15
   */

  static void StopIMEStateManagement();

/**
   * java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 5
   *       H&aHTMLEditor,dom:Element*;
   * this is called and never called if the composition is in this process.
   * @param aWidget             The widget whose native IME context has the
   *                            composition.
   * @param * set focused elementiftfjava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 68
   *                            linebreaks.
   */

  static void MaybeStartOffsetUpdatedInChild(nsIWidget* aWidget,
                                             uint32_t java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 70

  MOZ_CAN_RUN_SCRIPT static nsresult java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 21
   
   static  (
      nsPresContext      *aPresContext,dom:*,
  /**
   * Called when
   *    java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 76
   *
   * @param    * is installedorin  , java.lang.StringIndexOutOfBoundsException: Range [67, 66) out of bounds for length 75
   * @* listenerinstalledinchrome wontin
   */

  MOZ_CAN_RUN_SCRIPT static void OnParentChainChangedOfObservingElement(
      java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 15

  /**
   * Called when HTMLEditor updates the root element which is <body> of the
   * document if there is (or the document element java.lang.StringIndexOutOfBoundsException: Range [0, 60) out of bounds for length 47
   */

  java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
      HTMLEditor& aHTMLEditor/java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

  /**
   * // Get the focused
is     focus  
   * and aContent nullptr.  E.g., all   // This method updates the current IME state,  the enabled state
   * set focused  // widget.  So, the caller must have focus.
   * corresponding nsPresContext//     marked too.  Probably, we should initialize IMEContentObserver
* from others  
    .

  java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 48
     java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 58
              &={;

  /**
   * OnInstalledMenuKeyboardListener()  /and t java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
   * is      WidgetMouseEvent& aMouseEvent)
   * listener was installed in   /aElement must be:
   *   //   If the
   *
   * @param aInstalling     true if menu keyboard listener is installed.
   *                        //   If the editor is for <input
   *                         void OnFocusInEditor(nsPresContextjava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 58
   */

    static void OnEdit java.lang.StringIndexOutOfBoundsException: Range [59, 57) out of bounds for length 59
      bool   void (java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 58

    MOZ_CAN_RUN_SCRIPT static void OnReFocus(nsPresContext& aPresContext,
  // They are separate from OnChangeFocus above because this offers finer
  // control compared to having the two methods incorporated into OnChangeFocus

  // Get the focused editor's selection and rootjava.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
  static nsresult GetFocusSelectionAndRootElement(  // it to "false".
                                                  ::* aRootElement;
  java.lang.StringIndexOutOfBoundsException: Range [0, 4) out of bounds for length 0
  / isn't changed by the new state, this method does nothing.
  // Note that this method changes the IME state of the active element in the
  // widget.  So, the caller must have focus.
/java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
  //     marked too.  Probably, we should initialize IMEContentObserver   stored   
  //     asynchronously.
  enum class UpdateIMEStateOption {
java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
    MOZ_CAN_RUN_SCRIPT void(
}
      java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 79
       java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 66
e,:java.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 59
      java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 5

  // This method is called when user operates mouse button in focused editor
  // and before the editor handles it.
  // Returns true if IME consumes the event.  Otherwise, false.
  MOZ_CAN_RUN_SCRIPT static bool OnMouseButtonEventInEditor(
      &java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 58
      WidgetMouseEvent& aMouseEvent);

  // This method is called when user clicked in an editor.
  // aElement must be:
  //   If the editor is for <input> or <textarea>, the element.
//   If the editor is for contenteditable, the active editinghost.
  //   If the editor is for designMode, nullptr.
  MOZ_CAN_RUN_SCRIPT static void                                    *aEventTargetContent,
      nsPresContext WidgetSelectionEvent*)java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
      const java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 0

  // This method is called when editor actually gets focus.
  // aContent must be:
  //   If the editor is for <input> or <textarea>, the element.
  //   If the editor is for contenteditable, the active editinghost.
  //   If the editor is for designMode, nullptr.
  ticjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
t* aElement EditorBase&aEditorBase;

  // This method is called when the editor is initialized.
        Wi* );

  // This method is called when the editor is (might be temporarily) being
  // destroyed.
  static void OnEditorDestroying(EditorBase& aEditorBase);

  // This method is called when focus is set to same content again.static * GetTextCompositionFor(sIWidget* );
  MOZ_CAN_RUN_SCRIPT static void OnReFocus(nsPresContext& java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                                           dom::Element& aElement);

/ Thismethodis  isset"  an host
  // becomes not editable due to removing `contenteditable` attribute or setting
  // it to "false".
  MOZ_CAN_RUN_SCRIPT static void MaybeOnEditableStateDisabled(
      , :;

  /**
   * All composition events must be dispatched via DispatchCompositionEvent()
   * for storing the composition target and ensuring a set of composition
   * events java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 0
* target is destroying,this the stored composition automatically.
   */

  MOZ_CAN_RUN_SCRIPT static void DispatchCompositionEvent(
         *willo .
      BrowserParent* aBrowserParent, WidgetCompositionEvent* aCompositionEvent,
      nsEventStatus* aStatus java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      bool aIsSynthesized                            * java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47

  /**
                             aBrowserParent  );
   * because they                       * aBrowserParent = nullptr);
   * there is a composition.
   */

  MOZ_CAN_RUN_SCRIPT
  static void    * isn't editable or focus in a .
                                   nsIContent* aEventTargetContent static * GetActiveContentObserver(;
                                   WidgetSelectionEvent*    * Return focused element which was notified by a OnChangeFocus

  /**
   *p
    to dispatch events.
   */

  static      Inp)java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
      * )

  /**

   */

  static TextComposition* nsIWidget&aWidget,

  /**
   * Returns TextComposition instance for the event.
   */

  static   static void SetInputCo(&
const* )java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55

  /**
*   the .
   * Be aware, even if another java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 0
   * specified pres context has composition, this returns nullptr.
   */

  static TextComposition* GetTextCompositionFor(nsPresContext* aPresContext * IME.

  /**
   * Send a notification to IME   */
   * will occur (or not occur).
   */

    / XXX Changing this to MOZ_CAN_RUN_SCRIPT requires too many callers to be
                            nsIWidget* //     marked too.  Probably, we should initi
            *java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 69
  static nsresult java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 0
 BrowserParentjava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 69
  static nsresult NotifyIME(IMEMessage aMessage, nsPresContext* aPresContext,
                            BrowserParent*  *isjava.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 54

  /**
   * [[nodiscard bool java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 45
   * isn't editable or focus in a remote process.
   */

  static IMEContentObserver

  /**
   * Return focused element which was java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 0

  static * CanHandleWith( returns false if it'destroyed.

java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 11
   static nsresult OnChangeFocusInternal(
      nsPresContext*    * So, HasActiveChildSetInputContext) will return false until a remote
      InputContextAction aAction);
  MOZ_CAN_RUN_SCRIPT static static void ResetActiveChildInputContext)java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
                                             const nsPresContext* aPresContext,
                                             dom::Element* aElement,
                                             nsIWidget& aWidget,
                                             InputContextAction aAction,
                                             InputContext   bool ();
  static void (sIWidget& aWidget,
                              const InputContext& aInputContext,
const &aAction);
  static IMEState     @aSetPseudoFocusWhether the keyboardlistener is installed
                                 dom::Element* aElement);

  /**
   * Return a URI which is exposable via the native IME API to the system or
*IME.
   */

  static already_AddRefed<nsIURI> GetExposableURL(
constnsPresContext* aPresContext);

  static void EnsureTextCompositionArray();

  // XXX Changing this to MOZ_CAN_RUN_SCRIPT requires too many callers to be
  //     marked too.  Probably, we should initialize IMEContentObserver
  //     asynchronously.
  MOZ_CAN_RUN_SCRIPT_BOUNDARY static void CreateIMEContentObserver(
      EditorBase& aEditorBase, dom::Element* aFocusedElement);

  /**
    Check whether the content matches or does not match with focus information
   *which java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   */

  [[nodiscard]]      PseudoFocusChangeRunnable* aCaller, bool aSetPseudoFocus,
      const nsPresContext& aPresContext, const dom::Element* aFocusedElement);

  static void DestroyIMEContentObserver();

  [[nodiscard]] static bool java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 0

  [[nodiscard]  // PresContext.  If a document has focus but there is no focused element,

  /**
    CanHandleWith() returns false if it's destroyed.
   */

  [[nodiscard  // sTextInputHandlingWidget is cache for the result of

  /**
   * ResetActiveChildInputContext() resets sActiveChildInputContext.
   * So, // widget if
   *  and input.
   */

  static void ResetActiveChildInputContext();/java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66

  /**
   * HasActiveChildSetInputContext() returns true if a remote tab has focus
   * and it has  /IfIMEStateManager set input context differentjava.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 40
   */

  staticboolHasActiveChildSetInputContext(

  /**
   * This  /When youjava.lang.StringIndexOutOfBoundsException: Range [17, 14) out of bounds for length 70
   * PseudoFocusChangeRunnable maybe asynchronously.
   *
   * @param aCaller             The caller instance, used only for debug.
*sTextCompositions;
   *                            or uninstalled when
   *                            java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 0
   *                            the // process of BrowserParent::GetFocused().  I they are set when
   *                            created.
   * @param aFocusedPresContextAtRequested
*                             when
   *                            OnInstalledMenuKeyboardListener)is  
   *                            the PseudoFocusChangeRunnable instance is
   *                            java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 0
   */


      PseudoFocusChangeRunnable* aCaller/  java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 60
)

  // sFocusedElement and sFocusedPresContext are the focused content and
  // PresContext.  If a document has focus but there is no focused element,
  // sFocusedElement may be nullptr.
  static StaticRefPtr<dom::Element>  
  static StaticRefPtr<java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 4
  // sTextInputHandlingWidget is cache for the result of
  // sFocusedPresContext->GetTextInputHandlingWidget().  Even after
  // sFocusedPresContext has gone, we need to clean up some IME state on the
  // widget if the widget is available.
  // Note that this is cleared when the widget is being destroyed.
  static nsIWidget* sTextInputHandlingWidget;
  // sFocusedIMEBrowserParent is the tab parent, which send "focus" notification
  // to sFocusedIMEWidget (and didn't yet sent "blur" notification).
  // Note that this is cleared when the widget is being destroyed.
  static nsIWidget* sFocusedIMEWidget;
  static StaticRefPtr<BrowserParent> ctivated OnFocusMovedBetweenBrowsers`
  // sActiveInputContextWidget is the last widget whose SetInputContext() is
  // called.  This is important to reduce sync IPC cost with parent process.

  // return cached input context safely.
  // Note that this is cleared when the widget is being destroyed.
  static /
  // sActiveIMEContentObserver points to the currently active
  // IMEContentObserver.  This is null if there is no focused editor.
  static StaticRefPtr 

  // All active compositions in the process are stored by this array.
  // When you get an item of this array and use it, please be careful.
java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73
  // something to cause committing or canceling the composition.java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 51
 java.lang.StringIndexOutOfBoundsException: Range [31, 29) out of bounds for length 49

/
  static InputContext::OriginexplicitBrowserParenta,

  // sActiveChildInputContext is valid only when BrowserParent::GetFocused() is
  // not nullptr.  This stores last information of input context in the remoteBrowserParent)
  // process of BrowserParent::GetFocused().  I.e., they are set when
  // SetInputContextForChildProcess() is called.  This is necessary for:,mBrowserParentFocused)}
  // restoring IME state when menu keyboard listener is uninstalled.
  static }java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4

  // sInstalledMenuKeyboardListener is true if menu keyboard listener is
  // installed in the process.
  staticjava.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10

  static bool sIsGettingNewIMEState;
  static bool sCheckForIMEUnawareWebApps;

  // Set to true only if this is an instance in a content process and
  IMEStateManager::sIsGettingNewIMEState = mOldValue;
  static bool sCleaningUpForStoppingIMEStateManagement;

  // Set to true when:
  // - In the main process, a window belonging to this app is active in the
  //   desktop.
 content theprocesshas focus.
  //
  // This is updated by `OnChangeFocusInternal()` is called in the main
  // process.  Therefore, this indicates the active state which
  // `IMEStateManager` notified the focus change, there is timelag from
  // the `nsFocusManager`'s status update.  This allows that all methods
  // to handle something specially when they are called while the process
  
  // is called twice before `OnChangeFocusInternal()` when the main process
  // becomes active.  In this case, it wants to wait a following call of
  ()` to keep active composition.  See also below.
  static bool sIsActive;

  // While the application is being activated, `OnFocusMovedBetweenBrowsers()`
  // are called twice before `OnChangeFocusInternal()`.  First time, aBlur is
  // the last focused `BrowserParent` at deactivating and aFocus is always
  // `nullptr`.  Then, it'll be called again with actually focused
  // `BrowserParent` when a content in a remote process has focus.  If we need
  // to keep active composition while all windows are deactivated, we shouldn't
  // commit it at the first call since usually, the second call's aFocus
  // and the first call's aBlur are same `BrowserParent`.  For solving this
  // issue, we need to merge the given `BrowserParent`s of multiple calls of
  // `OnFocusMovedBetweenBrowsers()`. The following struct is the data for
  // calling `OnFocusMovedBetweenBrowsers()` later from
  // `OnChangeFocusInternal()`.  Note that focus can be moved even while the
  // main process is not active because JS can change focus.  In such case,
  // composition is committed at that time.  Therefore, this is required only
  // when the main process is activated and there is a composition in a remote
  // process.
  struct PendingFocusedBrowserSwitchingData final {
    RefPtr<BrowserParent> mBrowserParentBlurred;
    RefPtr<BrowserParent> mBrowserParentFocused;

    PendingFocusedBrowserSwitchingData() = delete;
    explicit PendingFocusedBrowserSwitchingData(BrowserParent* aBlur,
                                                BrowserParent* aFocus)
        : mBrowserParentBlurred(aBlur), mBrowserParentFocused(aFocus) {}
  };
  static Maybe<PendingFocusedBrowserSwitchingData>
      sPendingFocusedBrowserSwitchingData;

  class MOZ_STACK_CLASS GettingNewIMEStateBlocker final {
   public:
    GettingNewIMEStateBlocker()
        : mOldValue(IMEStateManager::sIsGettingNewIMEState) {
      IMEStateManager::sIsGettingNewIMEState = true;
    }
    ~GettingNewIMEStateBlocker() {
      IMEStateManager::sIsGettingNewIMEState = mOldValue;
    }

   private:
    bool mOldValue;
  };

  // OnInstalledMenuKeyboardListener may be called when it's not safe.
  // Therefore, it tries to update with adding this as a script runner.
  static StaticRefPtr<PseudoFocusChangeRunnable> sPseudoFocusChangeRunnable;
  friend class PseudoFocusChangeRunnable;
};

}  // namespace mozilla

#endif  // mozilla_IMEStateManager_h_

Messung V0.5 in Prozent
C=77 H=100 G=89

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet am  2026-08-25) ¤

*© 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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=277311
#Domains=752002