Examples with JOPWcetModel com.jopdesign.wcet.jop.JOPWcetModel used on opensource projects

Example 1 with JOPWcetModel

use of com.jopdesign.wcet.jop.JOPWcetModel in project jop by jop-devel.

the class WCETTool method onSetupAppInfo.

@SuppressWarnings({ "LiteralAsArgToStringEquals" })
@Override
public void onSetupAppInfo(AppSetup setup, AppInfo appInfo) throws BadConfigurationException {
    if (projectConfig.getProcessorName().equals("allocObjs")) {
        this.processor = new ObjectAllocationModel(this);
    } else if (projectConfig.getProcessorName().equals("allocHandles")) {
        this.processor = new HandleAllocationModel(this);
    } else if (projectConfig.getProcessorName().equals("allocHeaders")) {
        this.processor = new HeaderAllocationModel(this);
    } else if (projectConfig.getProcessorName().equals("allocBlocks")) {
        this.processor = new BlockAllocationModel(this);
    } else if (projectConfig.getProcessorName().equals("jamuth")) {
        this.processor = new JamuthWCETModel(this);
    } else if (projectConfig.getProcessorName().equals("JOP")) {
        try {
            this.processor = new JOPWcetModel(this);
        } catch (IOException e) {
            throw new BadConfigurationException("Unable to initialize JopWcetModel: " + e.getMessage(), e);
        }
    } else {
        throw new BadConfigurationException("Unknown WCET model: " + projectConfig.getProcessorName());
    }
    // create output dir only after initialization is successful
    File outDir = projectConfig.getProjectDir();
    Config.checkDir(outDir, true);
}