1 19 20 package ca.mcgill.sable.soot.launching; 21 22 import org.eclipse.core.runtime.*; 23 import org.eclipse.jdt.core.*; 24 25 26 29 public class SootClasspath { 30 31 private String jre_lib; 32 private String soot_lib; 33 private String jasmin_lib; 34 private String dot = "."; 35 private String separator = System.getProperty("path.separator"); 36 37 public SootClasspath() { 38 } 39 40 public void initialize() { 41 setJre_lib(JavaCore.getClasspathVariable("JRE_LIB").toOSString()); 43 String external_jars_location = Platform.getLocation().removeLastSegments(2).toOSString(); 46 setSoot_lib(external_jars_location+System.getProperty("file.separator")+"soot_dir"+System.getProperty("file.separator")+"classes"); 48 setJasmin_lib(external_jars_location+System.getProperty("file.separator")+"jasminclasses-sable-1.2.jar"); 50 } 51 52 public String getSootClasspath() { 53 StringBuffer cp = new StringBuffer (); 54 55 return cp.toString(); 56 } 57 58 59 63 public String getDot() { 64 return dot; 65 } 66 67 71 public String getJasmin_lib() { 72 return jasmin_lib; 73 } 74 75 79 public String getJre_lib() { 80 return jre_lib; 81 } 82 83 87 public String getSeparator() { 88 return separator; 89 } 90 91 95 public String getSoot_lib() { 96 return soot_lib; 97 } 98 99 103 public void setDot(String dot) { 104 this.dot = dot; 105 } 106 107 111 public void setJasmin_lib(String jasmin_lib) { 112 this.jasmin_lib = jasmin_lib; 113 } 114 115 119 public void setJre_lib(String jre_lib) { 120 this.jre_lib = jre_lib; 121 } 122 123 127 public void setSeparator(String separator) { 128 this.separator = separator; 129 } 130 131 135 public void setSoot_lib(String soot_lib) { 136 this.soot_lib = soot_lib; 137 } 138 139 } 140 | Popular Tags |