feature: @putout/plugin-printer: check-type-passed-to-type-checker

Author: coderaiser

packages/plugin-printer/README.md

@@ -20,6 +20,7 @@ npm i @putout/plugin-printer -D
 - ✅ [apply-create-test-url](#apply-create-test-url);
 - ✅ [apply-linebreak](#apply-linebreak);
 - ✅ [apply-types](#apply-types);
+- ✅ [check-type-passed-to-type-checker](#check-type-passed-to-type-checker);
 - ✅ [declare](#declare);
 - ✅ [remove-args](#remove-args);
 - ✅ [remove-useless-maybe](#remove-useless-maybe);
@@ -39,6 +40,7 @@ npm i @putout/plugin-printer -D
         "printer/apply-computed-print": "on",
         "printer/apply-create-test-url": "on",
         "printer/apply-types": "on",
+        "printer/check-type-passed-to-type-checker": "on",
         "printer/declare": "on",
         "printer/remove-args": "on",
         "printer/remove-useless-maybe": "on",
@@ -228,6 +230,26 @@ export const beforeIf = createTypeChecker([
 ]);
 ```
 
+## check-type-passed-to-type-checker
+
+Checkout in 🐊[**Putout Editor**](https://putout.cloudcmd.io/#/gist/9b35f5f2f23bece832f0f87c929d30e2/b08df8ef8ce6c2a03bceebe6119846c45a78a119).
+
+### ❌ Example of incorrect code
+
+```js
+export const beforeIf = createTypeChecker([
+    ['- : -> WrongType'],
+]);
+```
+
+### ✅ Example of correct code
+
+```js
+export const beforeIf = createTypeChecker([
+    ['- : -> 🧨 WrongType'],
+]);
+```
+
 ## declare
 
 ### ❌ Example of incorrect code

packages/plugin-printer/lib/check-type-passed-to-type-checker/fixture/check-type-passed-to-type-checker-fix.js

@@ -0,0 +1,8 @@
+export const beforeIf = createTypeChecker([
+    '- : -> !StringLiteral',
+    '- : -> !🧨 WrongType',
+    ['- : -> BlockStatement'],
+    ['- : -> 🧨 WrongType'],
+    ['- : ->', isBlockStatement],
+    ['-', isBlockStatement],
+]);

packages/plugin-printer/lib/check-type-passed-to-type-checker/fixture/check-type-passed-to-type-checker.js

@@ -0,0 +1,8 @@
+export const beforeIf = createTypeChecker([
+    '- : -> !StringLiteral',
+    '- : -> !WrongType',
+    ['- : -> BlockStatement'],
+    ['- : -> WrongType'],
+    ['- : ->', isBlockStatement],
+    ['-', isBlockStatement],
+]);

packages/plugin-printer/lib/check-type-passed-to-type-checker/index.js

@@ -0,0 +1,71 @@
+import {types, operator} from 'putout';
+
+const {
+    isIdentifier,
+    isCallExpression,
+} = types;
+
+const {setLiteralValue} = operator;
+const ARROW = ' -> ';
+const ARROW_NOT = ' -> !';
+const ARROW_LENGTH = ARROW.length;
+const ARROW_NOT_LENGTH = ARROW_NOT.length;
+const MARK = '🧨';
+
+export const report = ({type}) => {
+    return `Unknown type detected: '${type}'`;
+};
+
+export const fix = ({path, type}) => {
+    const {value} = path.node;
+    setLiteralValue(path, value.replace(type, `${MARK} ${type}`));
+};
+
+export const traverse = ({push}) => ({
+    StringLiteral(path) {
+        const call = path.find(isCallExpression);
+        
+        if (!call)
+            return;
+        
+        if (!isIdentifier(call.node.callee, {name: 'createTypeChecker'}))
+            return;
+        
+        const {value} = path.node;
+        
+        if (value.includes(MARK))
+            return;
+        
+        if (value.endsWith('->'))
+            return;
+        
+        if (value.includes('!')) {
+            const arrowNotIndex = value.indexOf(ARROW_NOT);
+            const typeNotIndex = arrowNotIndex + ARROW_NOT_LENGTH;
+            
+            const type = value.slice(typeNotIndex, value.length);
+            
+            if (!types[`is${type}`])
+                push({
+                    path,
+                    type,
+                });
+            
+            return;
+        }
+        
+        const arrowIndex = value.indexOf(ARROW);
+        const typeIndex = arrowIndex + ARROW_LENGTH;
+        
+        const type = value.slice(typeIndex, value.length);
+        
+        if (!type)
+            return;
+        
+        if (!types[`is${type}`])
+            push({
+                path,
+                type,
+            });
+    },
+});

packages/plugin-printer/lib/check-type-passed-to-type-checker/index.spec.js

@@ -0,0 +1,18 @@
+import {createTest} from '@putout/test';
+import * as plugin from './index.js';
+
+const test = createTest(import.meta.url, {
+    plugins: [
+        ['check-type-passed-to-type-checker', plugin],
+    ],
+});
+
+test('printer: check-type-passed-to-type-checker: report', (t) => {
+    t.report('check-type-passed-to-type-checker', `Unknown type detected: 'WrongType'`);
+    t.end();
+});
+
+test('printer: check-type-passed-to-type-checker: transform', (t) => {
+    t.transform('check-type-passed-to-type-checker');
+    t.end();
+});

packages/plugin-printer/lib/index.js

@@ -1,3 +1,4 @@
+import * as checkTypePassedToTypeChecker from './check-type-passed-to-type-checker/index.js';
 import * as removeUselessSpacesFromTypeChecker from './remove-useless-spaces-from-type-checker/index.js';
 import * as addMissingSpacesToTypeChecker from './add-missing-spaces-to-type-checker/index.js';
 import * as removeTrailingSpacesFromTypeChecker from './remove-trailing-spaces-from-type-checker/index.js';
@@ -26,4 +27,5 @@ export const rules = {
     'remove-trailing-spaces-from-type-checker': removeTrailingSpacesFromTypeChecker,
     'add-missing-spaces-to-type-checker': addMissingSpacesToTypeChecker,
     'remove-useless-spaces-from-type-checker': removeUselessSpacesFromTypeChecker,
+    'check-type-passed-to-type-checker': checkTypePassedToTypeChecker,
 };

packages/plugin-printer/test/fixture/check-type-passed-to-type-checker-fix.js

@@ -0,0 +1,11 @@
+import {types} from '@putout/babel';
+
+const {isBlockStatement} = types;
+
+export const beforeIf = createTypeChecker([
+    '-: -> !StringLiteral',
+    ['-: -> BlockStatement'],
+    ['-: -> 🧨 WrongType'],
+    ['-: ->', isBlockStatement],
+    ['-', isBlockStatement],
+]);

packages/plugin-printer/test/fixture/check-type-passed-to-type-checker.js

@@ -0,0 +1,7 @@
+export const beforeIf = createTypeChecker([
+    '- : -> !StringLiteral',
+    ['- : -> BlockStatement'],
+    ['- : -> WrongType'],
+    ['- : ->', isBlockStatement],
+    ['-', isBlockStatement],
+]);

packages/plugin-printer/test/printer.js

@@ -71,3 +71,8 @@ test('plugin-printer: transform: remove-useless-spaces-from-type-checker', (t) =
     t.transform('remove-useless-spaces-from-type-checker');
     t.end();
 });
+
+test('plugin-printer: transform: check-type-passed-to-type-checker', (t) => {
+    t.transform('check-type-passed-to-type-checker');
+    t.end();
+});