ÉúƽµÚÒ»¶Î¹æ·¶Java´úÂë
ÏÂÃæÕâ¶Î´úÂëÊǾ¹ý´úÂë·ÖÎö¹¤¾ßRational Software Analyser ·ÖÎö¹ýµÄ£¬¸Ã¹¤¾ß¹ØÓÚJavaµÄ¹æÔòĿǰÊÇ541Ìõ£¬ÊµÊô¿Á¿Ì¡£Ð´¶Î¹æ·¶µãµÄJava´úÂëÈÝÒ×ô£¡
/**
*
* @author zhp
*
* @version 1.0
*/
package com.rsar;
import java.util.Date;
/**
*
* @author zhp
* @version 1.0
* @invariant
*/
public class StandardCode{
private String name;
private int age;
private Date date;
public String getName() {
return name;
}
/**
*
* @param str1
* @post post
* @pre pre
*/
public void setName(final String name1) {
this.name = name1;
}
/**
*
* @return int
* @post post
* @pre pre
*/
public int getAge() {
return age;
}
/**
*
* @param age1
* @post post
* @pre pre
*/
public void setAge(final int age1) {
this.age = age1;
}
/**
*
* @return int
* @post post
* @pre pre
*/
/**
*
* @return int
* @post post
* @pre pre
*/
public Date getDate() {
return date;
}
/**
*
* @param date1
* @post post
* @pre pre
*/
public void setDate(final Date date1) {
this.date = date1;
}
}
Ïà¹ØÎĵµ£º
ÔÚJavaÖУ¬¶¨Ò庯Êý»òÕß±äÁ¿µÄʱºò£¬¶Ôº¯Êý¡¢±äÁ¿¶¼ÓÐÒ»¸ö·ÃÎÊȨÏÞÎÊÌâ¡£
¶ÔÓÚº¯ÊýÀ´Ëµ£¬±ÈÈ磺
public class test {
public static void main(String[] args) {
// TODO Auto-generated method stub
}
public void apublic() {
//public º¯Êý
}
pri ......
(ת£ºhttp://blog.csdn.net/alex197963/archive/2008/03/26/2219994.aspx)
1.»ù±¾¸ÅÄîµÄÀí½â
¡¡¡¡¾ø¶Ô·¾¶:¾ø¶Ô·¾¶¾ÍÊÇÄãµÄÖ÷Ò³ÉϵÄÎļþ»òĿ¼ÔÚÓ²ÅÌÉÏÕæÕýµÄ·¾¶,(URLºÍÎïÀí·¾¶)ÀýÈç:
C:xyz est.txt ´ú±íÁËtest.txtÎļþµÄ¾ø¶Ô·¾¶.http://www.sun.com/index.htmÒ²´ú±íÁËÒ»¸ö
URL¾ø¶Ô·¾¶.
¡¡¡¡Ïà¶Ô·¾¶:Ïà¶ÔÓëij¸ö» ......
JavaÔÚJDK1.3Ö®ºó¼ÓÈëÁË¿ÉÐÖú¿ª·¢¶¯Ì¬´úÀí¹¦ÄܵÄAPI.ʹÓö¯Ì¬´úÀí£¬¿ÉÒÔʹһ¸ö´¦ÀíÕߣ¨´úÀí£©·þÎñÓÚ¸÷¸ö¶ÔÏó¡£´´½¨Ò»¸ö¶¯Ì¬´úÀíÀàÖ»ÐèʵÏÖjava.lang.reflect.InvocationHandler½Ó¿Ú¡£
ÏÂÃæ´´½¨Ò»¸ö´¦ÀíÈÕÖ¾µÄ¶¯Ì¬´úÀíÀàLogHandlerÈ¥´úÀíHelloSpeakerÀà
Ê×ÏÈ´´½¨HelloSpeakerµÄ½Ó¿Ú
pa ......
×¼±¸¹¤×÷
Ê×ÏÈ£¬²Ù×÷ϵͳÖа²×°ºÃSQL Server 2000/2005£¬Èç¹ûϵͳÖж¼×°ÓÐ2000ºÍ2005°æ£¬¼ÇµÃÍ£ÓÃÒ»¸ö£¬Ö»¿ªÒ»¸öÐÐÁË¡£
È»ºó£¬µ½Î¢ÈíÍøÕ¾ÏÂÔØMicrosoft SQL Server 2005 JDBC Driver 1.1
£¬Ò²¿ÉÒÔʹÓÃÕâ¸öµØÖ·Ö±½ÓÏÂÔØ
¡£
½âѹsqljdbc_1.1.1501.101_chs.exe£¬°Ñsqljdbc_1.1¸´ÖƵ½%ProgramFiles%£¨Èç¹ûϵͳÔÚCÅÌÔòΪC:\ ......