Feedbacks.add(new NonConstantGapName(st, body.getMethod()));
return null;
}
Automaton names = Automaton.makeEmpty();
for (String string : gapNames) {
names = names.union(Automaton.makeString(string));
}
return new Plugging(st, body.getMethod(), detector.getTypes(), names);
}
/**