763 764 return retValue; 765 } 766 767 private List getPath (String pathName) { 768 String cp = saVM.getSystemProperty(pathName); 769 String pathSep = saVM.getSystemProperty("path.separator"); 770 ArrayList al = new ArrayList(); 771 StringTokenizer st = new StringTokenizer(cp, pathSep); 772 while (st.hasMoreTokens()) { 773 al.add(st.nextToken()); 774 } 775 al.trimToSize(); 776 return al; 777 } 778 779 public List classPath() { 780 return getPath("java.class.path"); 781 } 782 783 public List bootClassPath() { 784 return getPath("sun.boot.class.path"); 785 } 786 787 public String baseDirectory() { 788 return saVM.getSystemProperty("user.dir"); 789 } 790 791 public void setDefaultStratum(String stratum) { 792 defaultStratum = stratum; 793 } 794 795 public String getDefaultStratum() { 796 return defaultStratum; 797 } 798 799 public String description() { 800 return java.text.MessageFormat.format(java.util.ResourceBundle. 801 getBundle("com.sun.tools.jdi.resources.jdi").getString("version_format"), 802 "" + vmmgr.majorInterfaceVersion(), 803 "" + vmmgr.minorInterfaceVersion(), 804 name()); | 763 764 return retValue; 765 } 766 767 private List getPath (String pathName) { 768 String cp = saVM.getSystemProperty(pathName); 769 String pathSep = saVM.getSystemProperty("path.separator"); 770 ArrayList al = new ArrayList(); 771 StringTokenizer st = new StringTokenizer(cp, pathSep); 772 while (st.hasMoreTokens()) { 773 al.add(st.nextToken()); 774 } 775 al.trimToSize(); 776 return al; 777 } 778 779 public List classPath() { 780 return getPath("java.class.path"); 781 } 782 783 public List<String> bootClassPath() { 784 return Collections.emptyList(); 785 } 786 787 public String baseDirectory() { 788 return saVM.getSystemProperty("user.dir"); 789 } 790 791 public void setDefaultStratum(String stratum) { 792 defaultStratum = stratum; 793 } 794 795 public String getDefaultStratum() { 796 return defaultStratum; 797 } 798 799 public String description() { 800 return java.text.MessageFormat.format(java.util.ResourceBundle. 801 getBundle("com.sun.tools.jdi.resources.jdi").getString("version_format"), 802 "" + vmmgr.majorInterfaceVersion(), 803 "" + vmmgr.minorInterfaceVersion(), 804 name()); |