com.ibm.wala.automaton/src/com/ibm/wala/automaton/string/DeepSymbolCopier.java

   1 /******************************************************************************
   2  * Copyright (c) 2002 - 2006 IBM Corporation.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *****************************************************************************/
  11 package com.ibm.wala.automaton.string;
  12
  13 public class DeepSymbolCopier extends AbstractSymbolCopier {
  14     public ISymbol copySymbolReference(ISymbol parent, ISymbol symbol) {
  15         if (symbol == null) {
  16             return null;
  17         }
  18         else {
  19             return symbol.copy(this);
  20         }
  21     }
  22
  23     public String copyName(String name) {
  24         return name;
  25     }
  26
  27     static final public DeepSymbolCopier defaultCopier = new DeepSymbolCopier();
  28 }