/* Soot - a Java Optimization Framework
 * Copyright (C) 2012 Michael Markert, Frank Hartmann
 *
 * (c) 2012 University of Luxembourg - Interdisciplinary Centre for
 * Security Reliability and Trust (SnT) - All rights reserved
 * Alexandre Bartel
 *
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 * Boston, MA 02111-1307, USA.
 */

package soot.dexpler;

import java.io.File;
import java.util.Map;
import java.util.TreeMap;

import soot.G;
import soot.Singletons;
import soot.SootClass;
import soot.javaToJimple.IInitialResolver.Dependencies;

public class DexResolver {

	private Map<File,DexlibWrapper> cache = new TreeMap<File, DexlibWrapper>();

    public DexResolver(Singletons.Global g) {}

    public static DexResolver v() { return G.v().soot_dexpler_DexResolver(); }

    /**
     * Resolve the class contained in file into the passed soot class.
     *
     * @param file the path to the dex/apk file to resolve
     * @param className the name of the class to resolve
     * @param sc the soot class that will represent the class
     * @return the dependencies of this class.
     */
    public Dependencies resolveFromFile(File file, String className, SootClass sc) {
    	DexlibWrapper wrapper = cache.get(file);
    	if(wrapper==null) {
    		wrapper = new DexlibWrapper(file);
    		cache.put(file, wrapper);
    		wrapper.initialize();
    	}

        Dependencies deps = wrapper.makeSootClass(sc, className);
        addSourceFileTag(sc, file.getName());

        return deps;
    }

    /**
     *  adds source file tag to each sootclass
     */
    protected static void addSourceFileTag(SootClass sc, String fileName){
        soot.tagkit.SourceFileTag tag = null;
        if (sc.hasTag("SourceFileTag")) {
            tag = (soot.tagkit.SourceFileTag)sc.getTag("SourceFileTag");
        }
        else {
            tag = new soot.tagkit.SourceFileTag();
            sc.addTag(tag);
        }
        tag.setSourceFile(fileName);
    }
}

@@ -2115,16 +2115,35 @@
 eTag(sc,
+ %22dalvik_source_%22 +
  file.ge

Make sure the .source annotation parameter does not start with a numeric character. A Dalvik or Apk filename can start with a numeric character. However Jasmin's .source annotation parameter must not start with one.