Examples with TransitionAttributes com.jopdesign.wcet.uppaal.model.TransitionAttributes used on opensource projects

Example 1 with TransitionAttributes

use of com.jopdesign.wcet.uppaal.model.TransitionAttributes in project jop by jop-devel.

the class TemplateBuilder method getFinalTemplate.

public Template getFinalTemplate() {
    if (outgoingAttrs == null)
        return this.template;
    for (int i = 0; i < loopVarBounds.size(); i++) {
        template.appendDeclaration(String.format("int[0,%s] %s;", loopVarBounds.get(i), loopVarName(i)));
    }
    if (loopVarBounds.size() > 0) {
        StringBuilder rst = new StringBuilder();
        rst.append("void rst() {\n");
        for (int i = 0; i < loopVarBounds.size(); i++) {
            rst.append(String.format("  %s = 0;\n", loopVarName(i)));
        }
        rst.append("} \n");
        template.appendDeclaration(rst.toString());
    }
    for (Location l : template.getLocations()) {
        TransitionAttributes in = incomingAttrs.get(l);
        if (in != null) {
            for (Transition t : l.getPredecessors()) {
                t.getAttrs().addAttributes(in);
            }
        }
        TransitionAttributes out = outgoingAttrs.get(l);
        if (out != null) {
            for (Transition t : l.getSuccessors()) {
                t.getAttrs().addAttributes(out);
            }
        }
    }
    outgoingAttrs = incomingAttrs = null;
    /* debug: create dot file */
    if (config.debug) {
        File dbgFile = config.getOutFile("template_" + template.getId() + ".dot");
        try {
            template.exportDOT(dbgFile);
        } catch (IOException e) {
            e.printStackTrace();
        }
    }
    new LayoutCFG(100, 120).layoutCfgModel(template);
    return template;
}

Example 2 with TransitionAttributes

use of com.jopdesign.wcet.uppaal.model.TransitionAttributes in project jop by jop-devel.

the class MethodBuilder method buildEdge.

private void buildEdge(ControlFlowGraph.CFGEdge edge) {
    Set<CFGNode> hols = cfg.getLoopColoring().getHeadOfLoops();
    Set<ControlFlowGraph.CFGEdge> backEdges = cfg.getLoopColoring().getBackEdges();
    Map<ControlFlowGraph.CFGEdge, LoopColoring.IterationBranchLabel<CFGNode>> edgeColoring = cfg.getLoopColoring().getIterationBranchEdges();
    CFGNode src = cfg.getEdgeSource(edge);
    CFGNode target = cfg.getEdgeTarget(edge);
    if (src == cfg.getEntry() && target == cfg.getExit())
        return;
    Transition transition = tBuilder.createTransition(nodeTemplates.get(src).getExit(), nodeTemplates.get(target).getEntry());
    TransitionAttributes attrs = transition.getAttrs();
    LoopColoring.IterationBranchLabel<CFGNode> edgeColor = edgeColoring.get(edge);
    if (jTrans.getConfig().useProgressMeasure) {
        if (src instanceof ControlFlowGraph.InvokeNode) {
            attrs.appendUpdate("pm := pm + 1");
        } else {
            RelativeProgress<CFGNode> progress = jTrans.getProgress(cfg.getMethodInfo()).get(edge);
            String progressExpr = "pm := pm + " + progress.staticDiff;
            for (Entry<CFGNode, Long> loopDiff : progress.loopDiff.entrySet()) {
                progressExpr += String.format(" - %d * %s", loopDiff.getValue(), tBuilder.getLoopVar(loopDiff.getKey()));
            }
            attrs.appendUpdate(progressExpr);
        }
    }
    if (edgeColor != null) {
        for (CFGNode loop : edgeColor.getContinues()) {
            attrs.appendGuard(tBuilder.contLoopGuard(loop));
            attrs.appendUpdate(tBuilder.incrLoopCounter(loop));
        }
        for (CFGNode loop : edgeColor.getExits()) {
            attrs.appendGuard(tBuilder.exitLoopGuard(loop));
            attrs.appendUpdate(tBuilder.resetLoopCounter(loop));
        }
    }
    if (hols.contains(target) && !backEdges.contains(edge)) {
        attrs.appendUpdate(tBuilder.resetLoopCounter(target));
    }
}

Example 3 with TransitionAttributes

use of com.jopdesign.wcet.uppaal.model.TransitionAttributes in project jop by jop-devel.

the class TemplateBuilder method getOutgoingAttrs.

public TransitionAttributes getOutgoingAttrs(Location l) {
    TransitionAttributes attrs = outgoingAttrs.get(l);
    if (attrs == null) {
        attrs = new TransitionAttributes();
        outgoingAttrs.put(l, attrs);
    }
    return attrs;
}

Example 4 with TransitionAttributes

use of com.jopdesign.wcet.uppaal.model.TransitionAttributes in project jop by jop-devel.

the class TemplateBuilder method getIncomingAttrs.

public TransitionAttributes getIncomingAttrs(Location l) {
    TransitionAttributes attrs = incomingAttrs.get(l);
    if (attrs == null) {
        attrs = new TransitionAttributes();
        incomingAttrs.put(l, attrs);
    }
    return attrs;
}