public TestsModelCheckingTaskWithConsistencyGraph(AbstractTaskConfig config) {
super(config);
FSM.setEvents(events);
for (int i = 0; i < events.size(); i++) {
eventsMap.put(events.get(i), i);
}
scenarioTree = new ScenariosTree();
try {
scenarioTree.load("sc");
} catch (FileNotFoundException e) {
// TODO Auto-generated catch block
e.printStackTrace();
} catch (ParseException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
consistencyGraph = AdjacentCalculator.getAdjacent(scenarioTree);
consistencyGraphBoolean = new boolean[consistencyGraph.size()][consistencyGraph.size()];
hasInconsistency = new boolean[consistencyGraph.size()];
Arrays.fill(hasInconsistency, false);
for (int i = 0; i < consistencyGraph.size(); i++) {
Arrays.fill(consistencyGraphBoolean[i], false);
}
for (Node n1 : consistencyGraph.keySet()) {
for (Node n2 : consistencyGraph.get(n1)) {
consistencyGraphBoolean[n1.getNumber()][n2.getNumber()] = true;
consistencyGraphBoolean[n2.getNumber()][n1.getNumber()] = true;
}
}
for (int i = 0; i < consistencyGraph.size(); i++) {
for (int j = 0; j < consistencyGraph.size(); j++) {
if (consistencyGraphBoolean[i][j]) {
hasInconsistency[i] = true;
break;
}
}
}
for (AutomatonTest test : tests) {
for (String s : test.getInput()) {
String[] eventGuard = s.split("\\[");
String event = eventGuard[0].trim();
efPairToEvent.put(s, event);
MyBooleanExpression guard = null;
try {
if (eventGuard.length > 1) {
guard = MyBooleanExpression.get(eventGuard[1].replace("]", "").trim());
} else {
guard = MyBooleanExpression.get("1");
}
} catch (ParseException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
efPairToBooleanExpression.put(s, guard);
}
}
// try {
// out = new PrintWriter(new File("tests-consistency-scatter"));
// } catch (FileNotFoundException e) {
// e.printStackTrace();
// }
}
