ÉúƽµÚÒ»¶Î¹æ·¶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;
 }
}