519520521522523524525526527528529
// add the variables in the same NamedObj to scope, // excluding this var = (Attribute) level1.next(); if ((var instanceof Variable) && (var != object)) { if (var.workspace() != object.workspace()) { continue; } try { scope.append(var);
548549550551552553554555556557558
// add the variables in the scope extender to scope, // excluding this var = (Attribute) level2.next(); if ((var instanceof Variable) && (var != object)) { if (var.workspace() != object.workspace()) { continue; } try { scope.append(var);