Checker Framework ç¾å¨ï¼Java æ¨æºã©ã¤ãã©ãªã«éç解æç¨ã® Type Annotation ã¯å®ç¾©ããã¦ããªãï¼ ãããï¼Type Annotation ã® JSR ã®ãªã¼ãã®ä¸äººã§ãã Michael Ernst ã«ãã Checker Framework ãããï¼(Java SE7 ã§ãåãï¼) éæ æ«»åºããã®ã話ãç´æ¥ä¼ºã£ãã®ãåãã¦ã ã£ãã®ã§ææ¿ï¼ Java SE ã®ã¹ããã¯ãªã¼ããåãã¦ãã人ã®é¡ã¨ååãè¦ãããï¼ã¨ãã話ãå°è±¡ã«æ®ã£ãï¼èªåã¯ãã¼ãã£ã³ã»ãã¡ã¦ã©ã¼ãã¸ã§ã·ã¥ã¢ã»ãããã¯ã®ãããªå¤å ¸çåèãæ¸ãã人ç©ã¯ããç¨åº¦è¦ãã¦ãããã®ã®ï¼ãªã¢ã«ã¿ã¤ã ã®ãªã¼ãã¨ã³ã¸ãã¢ã«ã¤ãã¦ã¯ç´ 人ããã¦ããªãã£ããªãã¨æã£ãã®ã§ï¼ GH-2 Eclipse Collectionsã§å¦ã¶ã³ã¼ãå質åä¸ã®åæ by ä¼è¤åå¿ãã çºè¡¨è³æ ã´ã¼ã«ããã³ã»ãµãã¯ã¹ (以ä¸
{{#tags}}- {{label}}
{{/tags}}