@Override
public VSpec testVSpecName(VSpec node, String name) {
// TODO Auto-generated method stub
Target target = node.getTarget();
if (target != null && name.equals(target.getName())) {
return node;
}
return null;
}
public void init(List<CompoundNode> _nodes, BVRModel _model) {
nodes = _nodes;
model = _model;
currentTargetNames = new HashSet<String>();
for (CompoundNode node : nodes) {
EList<Target> targets = node.getOwnedTargets();
for (Target target : targets) currentTargetNames.add(target.getName().trim());
}
}