15.4.4 ·¿¤Î¤¢¤ë¸À¸ì¤ÎÊÑ¿ô

·¿¤Î¤¢¤ë¸À¸ì¤ÎÊÑ¿ô¤Ï¡¤·¿¤Î¤¢¤ë¸À¸ì¤Î´Ø¿ô¤Ë»÷¤¿ÊýË¡¤Ç½èÍý¤µ¤ì¤Þ¤¹¡¥ See Typed Functions. °ìÈÌŪ¤ÊÄêµÁ¥³¥Þ¥ó¥É@deftypevr¤Ï @deftypefn¤ËÂбþ¤·¡¤ÆÃÊ̤ÊÄêµÁ¥³¥Þ¥ó¥É@deftypevar¤Ï @deftypefun¤ËÂбþ¤·¤Þ¤¹¡¥

@deftypevr category data-type name

@deftypevr¥³¥Þ¥ó¥É¤Ï¡¤·¿¤Î¤¢¤ë¸À¸ì¤ÎÊÑ¿ô¤Î¤è¤¦¤Ê¤â¤Î¤Î¤¿¤á¤Î°ìÈÌ Åª¤ÊÄêµÁ¥³¥Þ¥ó¥É¤Ç¤¹—Ãͤòµ­Ï¿¤¹¤ë¹½À®Í×ÁǤǤ¹¡¥ÄêµÁ¤µ¤ì¤ë¹½À®Í×ÁǤΥ« ¥Æ¥´¥ê¤òµ­½Ò¤¹¤ë¤¿¤á¤ÎÍѸì¤òÁªÂò¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¡¥Î㤨¤Ð¡¤“ÊÑ¿ô”¤Ï¹½ À®Í×ÁǤ¬ÊÑ¿ô¤Î¾ì¹ç»ÈÍѤ·¤Þ¤¹¡¥

@deftypevr¥³¥Þ¥ó¥É¤Ï¡¤¹Ô¤ÎºÇ½é¤Ë½ñ¤«¤ì¡¤Æ±¤¸¹Ô¤Ëµ­½Ò¤µ¤ì¤ë¹½À®Í× ÁǤΥ«¥Æ¥´¥ê¡¤¥Ç¡¼¥¿¤Î·¿¡¤¤½¤·¤ÆÆÃÄê¤Î¹½À®Í×ÁǤÎ̾Á°¤¬Â³¤­¤Þ¤¹¡¥

Î㤨¤Ð¡¤°Ê²¼¤Î¤è¤¦¤Ë¤·¤Þ¤¹¡¥

@deftypevr {Global Flag} int enable
…
@end deftypevr

Info¤Ç¤Ï°Ê²¼¤òÀ¸À®¤·¤Þ¤¹¡¥

-- Global Flag: int enable
…

¥Æ¥ó¥×¥ì¡¼¥È¤Ï°Ê²¼¤ÎÄ̤ê¤Ç¤¹¡¥

@deftypevr category data-type name
body-of-description
@end deftypevr

@deftypevr¤Ï¡¤name¤ËÂФ·ÊÑ¿ôº÷°ú¤Ë¹àÌܤòºîÀ®¤·¤Þ¤¹¡¥

@deftypevar data-type name

@deftypevar¥³¥Þ¥ó¥É¤Ï¡¤·¿¤Î¤¢¤ë¸À¸ì¤ÎÊÑ¿ô¤Î¤¿¤á¤ÎÆÃÊ̤ÊÄêµÁ¥³¥Þ ¥ó¥É¤Ç¤¹¡¥@deftypevar¤Ï‘@deftypevr Variable …’¤ÈƱ¤¸ ¤Ç¤¹¡¥

Î㤨¤Ð¡¤°Ê²¼¤Î¤è¤¦¤Ë¤·¤Þ¤¹¡¥

@deftypevar int fubar
…
@end deftypevar

Info¤Ç¤Ï°Ê²¼¤òÀ¸À®¤·¤Þ¤¹¡¥

-- Variable: int fubar
…

¥Æ¥ó¥×¥ì¡¼¥È¤Ï°Ê²¼¤ÎÄ̤ê¤Ç¤¹¡¥

@deftypevar data-type name
body-of-description
@end deftypevar

@deftypevar¤Ï¡¤name¤ËÂФ·¡¤ÊÑ¿ôº÷°ú¤Î¹àÌܤòºîÀ®¤·¤Þ¤¹¡¥