dcl: C의 선언 분석 프로그램 (2)

03_dcl_main.cpp

void dirdcl(StringBuffer &bin) { // 직접 선언자를 분석하고 결과 출력

char ch = bin.peekc();

if (is_fnamch(ch)) { // direct-declarator: 이름 (2)

std::string identifier = "";

while (bin.is_empty() == false) {

ch = bin.getc();

if (is_namch(ch) == false) {

bin.ungetc();

break;

}

identifier += ch;

}

if (identifier.empty()) // 식별자에 추가된 문자가 없다면 예외

throw Exception("올바른 식별자 이름이 아닙니다.");

std::cout << identifier.c_str() << ": ";

}

else if (ch == '(') { // direct-declarator: (declarator) (3)

bin.getc(); // ( 문자를 해석해서 진입했으므로 다음으로 넘긴다

dcl(bin);

if (bin.peekc() != ')') // 닫는 괄호가 없으면 예외

throw Exception("닫는 괄호가 없습니다.");

bin.getc(); // ) 괄호 검사를 진행했으므로 다음으로 넘긴다

}

// direct-declarator: direct-declarator() (4)

// direct-declarator: direct-declarator[] (5)

while (bin.is_empty() == false) {

ch = bin.peekc();

if (ch == '(') { // 함수 기호 획득

bin.getc(); // ( 괄호를 해석해서 진입했으므로 넘긴다

if (bin.peekc() != ')') // 닫는 괄호가 없으면 예외

throw Exception("잘못된 함수 기호입니다.");

bin.getc(); // ) 괄호를 해석했으므로 다음으로 넘긴다

std::cout << "function returning ";

}

else if (ch == '[') { // 배열 기호 획득

bin.getc(); // [ 괄호를 해석해서 진입했으므로 넘긴다

if (bin.peekc() != ']') // 닫는 괄호가 없으면 예외

throw Exception("잘못된 배열 기호입니다.");

bin.getc(); // ] 괄호를 해석했으므로 다음으로 넘긴다

std::cout << "array of ";

}

else { // 이외의 경우 반복문을 탈출한다

break;

}

}

}

코드

버퍼 상태

출력

dcl1 호출

(*ap)[];

while (ch == '*') ...

(*ap)[];

dirdcl1 호출

(*ap)[];

if (ch == '(') 진입

(*ap)[];

bin.getc()

*ap)[];

dcl2 호출

*ap)[];

while (ch == '*') ...

ap)[];

dirdcl2 호출

ap)[];

if (is_fnamch(ch)) 진입

ap)[];

while (is_namch(ch)) ...

)[];

ap:

dirdcl2 종료

)[];

ap:

dcl2) while (pc > 0) ...

)[];

ap: pointer to

dcl2 종료

)[];

ap: pointer to

if (ch != ')') ...

)[];

ap: pointer to

bin.getc()

[];

ap: pointer to

while ("()" || "[]") ...

;

ap: pointer to array of

dirdcl1 종료

;

ap: pointer to array of

dcl1) while (pc > 0) ...

;

ap: pointer to array of

dcl1 종료

;

ap: pointer to array of