y.output

编译原理课程设计之pp2语法分析程序

   23 FunctionDecl: T_Void Ident . '(' Formals ')' StmtBlock
   25             | T_Void Ident . '(' ')' StmtBlock

    '('  shift, and go to state 24


state 18

   16 ClassDecl: T_Class Ident . '{' Fieldlist '}'
   17          | T_Class Ident . T_Extends Ident '{' Fieldlist '}'

    T_Extends  shift, and go to state 25
    '{'        shift, and go to state 26


state 19

    0 $accept: Program $end .

    $default  accept


state 20

    2 DeclList: DeclList Decl .

    $default  reduce using rule 2 (DeclList)


state 21

    7 VariableDecl: Variable ';' .

    $default  reduce using rule 7 (VariableDecl)


state 22

   15 Type: Type T_Dims .

    $default  reduce using rule 15 (Type)


state 23

    8 Variable: Type Ident .
   22 FunctionDecl: Type Ident . '(' Formals ')' StmtBlock
   24             | Type Ident . '(' ')' StmtBlock

    '('  shift, and go to state 27

    $default  reduce using rule 8 (Variable)


state 24

   23 FunctionDecl: T_Void Ident '(' . Formals ')' StmtBlock
   25             | T_Void Ident '(' . ')' StmtBlock

    T_Bool        shift, and go to state 2
    T_Int         shift, and go to state 3
    T_Double      shift, and go to state 4
    T_String      shift, and go to state 5
    T_Identifier  shift, and go to state 7
    ')'           shift, and go to state 28

    Variable  go to state 29
    Ident     go to state 13
    Type      go to state 30
    Formals   go to state 31


state 25

   17 ClassDecl: T_Class Ident T_Extends . Ident '{' Fieldlist '}'

    T_Identifier  shift, and go to state 7

    Ident  go to state 32


state 26

   16 ClassDecl: T_Class Ident '{' . Fieldlist '}'

    $default  reduce using rule 19 (Fieldlist)

    Fieldlist  go to state 33


state 27

   22 FunctionDecl: Type Ident '(' . Formals ')' StmtBlock
   24             | Type Ident '(' . ')' StmtBlock

    T_Bool        shift, and go to state 2
    T_Int         shift, and go to state 3
    T_Double      shift, and go to state 4
    T_String      shift, and go to state 5
    T_Identifier  shift, and go to state 7
    ')'           shift, and go to state 34

    Variable  go to state 29
    Ident     go to state 13
    Type      go to state 30
    Formals   go to state 35


state 28

   25 FunctionDecl: T_Void Ident '(' ')' . StmtBlock

    '{'  shift, and go to state 36

    StmtBlock  go to state 37


state 29

   26 Formals: Variable .

    $default  reduce using rule 26 (Formals)


state 30

    8 Variable: Type . Ident
   15 Type: Type . T_Dims

    T_Dims        shift, and go to state 22
    T_Identifier  shift, and go to state 7

    Ident  go to state 38


state 31

   23 FunctionDecl: T_Void Ident '(' Formals . ')' StmtBlock
   27 Formals: Formals . ',' Variable

    ','  shift, and go to state 39
    ')'  shift, and go to state 40


state 32

   17 ClassDecl: T_Class Ident T_Extends Ident . '{' Fieldlist '}'

    '{'  shift, and go to state 41


state 33

   16 ClassDecl: T_Class Ident '{' Fieldlist . '}'
   18 Fieldlist: Fieldlist . Field

    T_Void        shift, and go to state 1
    T_Bool        shift, and go to state 2
    T_Int         shift, and go to state 3
    T_Double      shift, and go to state 4
    T_String      shift, and go to state 5
    T_Identifier  shift, and go to state 7
    '}'           shift, and go to state 42

    VariableDecl  go to state 43
    Variable      go to state 12
    Ident         go to state 13
    Type          go to state 14
    Field         go to state 44
    FunctionDecl  go to state 45


state 34

   24 FunctionDecl: Type Ident '(' ')' . StmtBlock

    '{'  shift, and go to state 36

    StmtBlock  go to state 46


state 35

   22 FunctionDecl: Type Ident '(' Formals . ')' StmtBlock
   27 Formals: Formals . ',' Variable

    ','  shift, and go to state 39
    ')'  shift, and go to state 47


state 36

   28 StmtBlock: '{' . NonEmptyVList NonEmptySList '}'
   29          | '{' . NonEmptyVList '}'
   30          | '{' . NonEmptySList '}'
   31          | '{' . '}'

    T_Bool            shift, and go to state 2
    T_Int             shift, and go to state 3
    T_Double          shift, and go to state 4
    T_String          shift, and go to state 5
    T_Null            shift, and go to state 48
    T_This            shift, and go to state 49
    T_While           shift, and go to state 50
    T_For             shift, and go to state 51
    T_If              shift, and go to state 52
    T_Return          shift, and go to state 53
    T_Break           shift, and go to state 54
    T_New             shift, and go to state 55
    T_NewArray        shift, and go to state 56
    T_Print           shift, and go to state 57
    T_ReadInteger     shift, and go to state 58
    T_ReadLine        shift, and go to state 59
    T_Try             shift, and go to state 60
    T_Throw           shift, and go to state 61
    T_Switch          shift, and go to state 62
    T_Identifier      shift, and go to state 7
    T_StringConstant  shift, and go to state 63
    T_IntConstant     shift, and go to state 64
    T_DoubleConstant  shift, and go to state 65
    T_BoolConstant    shift, and go to state 66
    '-'               shift, and go to state 67
    '!'               shift, and go to state 68
    ';'               shift, and go to state 69
    '{'               shift, and go to state 36
    '}'               shift, and go to state 70
    '('               shift, and go to state 71

    VariableDecl   go to state 72
    Variable       go to state 12
    Ident          go to state 73
    Type           go to state 30
    StmtBlock      go to state 74
    NonEmptyVList  go to state 75
    NonEmptySList  go to state 76
    Stmt           go to state 77
    ThrowStmt      go to state 78
    TryCatchBlock  go to state 79
    PrintStmt      go to state 80
    BreakStmt      go to state 81
    ReturnStmt     go to state 82
    IfStmt         go to state 83
    SwitchStmt     go to state 84
    WhileStmt      go to state 85
    ForStmt        go to state 86
    Expr           go to state 87
    Call           go to state 88
    LValue         go to state 89
    IntConstant    go to state 90
    Constant       go to state 91


state 37

   25 FunctionDecl: T_Void Ident '(' ')' StmtBlock .

    $default  reduce using rule 25 (FunctionDecl)


state 38

    8 Variable: Type Ident .

    $default  reduce using rule 8 (Variable)


state 39

   27 Formals: Formals ',' . Variable

    T_Bool        shift, and go to state 2
    T_Int         shift, and go to state 3
    T_Double      shift, and go to state 4
    T_String      shift, and go to state 5
    T_Identifier  shift, and go to state 7

    Variable  go to state 92
    Ident     go to state 13
    Type      go to state 30


state 40

   23 FunctionDecl: T_Void Ident '(' Formals ')' . StmtBlock

    '{'  shift, and go to state 36

    StmtBlock  go to state 93


state 41

   17 ClassDecl: T_Class Ident T_Extends Ident '{' . Fieldlist '}'

    $default  reduce using rule 19 (Fieldlist)

    Fieldlist  go to state 94


state 42

   16 ClassDecl: T_Class Ident '{' Fieldlist '}' .

    $default  reduce using rule 16 (ClassDecl)


state 43

   20 Field: VariableDecl .

    $default  reduce using rule 20 (Field)


state 44

   18 Fieldlist: Fieldlist Field .

    $default  reduce using rule 18 (Fieldlist)


state 45

   21 Field: FunctionDecl .

    $default  reduce using rule 21 (Field)


state 46

   24 FunctionDecl: Type Ident '(' ')' StmtBlock .

    $default  reduce using rule 24 (FunctionDecl)


state 47

   22 FunctionDecl: Type Ident '(' Formals ')' . StmtBlock

    '{'  shift, and go to state 36

    StmtBlock  go to state 95


state 48

  116 Constant: T_Null .

    $default  reduce using rule 116 (Constant)


state 49

   99 Expr: T_This .

    $default  reduce using rule 99 (Expr)


state 50

   72 WhileStmt: T_While . '(' Expr ')' Stmt

    '('  shift, and go to state 96


state 51

   73 ForStmt: T_For . '(' Expr_Em ';' Expr ';' Expr_Em ')' Stmt

    '('  shift, and go to state 97


state 52

   61 IfStmt: T_If . '(' Expr ')' Stmt
   62       | T_If . '(' Expr ')' Stmt T_Else Stmt

    '('  shift, and go to state 98


state 53

   59 ReturnStmt: T_Return . Expr ';'
   60           | T_Return . ';'

    T_Null            shift, and go to state 48
    T_This            shift, and go to state 49
    T_New             shift, and go to state 55
    T_NewArray        shift, and go to state 56
    T_ReadInteger     shift, and go to state 58
    T_ReadLine        shift, and go to state 59
    T_Identifier      shift, and go to state 7
    T_StringConstant  shift, and go to state 63
    T_IntConstant     shift, and go to state 64
    T_DoubleConstant  shift, and go to state 65
    T_BoolConstant    shift, and go to state 66
    '-'               shift, and go to state 67
    '!'               shift, and go to state 68
    ';'               shift, and go to state 99
    '('               shift, and go to state 71

    Ident        go to state 100
    Expr         go to state 101
    Call         go to state 88
    LValue       go to state 89
    IntConstant  go to state 90
    Constant     go to state 91


state 54

   58 BreakStmt: T_Break . ';'

    ';'  shift, and go to state 102


state 55

   95 Expr: T_New . '(' Ident ')'

    '('  shift, and go to state 103


state 56

   96 Expr: T_NewArray . '(' Expr ',' Type ')'

    '('  shift, and go to state 104


state 57

   57 PrintStmt: T_Print . '(' NonEmptyActuals ')' ';'

    '('  shift, and go to state 105


state 58

   98 Expr: T_ReadInteger . '(' ')'

    '('  shift, and go to state 106


state 59

   97 Expr: T_ReadLine . '(' ')'

    '('  shift, and go to state 107


state 60

   49 TryCatchBlock: T_Try . '{' StmtList '}' CatchBlockList

    '{'  shift, and go to state 108


state 61

   48 ThrowStmt: T_Throw . Expr ';'

    T_Null            shift, and go to state 48
    T_This            shift, and go to state 49
    T_New             shift, and go to state 55
    T_NewArray        shift, and go to state 56
    T_ReadInteger     shift, and go to state 58
    T_ReadLine        shift, and go to state 59
    T_Identifier      shift, and go to state 7
    T_StringConstant  shift, and go to state 63
    T_IntConstant     shift, and go to state 64
    T_DoubleConstant  shift, and go to state 65
    T_BoolConstant    shift, and go to state 66
    '-'               shift, and go to state 67
    '!'               shift, and go to state 68
    '('               shift, and go to state 71

    Ident        go to state 100
    Expr         go to state 109
    Call         go to state 88
    LValue       go to state 89
    IntConstant  go to state 90
    Constant     go to state 91


state 62

   63 SwitchStmt: T_Switch . '(' Expr ')' SwitchBody

    '('  shift, and go to state 110