products/Sources/formale Sprachen/PVS/complex_integration/pvsbin/   (Gnome Linux Desktop Version 4.23.2©)  Datei vom 8.10.2014 mit Größe 1 MB image not shown  

Quellcode-Bibliothek ClientUsageArray.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 DOM_QUOTA_CLIENTUSAGEARRAY_H_
#define DOM_QUOTA_CLIENTUSAGEARRAY_H_

#include <cstdint>

#include "mozilla/Maybe.h"
#include "mozilla/dom/quota/Client.h"

namespace mozilla::dom::quota {

class ClientUsageArray final : public Array<Maybe<uint64_t>, Client::TYPE_MAX> {
 public:
  Maybe<uint64_t>& operator[](size_t aIndex) {
    if (MOZ_UNLIKELY(aIndex >= Client::TypeMax())) {
      MOZ_CRASH("indexing into invalid element");
    }
    return Array::operator[](aIndex);
  }

  const Maybe<uint64_t>& operator[](size_t aIndex) const {
    if (MOZ_UNLIKELY(aIndex >= Client::TypeMax())) {
      MOZ_CRASH("indexing into invalid element");
    }
    return Array::operator[](aIndex);
  }

  constexpr size_t Length() const { return size(); }

  void Serialize(nsACString& aText) const;

  nsresult Deserialize(const nsACString& aText);
};

}  // namespace mozilla::dom::quota

#endif  // DOM_QUOTA_CLIENTUSAGEARRAY_H_

Messung V0.5 in Prozent
C=93 H=95 G=93

¤ 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.0.15Bemerkung:  (vorverarbeitet am  2026-08-25) ¤

*Bot Zugriff






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.