示例#1
0
 public void updateVariableReferences(String oldName, String newName) {
   if (leftChild != null) {
     leftChild.updateVariableReferences(oldName, newName);
   }
   if (rightChild != null) {
     rightChild.updateVariableReferences(oldName, newName);
   }
   if (type == ElementType.USER_VARIABLE && value.equals(oldName)) {
     value = newName;
   }
 }