Type sorgulama

TypeChecker ile özel tür sorguları öğrenirsin.

Custom type check nedir?

Bir custom type checker, TypeScript AST'sini gezip belirli kuralları uygulayan araçtır. ts.forEachChild ile düğümleri dolaşır, ts.isVariableStatement gibi tür koruyucularıyla ilgilendiğin düğümleri tanırsın. Kurallar düğümün özelliklerine bakarak çalışır.

import ts from "typescript";

const sf = ts.createSourceFile("app.ts", code,
  ts.ScriptTarget.Latest, true);

function visit(node: ts.Node) {
  if (ts.isVariableStatement(node)) {
    // kuralı uygula
  }
  ts.forEachChild(node, visit);
}
visit(sf);

Düğüm özelliklerine erişim

Bir VariableStatement, declarationList.declarations dizisini taşır. Her VariableDeclaration'ın .name (tanımlayıcı) ve .type (tür eklemesi, varsa) özelliği vardır. Kuralını bu özelliklere göre yazarsın.

for (const decl of stmt.declarationList.declarations) {
  if (!decl.type) {
    // tür eklemesi yok
  }
}

Uygulama Türü eksik değişkenleri say

let x = 1; let y: string = "a"; kaynağından bir SourceFile oluştur. visit fonksiyonu yaz: her VariableStatement içinde tür eklemesi olmayan declarations'ları say. ts.forEachChild ile ağacı gez ve toplamı yazdır.

Örnek çözümü göster

import ts from "typescript";

const sourceText = 'let x = 1; let y: string = "a";';
const sf = ts.createSourceFile("app.ts", sourceText, ts.ScriptTarget.Latest, true);

let untyped = 0;
function visit(node: ts.Node) {
  if (ts.isVariableStatement(node)) {
    for (const decl of node.declarationList.declarations) {
      if (!decl.type) {
        untyped++;
      }
    }
  }
  ts.forEachChild(node, visit);
}
visit(sf);
console.log(untyped);

Kendini test et

Bir VariableDeclaration'ın type annotation'ı olup olmadığı nasıl anlaşılır?
- checker.getTypeAtLocation(node) çağrılır
- node.type özelliği undefined değilse
- node.name özelliği undefined değilse
- node.kind === SyntaxKind.TypeAnnotation
Cevabı göster

node.type özelliği undefined değilse — VariableDeclaration.type özelliği TypeNode | undefined türündedir; type annotation varsa tanımlıdır. name her zaman vardır, TypeAnnotation diye bir SyntaxKind yoktur, getTypeAtLocation ise türü çözer.

Tür eklemesi kontrolü

for (const decl of stmt.declarationList.declarations) {
  if (!decl.____) {
    untyped++;
  }
}

Cevabı göster

for (const decl of stmt.declarationList.declarations) {
  if (!decl.type) {
    untyped++;
  }
}

Tür kontrolü parçaları

ts.isVariableStatement

VariableStatement tanır
declarationList.declarations

Tanımları gezer
decl.type

Tür eklemesini verir
ts.forEachChild

Alt düğümleri gezer

Sıradaki ders: Symbol çözümleme

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler