java系统属性取得

<%    
   // 系统属性   
  String   javaVersion      =    System.getProperty( " java.version " );   
  String   javaVendor    =    System.getProperty( " java.vendor " );   
  String   javaVendorUrl    =    System.getProperty( " java.vendor.url " );   
  String   javaHome    =    System.getProperty( " java.home " );   
  String   javaVmSpecificationVersion    =    System.getProperty( " java.vm.specification.version " );   
  String   javaVmSpecificationVendor    =    System.getProperty( " java.vm.specification.vendor " );   
  String   javaVmSpecificationName    =    System.getProperty( " java.vm.specification.name " );   
  String   javaVmVersion    =    System.getProperty( " java.vm.version " );   
  String   javaVmVendor    =    System.getProperty( " java.vm.vendor " );   
  String   javaVmName    =    System.getProperty( " java.vm.name " );   
  String   javaSpecificationVersion    =    System.getProperty( " java.specification.version " );   
  String   javaSpecificationVendor    =    System.getProperty( " java.specification.vendor " );   
  String   javaSpecificationName    =    System.getProperty( " java.specification.name " );   
  String   javaClassVersion    =    System.getProperty( " java.class.version " );   
  String   javaClassPath    =    System.getProperty( " java.class.path " );   
  String   javaLibraryPath    =    System.getProperty( " java.library.path " );   
  String   javaIoTmpdir    =    System.getProperty( " java.io.tmpdir " );   
  String   javaCompiler    =    System.getProperty( " java.compiler " );   
  String   javaExtDirs    =    System.getProperty( " java.ext.dirs " );   
  String   osName    =    System.getProperty( " os.name " );   
  String   osArch    =    System.getProperty( " os.arch " );   
  String   osVersion    =    System.getProperty( " os.version " );   
  String   fileSeparator    =    System.getProperty( " file.separator " );   
  String   pathSeparator    =    System.getProperty( " path.separator " );   
  String   lineSeparator    =    System.getProperty( " line.separator " );   
  String   userName    =    System.getProperty( " user.name " );   
  String   userHome    =    System.getProperty( " user.home " );   
  String   userDir    =    System.getProperty( " user.dir " );   
   %>

  java.version   Java   运行时版本    
  java.home   Java   的安装目录    
  java.class.version   Java   类格式的版本号    
  java.class.path   Java   类的查找路径    
  java.io.tmpdir   默认的临时目录    
  java.compiler   Java   所使用的及时编译器    
  java.ext.dirs   Java   扩展包的目录    
  os.name   操作系统的名称

  os.arch   操作系统的体系结构    
  os.version   操作系统的版本    
  file.separator   文件分隔符（Unix   下为'/'）    
  path.separator   路径分隔符（Unix   下为':'）    
  line.separator   换行符（Unix   下为'/n'）    
  user.name   用户帐号名    
  user.home   用户目录    
  user.dir   用户当前的工作目录    

   
   
  测试程序  

   class    setting     
   ... {   
  public   static   void   main(String[]   args)   
  ...{   
  System.out.println(System.getProperty("java.version"));   
  System.out.println(System.getProperty("java.home"));   
  System.out.println(System.getProperty("java.class.version"));   
  System.out.println(System.getProperty("java.class.path"));   
  System.out.println(System.getProperty("java.io.tmpdir"));   
  System.out.println(System.getProperty("java.compiler"));   
  System.out.println(System.getProperty("java.ext.dirs"));   
  System.out.println(System.getProperty("os.name"));   
  System.out.println(System.getProperty("os.arch"));   
  System.out.println(System.getProperty("os.version"));   
  System.out.println(System.getProperty("file.separator"));   
  System.out.println(System.getProperty("path.separator"));   
  System.out.println(System.getProperty("line.separator"));   
  System.out.println(System.getProperty("user.name"));   
  System.out.println(System.getProperty("user.home"));   
  System.out.println(System.getProperty("user.dir"));   
  }   
  }    

 public class DefaultEditorKit

     
     
      
      extends 
      
      EditorKit
     
     

这是文本组件使编辑器对某些类型 的文本文档合理发挥其作用所需的实现集合。此实现提供了一个默认实现，该默认实现把文本当作纯文本，并提供简单编辑器的最小操作集合。

 

换行

有两个属性负责处理换行。系统属性 line.separator，它的定义是和平台无关的，可以是 "/n"、"/r" 或 "/r/n"。还有一个属性，它是在 DefaultEditorKit 中定义的，名称为 EndOfLineStringProperty，它是在文档加载时自动定义的，定义为第一个出现的任意换行符。加载文档后，将会适当地设置 EndOfLineStringProperty，当文档被写回时，将用到 EndOfLineStringProperty。但是当文档在内存中时，无论文档在磁盘上如何定义换行，现在都将用 "/n" 字符定义换行。因此，为便于搜索，要经常使用 "/n"。当创建了新文档而 EndOfLineStringProperty 尚未定义时，写入文档将使用 System 属性。

注意，在 Document 上使用 get/setProperty 方法设置 EndOfLineStringProperty。子类可重写此行为。