범용 의미 그래프

1// 의미론적 원자 정의 예시
2enum 의미론적원자 {
3    // 제어 흐름
4    순차[노드배열],
5    조건(조건노드, 참노드, 거짓노드?),
6    반복(조건노드, 본문노드),
7    호출(함수노드, 인자배열),
8    
9    // 데이터 조작  
10    바인딩(식별자, 값노드),
11    할당(대상노드, 값노드),
12    접근(식별자),
13    리터럴(값),
14    
15    // 연산
16    이항연산(연산타입, 왼쪽노드, 오른쪽노드),
17    단항연산(연산타입, 피연산자노드),
18    
19    // ... 대표 원자 모티프(발췌)
20}
21
22// 사용 예시
23let 노드 = 의미론적원자.조건(
24    조건 = 비교노드,
25    참가지 = 실행노드1,
26    거짓가지 = 실행노드2
27)

1// USG 생성 과정 예시
2function USG생성(소스코드: string, 언어: 언어타입) -> Result<USG, Error> {
3    // 1. 언어별 파싱
4    let ast = 언어별파싱(소스코드, 언어)?
5    
6    // 2. 의미론적 분석
7    let 의미정보 = 의미분석(ast)?
8    
9    // 3. 원자 변환
10    let 원자들 = 원자로변환(의미정보)?
11    
12    // 4. 그래프 구성
13    let 제어흐름 = 제어흐름구축(원자들)
14    let 데이터흐름 = 데이터흐름구축(원자들)
15    
16    Ok(USG.새로운(원자들, 제어흐름, 데이터흐름))
17}
18
19// 호출 예시
20let 소스 = """
21function 팩토리얼(n: int) -> int {
22    match n {
23        case 0 | 1 => 1
24        case _ => n * 팩토리얼(n - 1)
25    }
26}
27"""
28
29let usg = USG생성(소스, 언어타입.토파즈)?
30출력("USG 노드 수: {usg.노드수()}")