"{ Package: 'stx:goodies/smaCC' }"

"{ NameSpace: SmaCC }"

SmaCCParser subclass:#SmaCCGrammarParser

	instanceVariableNames:'grammar'

	classVariableNames:''

	poolDictionaries:''

	category:'SmaCC-Parser Generator'

!

SmaCCGrammarParser comment:'SmaCCGrammarParser is a parser for grammars.

Instance Variables:

	grammar	<SmaCCGrammar>	the grammar we are producing

'

!

!SmaCCGrammarParser class methodsFor:'generated-accessing'!

scannerClass

	^SmaCC::SmaCCGrammarScanner

! !

!SmaCCGrammarParser class methodsFor:'generated-comments'!

parserDefinitionComment

	"File:   Parser {grammar addEmptySymbol; yourself};

Parser: Rule

        | Parser Rule ;

Rule : ProductionRule {grammar setStartSymbolIfNone: '1'. nil}

        | LeftLine 

        | RightLine 

        | NonAssociativeLine

        | IdMethodLine

        | StartLine ;

LeftLine:       ""%left"" TokenList 'tokens' "";"" { tokens do: [:each | grammar leftPrecedenceFor: each; setOperatorPrecedenceFor: each to: scanner lineNumber]. nil };

RightLine:      ""%right"" TokenList 'tokens' "";"" { tokens do: [:each | grammar rightPrecedenceFor: each; setOperatorPrecedenceFor: each to: scanner lineNumber]. nil };

NonAssociativeLine: ""%nonassoc"" TokenList 'tokens' "";"" { tokens do: [:each | grammar nonAssociativePrecedenceFor: each; setOperatorPrecedenceFor: each to: scanner lineNumber]. nil };

IdMethodLine: ""%id"" IdTokens 'tokens' "";"" {tokens do: [:each | grammar makeTokenIdMethodFor: each]. nil};

StartLine: ""%start"" StartingTokens "";"";

IdTokens: <tokenname> {OrderedCollection with: '1' value}

        | IdTokens <tokenname> {'1' add: '2' value; yourself};

TokenList:      Term

        | TokenList Term        ;

StartingTokens: <symbolname> 'symbol' {grammar addStartingSymbol: (grammar nonTerminalSymbolNamed: symbol value)}

        | StartingTokens <symbolname> 'symbol' {grammar addStartingSymbol: (grammar nonTerminalSymbolNamed: symbol value)};

ProductionRule: <symbolname> <production> ParserRules "";"" {| symbol | symbol := grammar nonTerminalSymbolNamed: '1' value. '3' do: [:each | symbol addProduction: each]. symbol};

ParserRules:    ParserRules ""|"" ParserRule {'1' add: '3'; yourself}

        | ParserRule     ;

ParserRule : Terms 'rhs' {rhs}

        | Terms 'rhs' <code> 'code' {self verifyCodeToken: code for: rhs} ;

Terms : {SmaCCRHS new}

        | Terms 'rhs' Term 'term'       {rhs add: term; yourself}       

        | Terms 'rhs' Term 'term' <variablename> 'variableNameToken'    {rhs add: term; nameLastItem: (variableNameToken value copyFrom: 2 to: variableNameToken value size - 1); yourself}     

        | Terms 'rhs' Term 'term' ""?"" {rhs add: (grammar makeOptionalSymbolFor: term); yourself}

        | Terms 'rhs' Term 'term' ""?"" <variablename> 'variableNameToken' {rhs add: (grammar makeOptionalSymbolFor: term); nameLastItem: (variableNameToken value copyFrom: 2 to: variableNameToken value size - 1); yourself}   

        | Terms 'rhs' Term 'term' ""*"" {rhs add: (grammar makeRepeatSymbolFor: term); yourself}

        | Terms 'rhs' Term 'term' ""*"" <variablename> 'variableNameToken' {rhs add: (grammar makeRepeatSymbolFor: term); nameLastItem: (variableNameToken value copyFrom: 2 to: variableNameToken value size - 1); yourself}             

        | Terms 'rhs' Term 'term' ""+"" {rhs add: (grammar makeRepeatMultipleSymbolFor: term); yourself}

        | Terms 'rhs' Term 'term' ""+"" <variablename> 'variableNameToken' {rhs add: (grammar makeRepeatMultipleSymbolFor: term); nameLastItem: (variableNameToken value copyFrom: 2 to: variableNameToken value size - 1); yourself}     ;

Term:   <keyword> {grammar keywordTerminalNamed: '1' value}

        | <tokenname> {grammar terminalSymbolNamed: '1' value ifAbsent: [currentToken := '1'. self reportErrorMessage: 'Token not specified']}

        | <symbolname> {grammar nonTerminalSymbolNamed: '1' value}

        | ""error"" {SmaCCSymbol error}

        | ""("" SimpleTerms "")"" {grammar makeGroupFor: '2'}

        | ""<%"" SimpleTerms ""%>"" {grammar makeRepeatSymbolFor: (grammar makeGroupFor: '2')}

        | ""["" SimpleTerms ""]"" {grammar makeOptionalSymbolFor: (grammar makeGroupFor: '2')};

SimpleTerms :

        SimpleTerm {OrderedCollection with: '1'}

        | SimpleTerms 'terms' ""|"" SimpleTerm 'term' {terms add: term; yourself};

SimpleTerm :

        { SmaCCRHS new }

        | SimpleTerm 'rhs' Term 'term' {rhs add: term; yourself} 

        | SimpleTerm 'rhs' Term 'term' ""?"" {rhs add: (grammar makeOptionalSymbolFor: term); yourself}

        | SimpleTerm 'rhs' Term 'term' ""*"" {rhs add: (grammar makeRepeatSymbolFor: term); yourself}

        | SimpleTerm 'rhs' Term 'term' ""+"" {rhs add: (grammar makeRepeatMultipleSymbolFor: term); yourself}     ;

"

! !

!SmaCCGrammarParser class methodsFor:'generated-starting states'!

startingStateForFile

	^1

! !

!SmaCCGrammarParser methodsFor:'accessing'!

grammar

	^grammar

!

grammar: aGrammar

	grammar := aGrammar

! !

!SmaCCGrammarParser methodsFor:'generated-reduction actions'!

reduceActionForFile1:nodes 

    ^ grammar

        addEmptySymbol;

        yourself

!

reduceActionForIdMethodLine1:nodes 

    (nodes at:2) do:[:each | 

        grammar makeTokenIdMethodFor:each

    ].

    ^ nil

!

reduceActionForIdTokens1:nodes 

    ^ OrderedCollection with:(nodes at:1) value

!

reduceActionForIdTokens2:nodes 

    ^ (nodes at:1)

        add:(nodes at:2) value;

        yourself

!

reduceActionForLeftLine1:nodes 

    (nodes at:2) do:[:each | 

        grammar

            leftPrecedenceFor:each;

            setOperatorPrecedenceFor:each to:scanner lineNumber

    ].

    ^ nil

!

reduceActionForNonAssociativeLine1:nodes 

    (nodes at:2) do:[:each | 

        grammar

            nonAssociativePrecedenceFor:each;

            setOperatorPrecedenceFor:each to:scanner lineNumber

    ].

    ^ nil

!

reduceActionForParserRule1:nodes 

    ^ nodes at:1

!

reduceActionForParserRule2:nodes 

    ^ self verifyCodeToken:(nodes at:2) for:(nodes at:1)

!

reduceActionForParserRules1:nodes 

    ^ (nodes at:1)

        add:(nodes at:3);

        yourself

!

reduceActionForProductionRule1:nodes 

    |symbol|

    symbol := grammar nonTerminalSymbolNamed:(nodes at:1) value.

    (nodes at:3) do:[:each | 

        symbol addProduction:each

    ].

    ^ symbol

!

reduceActionForRightLine1:nodes 

    (nodes at:2) do:[:each | 

        grammar

            rightPrecedenceFor:each;

            setOperatorPrecedenceFor:each to:scanner lineNumber

    ].

    ^ nil

!

reduceActionForRule1:nodes 

    grammar setStartSymbolIfNone:(nodes at:1).

    ^ nil

!

reduceActionForSimpleTerm1:nodes 

    ^ SmaCCRHS new

!

reduceActionForSimpleTerm2:nodes 

    ^ (nodes at:1)

        add:(nodes at:2);

        yourself

!

reduceActionForSimpleTerm3:nodes 

    ^ (nodes at:1)

        add:(grammar makeOptionalSymbolFor:(nodes at:2));

        yourself

!

reduceActionForSimpleTerm4:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatSymbolFor:(nodes at:2));

        yourself

!

reduceActionForSimpleTerm5:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatMultipleSymbolFor:(nodes at:2));

        yourself

!

reduceActionForSimpleTerms1:nodes 

    ^ OrderedCollection with:(nodes at:1)

!

reduceActionForSimpleTerms2:nodes 

    ^ (nodes at:1)

        add:(nodes at:3);

        yourself

!

reduceActionForStartingTokens1:nodes 

    ^ grammar 

        addStartingSymbol:(grammar nonTerminalSymbolNamed:(nodes at:1) value)

!

reduceActionForStartingTokens2:nodes 

    ^ grammar 

        addStartingSymbol:(grammar nonTerminalSymbolNamed:(nodes at:2) value)

!

reduceActionForTerm1:nodes 

    ^ grammar keywordTerminalNamed:(nodes at:1) value

!

reduceActionForTerm2:nodes 

    ^ grammar terminalSymbolNamed:(nodes at:1) value

        ifAbsent:[

            currentToken := nodes at:1.

            self reportErrorMessage:'Token not specified'

        ]

!

reduceActionForTerm3:nodes 

    ^ grammar nonTerminalSymbolNamed:(nodes at:1) value

!

reduceActionForTerm4:nodes 

    ^ SmaCCSymbol error

!

reduceActionForTerm5:nodes 

    ^ grammar makeGroupFor:(nodes at:2)

!

reduceActionForTerm6:nodes 

    ^ grammar makeRepeatSymbolFor:(grammar makeGroupFor:(nodes at:2))

!

reduceActionForTerm7:nodes 

    ^ grammar makeOptionalSymbolFor:(grammar makeGroupFor:(nodes at:2))

!

reduceActionForTerms1:nodes 

    ^ SmaCCRHS new

!

reduceActionForTerms2:nodes 

    ^ (nodes at:1)

        add:(nodes at:2);

        yourself

!

reduceActionForTerms3:nodes 

    ^ (nodes at:1)

        add:(nodes at:2);

        nameLastItem:((nodes at:3) value copyFrom:2

                    to:(nodes at:3) value size - 1);

        yourself

!

reduceActionForTerms4:nodes 

    ^ (nodes at:1)

        add:(grammar makeOptionalSymbolFor:(nodes at:2));

        yourself

!

reduceActionForTerms5:nodes 

    ^ (nodes at:1)

        add:(grammar makeOptionalSymbolFor:(nodes at:2));

        nameLastItem:((nodes at:4) value copyFrom:2

                    to:(nodes at:4) value size - 1);

        yourself

!

reduceActionForTerms6:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatSymbolFor:(nodes at:2));

        yourself

!

reduceActionForTerms7:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatSymbolFor:(nodes at:2));

        nameLastItem:((nodes at:4) value copyFrom:2

                    to:(nodes at:4) value size - 1);

        yourself

!

reduceActionForTerms8:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatMultipleSymbolFor:(nodes at:2));

        yourself

!

reduceActionForTerms9:nodes 

    ^ (nodes at:1)

        add:(grammar makeRepeatMultipleSymbolFor:(nodes at:2));

        nameLastItem:((nodes at:4) value copyFrom:2

                    to:(nodes at:4) value size - 1);

        yourself

! !

!SmaCCGrammarParser methodsFor:'generated-tables'!

reduceTable

	^#(

#(26 3 #reduceActionForIdMethodLine1:)

#(27 3 #reduceFor:)

#(28 1 #reduceFor:)

#(28 2 #reduceFor:)

#(29 4 #reduceActionForProductionRule1:)

#(30 3 #reduceActionForRightLine1:)

#(31 1 #reduceActionForRule1:)

#(31 1 #reduceFor:)

#(31 1 #reduceFor:)

#(31 1 #reduceFor:)

#(31 1 #reduceFor:)

#(31 1 #reduceFor:)

#(32 1 #reduceActionForTerm1:)

#(32 1 #reduceActionForTerm2:)

#(32 1 #reduceActionForTerm3:)

#(32 1 #reduceActionForTerm4:)

#(32 3 #reduceActionForTerm5:)

#(32 3 #reduceActionForTerm6:)

#(32 3 #reduceActionForTerm7:)

#(33 1 #reduceFor:)

#(34 3 #reduceActionForNonAssociativeLine1:)

#(35 3 #reduceActionForParserRules1:)

#(35 1 #reduceFor:)

#(36 1 #reduceActionForParserRule1:)

#(36 2 #reduceActionForParserRule2:)

#(37 0 #reduceActionForTerms1:)

#(37 2 #reduceActionForTerms2:)

#(37 3 #reduceActionForTerms3:)

#(37 3 #reduceActionForTerms4:)

#(37 4 #reduceActionForTerms5:)

#(37 3 #reduceActionForTerms6:)

#(37 4 #reduceActionForTerms7:)

#(37 3 #reduceActionForTerms8:)

#(37 4 #reduceActionForTerms9:)

#(38 1 #reduceActionForStartingTokens1:)

#(38 2 #reduceActionForStartingTokens2:)

#(39 1 #reduceFor:)

#(39 2 #reduceFor:)

#(40 1 #reduceActionForIdTokens1:)

#(40 2 #reduceActionForIdTokens2:)

#(41 1 #reduceActionForSimpleTerms1:)

#(41 3 #reduceActionForSimpleTerms2:)

#(42 0 #reduceActionForSimpleTerm1:)

#(42 2 #reduceActionForSimpleTerm2:)

#(42 3 #reduceActionForSimpleTerm3:)

#(42 3 #reduceActionForSimpleTerm4:)

#(42 3 #reduceActionForSimpleTerm5:)

#(45 1 #reduceActionForFile1:)

#(46 3 #reduceActionForLeftLine1:)

)

!

transitionTable

	^#(

#[1 0 9 0 1 0 13 0 3 0 17 0 4 0 21 0 6 0 25 0 8 0 29 0 20 0 33 0 26 0 37 0 27 0 41 0 29 0 45 0 30 0 49 0 31 0 53 0 34 0 57 0 39 0 61 0 45 0 65 0 46]

#[1 0 69 0 20 0 73 0 38]

#[1 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 105 0 28 0 109 0 32]

#[1 0 113 0 19 0 117 0 40]

#[1 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 121 0 28 0 109 0 32]

#[1 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 125 0 28 0 109 0 32]

#[0 0 129 0 25]

#[0 0 46 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 50 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 30 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 38 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 150 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 42 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[1 0 9 0 1 0 13 0 3 0 17 0 4 0 21 0 6 0 25 0 8 0 29 0 20 0 33 0 26 0 37 0 27 0 41 0 29 0 45 0 30 0 133 0 31 0 53 0 34 0 194 0 43 0 65 0 46]

#[0 0 0 0 43]

#[0 0 34 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 142 0 7 0 20]

#[1 0 137 0 7 0 141 0 20]

#[1 0 174 0 2 0 174 0 11 0 174 0 13 0 174 0 14 0 174 0 16 0 174 0 17 0 174 0 19 0 174 0 20 0 174 0 21 0 145 0 41 0 149 0 42]

#[1 0 174 0 2 0 174 0 10 0 174 0 11 0 174 0 13 0 174 0 16 0 174 0 17 0 174 0 19 0 174 0 20 0 174 0 21 0 153 0 41 0 149 0 42]

#[0 0 66 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[1 0 174 0 2 0 174 0 11 0 174 0 12 0 174 0 13 0 174 0 16 0 174 0 17 0 174 0 19 0 174 0 20 0 174 0 21 0 157 0 41 0 149 0 42]

#[0 0 58 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[0 0 62 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[0 0 54 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[1 0 161 0 7 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 165 0 32]

#[0 0 14 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21]

#[0 0 158 0 7 0 19]

#[1 0 169 0 7 0 173 0 19]

#[1 0 177 0 7 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 165 0 32]

#[1 0 181 0 7 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 165 0 32]

#[1 0 106 0 2 0 106 0 7 0 106 0 11 0 106 0 13 0 106 0 16 0 106 0 17 0 106 0 19 0 106 0 20 0 106 0 21 0 106 0 23 0 185 0 35 0 189 0 36 0 193 0 37]

#[0 0 154 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 10 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 146 0 7 0 20]

#[1 0 197 0 2 0 201 0 14]

#[1 0 166 0 2 0 166 0 10 0 77 0 11 0 166 0 12 0 81 0 13 0 166 0 14 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 205 0 32]

#[1 0 197 0 2 0 209 0 10]

#[1 0 197 0 2 0 213 0 12]

#[0 0 86 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 18 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21]

#[0 0 6 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 162 0 7 0 19]

#[0 0 198 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 26 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[1 0 217 0 2 0 221 0 7]

#[0 0 94 0 2 0 7]

#[1 0 98 0 2 0 98 0 7 0 77 0 11 0 81 0 13 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 225 0 23 0 229 0 32]

#[1 0 174 0 2 0 174 0 10 0 174 0 11 0 174 0 12 0 174 0 13 0 174 0 14 0 174 0 16 0 174 0 17 0 174 0 19 0 174 0 20 0 174 0 21 0 233 0 42]

#[0 0 78 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[1 0 178 0 2 0 237 0 5 0 241 0 9 0 178 0 10 0 178 0 11 0 178 0 12 0 178 0 13 0 178 0 14 0 245 0 15 0 178 0 16 0 178 0 17 0 178 0 19 0 178 0 20 0 178 0 21]

#[0 0 74 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[0 0 70 0 2 0 5 0 7 0 9 0 10 0 11 0 12 0 13 0 14 0 15 0 16 0 17 0 19 0 20 0 21 0 23 0 24]

#[1 0 106 0 2 0 106 0 7 0 106 0 11 0 106 0 13 0 106 0 16 0 106 0 17 0 106 0 19 0 106 0 20 0 106 0 21 0 106 0 23 0 249 0 36 0 193 0 37]

#[0 0 22 0 1 0 3 0 4 0 6 0 8 0 20 0 43]

#[0 0 102 0 2 0 7]

#[1 0 110 0 2 0 253 0 5 0 110 0 7 1 1 0 9 0 110 0 11 0 110 0 13 1 5 0 15 0 110 0 16 0 110 0 17 0 110 0 19 0 110 0 20 0 110 0 21 0 110 0 23 1 9 0 24]

#[1 0 170 0 2 0 170 0 10 0 77 0 11 0 170 0 12 0 81 0 13 0 170 0 14 0 85 0 16 0 89 0 17 0 93 0 19 0 97 0 20 0 101 0 21 0 205 0 32]

#[0 0 182 0 2 0 10 0 11 0 12 0 13 0 14 0 16 0 17 0 19 0 20 0 21]

#[0 0 186 0 2 0 10 0 11 0 12 0 13 0 14 0 16 0 17 0 19 0 20 0 21]

#[0 0 190 0 2 0 10 0 11 0 12 0 13 0 14 0 16 0 17 0 19 0 20 0 21]

#[0 0 90 0 2 0 7]

#[1 0 118 0 2 0 118 0 7 0 118 0 11 0 118 0 13 0 118 0 16 0 118 0 17 0 118 0 19 0 118 0 20 0 118 0 21 0 118 0 23 1 13 0 24]

#[1 0 126 0 2 0 126 0 7 0 126 0 11 0 126 0 13 0 126 0 16 0 126 0 17 0 126 0 19 0 126 0 20 0 126 0 21 0 126 0 23 1 17 0 24]

#[1 0 134 0 2 0 134 0 7 0 134 0 11 0 134 0 13 0 134 0 16 0 134 0 17 0 134 0 19 0 134 0 20 0 134 0 21 0 134 0 23 1 21 0 24]

#[0 0 114 0 2 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21 0 23]

#[0 0 122 0 2 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21 0 23]

#[0 0 130 0 2 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21 0 23]

#[0 0 138 0 2 0 7 0 11 0 13 0 16 0 17 0 19 0 20 0 21 0 23]

)

! !

!SmaCCGrammarParser methodsFor:'initialize-release'!

initialize

	super initialize.

	grammar := SmaCCGrammar new

! !

!SmaCCGrammarParser methodsFor:'private'!

verifyCodeToken: codeToken for: aRHS 

	| code |

	code := codeToken value copyFrom: 2 to: codeToken value size - 1.

	RBParser parseExpression: code

		onError: 

			[:string :position | 

			currentToken := nil.

			scanner position: codeToken startPosition + position.

			self reportErrorMessage: string].

	aRHS reduceAction: code.

	^aRHS

! !

!SmaCCGrammarParser class methodsFor:'documentation'!

version

    ^ '$Header: /opt/data/cvs/stx/goodies/smaCC/SmaCC__SmaCCGrammarParser.st,v 1.1 2006-02-09 21:18:56 vranyj1 Exp $'

!

version_SVN

    ^ '$Id$'

! !