equal
deleted
inserted
replaced
136 Binding newBinding = null; |
136 Binding newBinding = null; |
137 |
137 |
138 // if the name is relative, we need to add it to the name of this |
138 // if the name is relative, we need to add it to the name of this |
139 // context to keep it relative w.r.t. the root context we are |
139 // context to keep it relative w.r.t. the root context we are |
140 // enumerating |
140 // enumerating |
141 if(oldBinding.isRelative() && !contextName.equals("")) { |
141 if(oldBinding.isRelative() && !contextName.isEmpty()) { |
142 NameParser parser = root.getNameParser(""); |
142 NameParser parser = root.getNameParser(""); |
143 Name newName = parser.parse(contextName); |
143 Name newName = parser.parse(contextName); |
144 newName.add(oldBinding.getName()); |
144 newName.add(oldBinding.getName()); |
145 if(debug) { |
145 if(debug) { |
146 System.out.println("ContextEnumerator: adding " + newName); |
146 System.out.println("ContextEnumerator: adding " + newName); |