Package soot.tagkit

Examples of soot.tagkit.SourceFileTag

354
355
356
357
358
359
360
361
362
363
364
365
  public void jimplify1phase2() {
    SootClass sc = getSootClassDecl();
    sc.setResolvingLevel(SootClass.DANGLING);
    sc.setModifiers(sootTypeModifiers());
    sc.setApplicationClass();
    SourceFileTag st = new soot.tagkit.SourceFileTag(sourceNameWithoutPath());
    st.setAbsolutePath(new File(sourceFile()).getAbsolutePath());
    sc.addTag(st);
    if(hasSuperclass()) {
      sc.setSuperclass(superclass().getSootClassDecl());
    }
    for(Iterator iter = interfacesIterator(); iter.hasNext(); ) {
View Full Code Here
263
264
265
266
267
268
269
270
271
272
273
274
  public void jimplify1phase2() {
    SootClass sc = getSootClassDecl();
    sc.setResolvingLevel(SootClass.DANGLING);
    sc.setModifiers(sootTypeModifiers());
    sc.setApplicationClass();
    SourceFileTag st = new soot.tagkit.SourceFileTag(sourceNameWithoutPath());
    st.setAbsolutePath(new File(sourceFile()).getAbsolutePath());
    sc.addTag(st);
    sc.setSuperclass(typeObject().getSootClassDecl());
    for(Iterator iter = superinterfacesIterator(); iter.hasNext(); ) {
      TypeDecl typeDecl = (TypeDecl)iter.next();
      if(typeDecl != typeObject() && !sc.implementsInterface(typeDecl.getSootClassDecl().getName()))
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
    private static String getSourceFileName(SootClass classs) {
        List<Tag> tags = classs.getTags();
        String fileName = classs.getName();
        for (Tag tag : tags) {
            if (tag instanceof SourceFileTag) {
                SourceFileTag sourceFileTag = (SourceFileTag) tag;
                fileName = sourceFileTag.getSourceFile();
            }
        }
        return fileName;
    }
View Full Code Here
TOP

Related Classes of soot.tagkit.SourceFileTag

  • dk.brics.jwig.analysis.jaive.feedback.SourceUtil
  • soot.JastAddJ.ClassDecl
  • soot.JastAddJ.InterfaceDecl
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.