Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 44 kB image not shown  

Quelle  moz.build   Sprache: unbekannt

 
Spracherkennung für: .build vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

component_engine = ("Core", "JavaScript Engine")
component_gc = ("Core", "JavaScript: GC")

with Files("**"):
    BUG_COMPONENT = component_engine

for header in (
    "GCAnnotations.h",
    "GCAPI.h",
    "HeapAPI.h",
    "RootingAPI.h",
    "SliceBudget.h",
    "SweepingAPI.h",
    "TraceKind.h",
    "TracingAPI.h",
    "WeakMap.h",
    "WeakMapPtr.h",
    "GCHashTable.h",
    "GCPolicyAPI.h",
    "GCVariant.h",
    "GCVector.h",
):
    with Files("public/" + header):
        BUG_COMPONENT = component_gc

with Files("src/**"):
    SCHEDULES.inclusive += ["jittest", "jsreftest"]

with Files("public/**"):
    SCHEDULES.inclusive += ["jittest", "jsreftest"]

SPHINX_TREES["/js"] = "src/doc"

[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-04-25]