EOJ-自适应编程学习平台

//********** Specification of punctuations **********
int punctuations(char *s);
/* PreCondition:
        s 指向一个长度范围为 0 – 1024 的字符串
    PostCondition:
        返回 s 所指字符串中 28 种标点字符的个数
*/

#include <stdio.h>

//********** Specification of punctuations **********
int punctuations(char *s) {

}

/*******************************************************/
int main() {
    char s[1025];
    gets(s);
    printf("%d\n", punctuations(s));
    return 0;
}