文件为小程序源代码,用Java编写,可以查看文件属性。