Ò׽ؽØÍ¼Èí¼þ¡¢µ¥Îļþ¡¢Ãâ°²×°¡¢´¿ÂÌÉ«¡¢½ö160KB

ÉúƽµÚÒ»¶Î¹æ·¶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ÖгéÏóÀàºÍ½Ó¿ÚµÄÇø±ð

ÔÚJava
ÓïÑÔÖУ¬ abstract class ºÍinterface

ÊÇÖ§³Ö³éÏóÀà
¶¨
ÒåµÄÁ½ÖÖ»úÖÆ¡£ÕýÊÇÓÉÓÚÕâÁ½ÖÖ»úÖÆµÄ´æÔÚ£¬²Å¸³ÓèÁËJavaÇ¿´óµÄ ÃæÏò¶ÔÏóÄÜÁ¦¡£abstract
classºÍinterfaceÖ®¼äÔÚ¶ÔÓÚ³éÏóÀඨÒåµÄÖ§³Ö·½Ãæ¾ßÓкܴóµÄÏàËÆÐÔ£¬ÉõÖÁ¿ÉÒÔÏà»¥Ìæ»»£¬Òò´ËºÜ¶à¿ª·¢ÕßÔÚ½ø
ÐгéÏóÀඨÒåʱ¶ÔÓÚabstract
classºÍinterfaceµÄÑ¡Ô ......

ÐÂÊÖÈëÃÅ:дJava³ÌÐòµÄÈýÊ®¸ö»ù±¾¹æÔò

¡¡¡¡(1) ÀàÃûÊ××ÖĸӦ¸Ã´óд¡£×ֶΡ¢·½·¨ÒÔ¼°¶ÔÏó(¾ä±ú)µÄÊ××ÖĸӦСд¡£¶ÔÓÚËùÓбêʶ·û£¬ÆäÖаüº¬µÄËùÓе¥´Ê¶¼Ó¦½ô¿¿ÔÚÒ»Æð£¬¶øÇÒ´óдÖм䵥´ÊµÄÊ××Öĸ¡£ÀýÈ磺
¡¡¡¡ThisIsAClassName
¡¡¡¡thisIsMethodOrFieldName
¡¡¡¡ÈôÔÚ¶¨ÒåÖгöÏÖÁ˳£Êý³õʼ»¯×Ö·û£¬Ôò´óдstatic final»ù±¾ÀàÐͱêʶ·ûÖеÄËùÓÐ×Öĸ¡£ÕâÑù±ã¿É±êÖ¾³öË ......

ÓÉJava toy programme µÃ³öµÄ¾­Ñé¼°½Ìѵ

ѧϰJava´ó¸ÅÒ»¸öÔÂÁË£¬ÓÉÓÚÒÔǰÓÐc/c++»ù´¡£¬ËùÒÔÔÚJ2SE²¿·ÖµÄѧϰÊDZȽϿìµÄ£¬½ñÌìÔÚÂÛ̳¿´µ½Ò»¸öÍøÓѵÄÇóÖúÌû£¬Òª½«Ó²ÅÌÉÏÁ½¸öÎļþºÏ²¢ÎªÒ»¸ö²¢É¾³ýÔ­Îļþ£¬ÓÚÊDZãдÁ˲âÊÔ³ÌÐò¡£ºóÀ´ÔÚɾ³ýÎļþʱ£¬ÓÉÓÚûÓаѶµ½ÎļþÉϵÄÊä³öÁ÷¹Ø±Õ£¬µ¼ÖÂÔõôҲÎÞ·¨É¾³ý¡£¶øÇÒÒ»Ö±²é²»³öÔ­Òò£¬ºóÀ´ÒÔΪÊÇdelete·½·¨Ö»ÄÜɾ³ý¿ÕÎļþ£¬Ò»g ......

javaÊ÷Ðνṹ

×î½ü¿´µ½Ò»¸öÓÐÒâ˼µÄÊ÷Ðνṹ£¬ÎªÃ¿¸ö½ÚµãÌí¼ÓÁËlftºÍrgtÁ½¸öÊôÐÔ¡£ÕâÑù²éÕҸýڵãµÄ×ӽڵ㡢²éÕҸýڵãËùÓи¸½Úµã£¬¾Í²»ÓÃÈ¥µÝ¹é²éѯ£¬Ö»ÐèÒªÓÃbetween¡¢andÓï¾ä¾Í¿ÉÒÔʵÏÖ¡£ÏÂÃæÒÔ´´½¨Ò»¸öÀ¸Ä¿Ê÷ΪÀý£¬ÒÔÏÂÊÇÎÒµÄÀí½â¡£
¡¡¡¡Ò»°ãÀ´½²£¬ÎÒÃÇ´´½¨À¸Ä¿Ê÷µÄʱºò£¬´ó¶àÖ»ÐèÒªÒ»¸öÍâ¼üparentidÀ´Çø·Ö¸Ã½ÚµãÊôÓÚÄĸö¸¸½Úµã¡£Êý ......
© 2009 ej38.com All Rights Reserved. ¹ØÓÚE½¡ÍøÁªÏµÎÒÃÇ | Õ¾µãµØÍ¼ | ¸ÓICP±¸09004571ºÅ