/******************************************************************************
 * Copyright 2021 TypeFox GmbH
 * This program and the accompanying materials are made available under the
 * terms of the MIT License, which is available in the project root.
 ******************************************************************************/
import type { ValidationAcceptor } from 'langium';
import type { ArithmeticsServices } from './arithmetics-module.js';
import type { BinaryExpression, Definition, FunctionCall, Module } from './generated/ast.js';
export declare function registerValidationChecks(services: ArithmeticsServices): void;
export declare class ArithmeticsValidator {
    checkDivByZero(binExpr: BinaryExpression, accept: ValidationAcceptor): void;
    checkNormalisable(def: Definition, accept: ValidationAcceptor): void;
    checkUniqueDefinitions(module: Module, accept: ValidationAcceptor): void;
    checkFunctionRecursion(module: Module, accept: ValidationAcceptor): void;
    checkUniqueParameters(definition: Definition, accept: ValidationAcceptor): void;
    checkMatchingParameters(functionCall: FunctionCall, accept: ValidationAcceptor): void;
}
//# sourceMappingURL=arithmetics-validator.d.ts.map