File: rules_dictionaries.py

package info (click to toggle)
chromium 138.0.7204.183-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 6,071,908 kB
  • sloc: cpp: 34,937,088; ansic: 7,176,967; javascript: 4,110,704; python: 1,419,953; asm: 946,768; xml: 739,971; pascal: 187,324; sh: 89,623; perl: 88,663; objc: 79,944; sql: 50,304; cs: 41,786; fortran: 24,137; makefile: 21,806; php: 13,980; tcl: 13,166; yacc: 8,925; ruby: 7,485; awk: 3,720; lisp: 3,096; lex: 1,327; ada: 727; jsp: 228; sed: 36
file content (37 lines) | stat: -rw-r--r-- 1,371 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# Copyright 2021 The Chromium Authors
# Use of this source code is governed by a BSD-style license that can be
# found in the LICENSE file.
"""
Here are rule classes which validate whether dictionaries violate the rules
described in Web IDL https://webidl.spec.whatwg.org/.

Each rule class must inherit RuleBase.
"""

from validator.framework import RuleBase
from validator.framework import target


class ForbiddenNullableDictionaryTypeForArguments(RuleBase):
    def validate(self, assert_, argument):
        assert_(
            not (argument.idl_type.is_nullable
                 and argument.idl_type.unwrap().is_dictionary),
            ("Nullable dictionary type is forbidden as "
             "an argument type."))


class ForbiddenNullableDictionaryTypeForDictionaryMembers(RuleBase):
    def validate(self, assert_, dictionary_member):
        assert_(
            not (dictionary_member.idl_type.is_nullable
                 and dictionary_member.idl_type.unwrap().is_dictionary),
            ("Nullable dictionary type is forbidden as "
             "a dictionary member type."))


def register_rules(rule_store):
    rule_store.register(target.ARGUMENTS,
                        ForbiddenNullableDictionaryTypeForArguments())
    rule_store.register(target.DICTIONARY_MEMBERS,
                        ForbiddenNullableDictionaryTypeForDictionaryMembers())