현재 위치

홈 ›› Forums ›› 공부 ›› 프로그래밍 QnA

/*@-internalglobs@*/ 식으로 쓰여있는 주석문은 뭔가요?

diakon의 이미지
글쓴이: diakon / 작성시간: 토, 2007/09/15 - 11:33오전

공개소프트웨어중 하나인 삼바를 분석하고 있는데, 주석문의 형식이 좀 특이해서 무슨 유틸리티를 사용한것인지 궁금해서 올려봅니다.

    /*@-internalglobs@*/
    invokeCallbacksPRE(con, con->options);
    /*@=internalglobs@*/
 
    return con;
}
 
static void cleanOSE(/*@special@*/ struct optionStackEntry *os)
    /*@uses os @*/
    /*@releases os->nextArg, os->argv, os->argb @*/
    /*@modifies os @*/
{
    os->nextArg = (const char *)_free(os->nextArg);
    os->argv = (const char **)_free(os->argv);
    os->argb = (pbm_set *)PBM_FREE(os->argb);
}
 
/*@-boundswrite@*/
void poptResetContext(poptContext con)
{
    int i;

여기서 보면 중간에 주석문에 @ 문자가 들어가거나 @-, @= 식으로 들어가있는데, 이게 무슨 기호인가요?

Forums: 
프로그래밍 QnA
김성진의 이미지

글쓴이: 김성진 / 작성시간: 토, 2007/09/15 - 1:29오후

splint의 주석같네요.

괜찮은 툴입니다.

김성진

고도의 추상화, 극도의 구체화, 에디슨을 그리워하다.

고도의 추상화, 극도의 구체화, 에디슨을 그리워하다.

둘러보기