semantic.txt

来自「计算机编译原理相关实验3：一个用SLR(1)文法自底向上的语义分析器」· 文本 代码 · 共 86 行

move in func
move in id
move in {
move in int
use generate expression 14 T-> int  execute
move in id
use generate expression 16 D-> id  execute
move in ,
move in id
use generate expression 15 D-> D , id  execute
move in ;
use generate expression 13 S-> T D ;  execute
use generate expression 3 L-> S  execute
use generate expression 4 M-> epsilon  execute
move in id
move in =
move in const
use generate expression 35 E-> const  execute
move in ;
use generate expression 17 S-> id = E ;  execute
use generate expression 2 L-> L M S  execute
use generate expression 4 M-> epsilon  execute
move in while
use generate expression 8 W-> while  execute
move in id
move in <
use generate expression 27 R-> <  execute
move in const
use generate expression 35 E-> const  execute
use generate expression 26 B-> id R E  execute
move in do
use generate expression 7 U-> W B do  execute
move in {
move in id
move in =
move in (
move in id
use generate expression 34 E-> id  execute
move in +
move in const
use generate expression 35 E-> const  execute
use generate expression 31 E-> E + E  execute
move in )
use generate expression 33 E-> ( E )  execute
move in *
move in id
use generate expression 34 E-> id  execute
use generate expression 32 E-> E * E  execute
move in ;
use generate expression 17 S-> id = E ;  execute
use generate expression 3 L-> S  execute
use generate expression 4 M-> epsilon  execute
move in if
move in id
move in <
use generate expression 27 R-> <  execute
move in id
use generate expression 34 E-> id  execute
use generate expression 26 B-> id R E  execute
move in |
use generate expression 21 P-> epsilon  execute
move in false
use generate expression 25 B-> false  execute
use generate expression 20 B-> B | P B  execute
move in then
use generate expression 9 C-> if B then  execute
move in id
move in =
move in id
use generate expression 34 E-> id  execute
move in +
move in id
use generate expression 34 E-> id  execute
use generate expression 31 E-> E + E  execute
move in ;
use generate expression 17 S-> id = E ;  execute
use generate expression 11 S-> C S  execute
use generate expression 2 L-> L M S  execute
move in }
use generate expression 5 S-> { L }  execute
use generate expression 6 S-> U S  execute
use generate expression 2 L-> L M S  execute
move in }
use generate expression 1 K-> func id { d }  execute
analyse over