import { Program, FileJp, Type, Expression } from "@specs-feup/clava/api/Joinpoints.js";
import MISRAAnalyser from "../MISRAAnalyser.js";
export declare enum EssentialTypes {
    UNSIGNED = "unsigned",
    CHAR = "char",
    SIGNED = "signed",
    ENUM = "enum",
    FLOAT = "float",
    BOOL = "bool",
    UNKOWN = "unkown"
}
export default class Section10_EssentialTypeModel extends MISRAAnalyser {
    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
    constructor(rules: number[]);
    static getEssentialType(bType: Type): EssentialTypes;
    static isInteger($et: EssentialTypes): boolean;
    static getExprEssentialType($expr: Expression): EssentialTypes;
    private restrictOperand;
    private restrictOperandList;
    private r10_1_appropriateEssentialOperands;
    private r10_2_appropriateCharOperands;
    private r10_3_noInvalidAssignments;
    private static checkBoolSource;
    private r10_5_noInvalidCasts;
    private static isCompositeBinaryExpr;
    private static isCompositeExpr;
    private static compositeExprWidth;
    private static transformBinaryOp;
    private static transformTernaryOp;
    private r10_6_noWiderCompositeExprAssignments;
    private r10_8_noWiderCompositeCasts;
}
//# sourceMappingURL=Section10_EssentialTypeModel.d.ts.map