# Checker

Як ми вже згадували раніше *checker* - це те, що робить TypeScript унікально потужним у порівнянні з *просто ще одним транспілером JavaScript*. `Checker` розташований у файлі `checker.ts` і на даний момент складається з понад 23 тис. рядків коду на TypeScript (найбільша частина компілятора).

## Використання програмою

`Checker` ініціалізується об'єктом `program`. Нижче наведений невеликий приклад стеку викликів (ми використовували той самий приклад при дослідженні `binder`):

```
program.getTypeChecker ->
    ts.createTypeChecker (in checker)->
        initializeTypeChecker (in checker) ->
            for each SourceFile `ts.bindSourceFile` (in binder)
            // followed by
            for each SourceFile `ts.mergeSymbolTable` (in checker)
```

## Пов'язаність з генератором коду

Справжня перевірка типу відбувається після виклику `getDiagnostics`. Ця функція викликається наприклад, коли запит зроблений до `Program.emit`, в такому випадку `checker` повертає `EmitResolver` (програма викликає функцію `getEmitResolver` чекера) який представляє собою набір функцій, локальних для `createTypeChecker`. Ми ще повернемося до цього, коли будемо розглядати `emitter`.

Нижче наведений стек викликів, що веде до `checkSourceFile` (функції, що локально присутня у `createTypeChecker`).

```
program.emit ->
    emitWorker (program local) ->
        createTypeChecker.getEmitResolver ->
            // First call the following functions local to createTypeChecker
            call getDiagnostics ->
                getDiagnosticsWorker ->
                    checkSourceFile

            // then
            return resolver
            (already initialized in createTypeChecker using a call to local createResolver())
```