Commit 706441ee authored by apvrille's avatar apvrille

Adding ExeciI complexity computation

parent 021a0412
This diff is collapsed.
......@@ -2248,6 +2248,15 @@ public class TMLModeling<E> {
}
public void printWCETOfTasks() {
String result = "";
for(TMLTask task: tasks) {
result += "\tTask " + task.getTaskName() + ":" + task.getWorstCaseIComplexity() + "\n";
}
TraceManager.addDev("Worst Case I Complexity:\n" + result);
}
public void removeForksAndJoins() {
TraceManager.addDev("\n\n**** Remove forks and joins\n");
......
This diff is collapsed.
......@@ -210,8 +210,13 @@ public class TMLTextSpecification<E> {
public String toTextFormat(TMLModeling<E> tmlm) {
tmlm.removeForksAndJoins();
tmlm.removeForksAndJoins();
tmlm.sortByName();
// Print TMLTasks WCET
tmlm.printWCETOfTasks();
spec = makeDeclarations(tmlm);
//Set up Cryptographic Configurations
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment