From d29335040d78a19f25830061484cf70dc03a9c21 Mon Sep 17 00:00:00 2001 From: Anthony Ramine Date: Tue, 26 Sep 2017 00:16:22 +0200 Subject: Rename MutJS to MutDom --- python/tidy/servo_tidy/tidy.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'python/tidy/servo_tidy/tidy.py') diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index cd4bf6feb97..d7c83ee8cee 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -575,10 +575,10 @@ def check_rust(file_name, lines): (r": &String", "use &str instead of &String", no_filter), # There should be any use of banned types: # Cell, Cell>, DOMRefCell>, DOMRefCell> - (r"(\s|:)+Cell", "Banned type Cell detected. Use MutJS instead", no_filter), - (r"(\s|:)+Cell>", "Banned type Cell> detected. Use MutJS instead", no_filter), - (r"DOMRefCell>", "Banned type DOMRefCell> detected. Use MutJS instead", no_filter), - (r"DOMRefCell>", "Banned type DOMRefCell> detected. Use MutJS instead", no_filter), + (r"(\s|:)+Cell", "Banned type Cell detected. Use MutDom instead", no_filter), + (r"(\s|:)+Cell>", "Banned type Cell> detected. Use MutDom instead", no_filter), + (r"DOMRefCell>", "Banned type DOMRefCell> detected. Use MutDom instead", no_filter), + (r"DOMRefCell>", "Banned type DOMRefCell> detected. Use MutDom instead", no_filter), # No benefit to using &Root (r": &Root<", "use &T instead of &Root", no_filter), (r"^&&", "operators should go at the end of the first line", no_filter), -- cgit v1.2.3