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

Example 6 with Location

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

the class MethodBuilder method createBasicBlock.

SubAutomaton createBasicBlock(int nID, long blockWCET) {
    Location bbNode = tBuilder.createLocation("N" + this.mId + "_" + nID);
    tBuilder.waitAtLocation(bbNode, blockWCET);
    return SubAutomaton.singleton(bbNode);
}