diff --git a/source/interprocedural_analyses/taint/test/integration/readonly.py b/source/interprocedural_analyses/taint/test/integration/readonly.py index f5256e1a1c..b8fee73c5c 100644 --- a/source/interprocedural_analyses/taint/test/integration/readonly.py +++ b/source/interprocedural_analyses/taint/test/integration/readonly.py @@ -6,7 +6,7 @@ from builtins import _test_source, _test_sink from typing import Any, MutableMapping from typing_extensions import Self -from pyre_extensions import ReadOnly +from pyre_extensions import PyreReadOnly class A: @@ -15,7 +15,7 @@ def __init__(self) -> None: self.mapping: MutableMapping[str, Any] = {} def self_readonly_str( - self: ReadOnly[Self] + self: PyreReadOnly[Self] ) -> None: _test_sink(self.B) @@ -25,7 +25,7 @@ def self_untyped_str( _test_sink(self.B) def self_readonly_map( - self: ReadOnly[Self] + self: PyreReadOnly[Self] ) -> None: # pyre-ignore[3005]: Ignore ReadOnly Violation _test_sink(self.mapping.get("")) @@ -35,7 +35,7 @@ def self_untyped_map( ) -> None: _test_sink(self.mapping.get("")) - def readonly_tito(self, x: ReadOnly[str]): + def readonly_tito(self, x: PyreReadOnly[str]): return x @@ -50,11 +50,11 @@ class Foo: not_tainted: str = "" -def readonly_foo_tainted(foo: ReadOnly[Foo]) -> None: +def readonly_foo_tainted(foo: PyreReadOnly[Foo]) -> None: _test_sink(foo.tainted) -def readonly_foo_not_tainted(foo: ReadOnly[Foo]) -> None: +def readonly_foo_not_tainted(foo: PyreReadOnly[Foo]) -> None: _test_sink(foo.not_tainted)