Examples with TypeSystemExtension abs.frontend.typechecker.ext.TypeSystemExtension used on opensource projects

Example 1 with TypeSystemExtension

use of abs.frontend.typechecker.ext.TypeSystemExtension in project abstools by abstools.

the class LocationTypeInferrerExtension method finished.

@Override
public void finished() {
    if (enablesStats) {
        for (int i = 0; i < 4; i++) {
            SatGenerator satGen = new SatGenerator(constraints);
            // satGen.enableStats = enablesStats;
            results = satGen.generate(errors);
        }
    }
    SatGenerator satGen = new SatGenerator(constraints);
    satGen.enableStats = enablesStats;
    results = satGen.generate(errors);
    if (!errors.containsErrors()) {
        SemanticConditionList sel = new SemanticConditionList();
        List<TypeSystemExtension> curr = model.getTypeExt().getTypeSystemExtensionList();
        model.getTypeExt().clearTypeSystemExtensions();
        model.getTypeExt().register(new LocationTypeExtension(model, this));
        model.typeCheck(sel);
        errors.addAll(sel);
        model.getTypeExt().clearTypeSystemExtensions();
        model.getTypeExt().registerAll(curr);
    }
}