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

"{ NameSpace: SmaCC }"

SmaCCParser subclass:#StParser

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'SmaCC-Example Parsers'

!

!StParser class methodsFor:'accessing'!

parseExpression: aString 

	^self simplifyExpression: (self parse: aString

				startingAt: self startingStateForSequenceNode)

!

parseExpression: aString onError: aBlock 

	^self simplifyExpression: (self 

				parse: aString

				startingAt: self startingStateForSequenceNode

				onError: aBlock)

!

parseMethod: aString 

	^self parse: aString startingAt: self startingStateForMethod

!

parseMethod: aString onError: aBlock 

	^self 

		parse: aString

		startingAt: self startingStateForMethod

		onError: aBlock

! !

!StParser class methodsFor:'generated-accessing'!

scannerClass

	^StScanner

! !

!StParser class methodsFor:'generated-comments'!

parserDefinitionComment

	"%id <number> <negative_number> <name> <binary_symbol>;

%start SequenceNode ;

Method:

	  <name> MethodSequenceNode {(RBMethodNode selector: '1' value asSymbol arguments: #() body: '2' last) ""tags: '2' first; yourself""}

	| BinaryMethodName MethodSequenceNode {(RBMethodNode selector: '1' first arguments: '1' last body: '2' last) ""tags: '2' first; yourself""}

	| KeywordMethodName MethodSequenceNode {(RBMethodNode selector: '1' first contents asSymbol arguments: '1' last body: '2' last) ""tags: '2' first; yourself""};

BinaryMethodName:

	<binary_symbol> Variable {Array with: '1' value asSymbol with: (Array with: '2')} ;

KeywordMethodName:

	<keyword> Variable {| stream | stream := WriteStream on: (String new: 30). stream nextPutAll: '1' value. Array with: stream with: (OrderedCollection with: '2')}

	| KeywordMethodName <keyword> Variable {'1' first nextPutAll: '2' value. '1' last add: '3'. '1'};

Primitives:

	{OrderedCollection new}

	| Primitives ""<"" PrimitiveMessageSend "">"" {'1' add: ('2' startPosition to: '4' startPosition); yourself};

PrimitiveMessageSend:

	| PrimitiveMessageSend <keyword> {nil}

	| PrimitiveMessageSend Literal {nil}

	| PrimitiveMessageSend ""("" {nil}

	| PrimitiveMessageSend "")"" {nil}

	| PrimitiveMessageSend ""{"" {nil}

	| PrimitiveMessageSend ""}"" {nil}

	| PrimitiveMessageSend "";"" {nil}

	| PrimitiveMessageSend ""."" {nil}

	| PrimitiveMessageSend <name> {nil}

	| PrimitiveMessageSend <binary_symbol> {nil};

MethodSequenceNode:

	Primitives ""|"" TemporaryVariables ""|"" Primitives Statements {Array with: ('1' addAll: '5'; yourself) with: (RBSequenceNode temporaries: '3' statements: '6')}

	| Primitives ""||"" Primitives Statements {Array with: ('1' addAll: '3'; yourself) with: (RBSequenceNode temporaries: #() statements: '4')}

	| Primitives Statements {Array with: '1' with: (RBSequenceNode temporaries: #() statements: '2')};

SequenceNode:

	Temporaries Statements {RBSequenceNode temporaries: '1' statements: '2'};

Temporaries:

	{#()}

	| ""||"" {#()}

	| ""|"" TemporaryVariables ""|"" {'2'};

TemporaryVariables:

	{OrderedCollection new}

	| TemporaryVariables Variable {'1' add: '2'; yourself};

Statements:

	{OrderedCollection new}

	| StatementList "".""? {#liftFirstValue:}

	| StatementList ""."" ""^"" Expression "".""? {'1' add: (RBReturnNode value: '4'); yourself}

	| ""^"" Expression "".""? {OrderedCollection with: (RBReturnNode value: '2')};

StatementList:

	Expression

	| StatementList ""."" Expression {'1' add: '3'; yourself};

Block:

	""["" BlockArgs ""|"" SequenceNode ""]"" {RBBlockNode arguments: '2' body: '4'}

	| ""["" SequenceNode ""]"" {RBBlockNode body: '2'}

	| ""["" BlockArgs ""]"" {RBBlockNode arguments: '2' body: (RBSequenceNode statements: #())}

	| ""["" BlockArgs ""||"" TemporaryVariables ""|"" Statements ""]"" {RBBlockNode arguments: '2' body: (RBSequenceNode temporaries: '4' statements: '6')};

BlockArgs:

	"":"" Variable {OrderedCollection with: '2'}

	| BlockArgs "":"" Variable {'1' add: '3'; yourself};

Expression:

	Variable "":="" Expression {RBAssignmentNode variable: '1' value: '3'}

|	Cascade {#liftFirstValue:};

Cascade:

	MessageSend CascadeList 

				{| messages |

				'2' isEmpty ifTrue: [^'1'].

				messages := OrderedCollection new: '2' size + 1.

				messages add: '1'.

				'2' do: [:each | messages add: (RBMessageNode receiver: '1' receiver selector: each first contents asSymbol arguments: each last)].

				RBCascadeNode messages: messages}

|	Primary {#liftFirstValue:};

MessageSend:

	KeywordMessageSend {#liftFirstValue:}

|	BinaryMessageSend {#liftFirstValue:}

|	UnaryMessageSend {#liftFirstValue:};

CascadeList:

	{OrderedCollection new}

|	CascadeList "";"" SimpleMessage {'1' add: '3'; yourself};

SimpleMessage:

	UnaryMessage {#liftFirstValue:}

|	BinaryMessage {#liftFirstValue:}

|	KeywordMessage {#liftFirstValue:};

KeywordMessageSend:

	BinaryMessageSend KeywordMessage {#createMessageNodeFrom:}

|	UnaryMessageSend KeywordMessage {#createMessageNodeFrom:}

|	Primary KeywordMessage {#createMessageNodeFrom:};

KeywordMessage:

	<keyword> KeywordArgument {| stream | stream := WriteStream on: (String new: 30). stream nextPutAll: '1' value. Array with: stream with: (OrderedCollection with: '2')}

|	KeywordMessage <keyword> KeywordArgument {'1' first nextPutAll: '2' value. '1' last add: '3'. '1'};

KeywordArgument:

	BinaryMessageSend {#liftFirstValue:}

|	UnaryMessageSend {#liftFirstValue:}

|	Primary {#liftFirstValue:};

BinaryMessageSend:

	BinaryMessageSend BinaryMessage {#createMessageNodeFrom:}

|	UnaryMessageSend BinaryMessage {#createMessageNodeFrom:}

|	Primary BinaryMessage {#createMessageNodeFrom:} ;

BinaryMessage :

	<binary_symbol> BinaryArgument {Array with: (ReadStream on: '1' value) with: (Array with: '2')};

BinaryArgument:

	UnaryMessageSend {#liftFirstValue:}

|	Primary {#liftFirstValue:};

UnaryMessageSend :

	UnaryMessageSend UnaryMessage {#createMessageNodeFrom:}

|	Primary UnaryMessage {#createMessageNodeFrom:};

UnaryMessage :

	<name> {Array with: (ReadStream on: '1' value) with: #()};

Primary: 

	""("" Expression "")"" {#liftSecondValue:}

|	Literal {RBLiteralNode value: '1'}

|	Variable {#liftFirstValue:}

|	Block {#liftFirstValue:};

Variable: 

	<name> {RBVariableNode named: '1' value}

|	<dotted_name> {RBVariableNode named: '1' value};

Literal:

	""true"" {true}

|	""false"" {false}

|	""nil"" {nil}

|	<number> {'1' value}

|	<negative_number> {'1' value}

|	<character> {'1' value at: 2}

|	<string> {('1' value copyFrom: 2 to: '1' value size - 1) copyReplaceAll: '''''' with: ''''}

|	 ""#"" <string> {(('2' value copyFrom: 2 to: '2' value size - 1) copyReplaceAll: '''''' with: '''') asSymbol}

|	""#"" <name> {'2' value asSymbol}

|	""#"" <binary_symbol> {'2' value asSymbol}

|	""#"" <keyword> {'2' value asSymbol}

|	""#"" <multikeyword> {'2' value asSymbol}

|	""#"" ""["" ByteArray ""]"" {'3' contents}

|	""#"" ""("" Array "")"" {'3' contents}

|	""#"" ""{"" <name> ""}"" {'3' value asQualifiedReference}

|	""#"" ""{"" <dotted_name> ""}"" {'3' value asQualifiedReference};

ByteArray: 

	{WriteStream on: ByteArray new}

|	ByteArray <number> {'1' nextPut: '2' value; yourself};

Array: 

	{WriteStream on: Array new}

|	Array ArrayLiteral {'1' nextPut: '2'; yourself} 

|	Array <name> "":="" {'2' stopPosition + 1 = '3' startPosition ifTrue: ['1' nextPut: ('2' value, ':') asSymbol] ifFalse: ['1' nextPut: '2' value asSymbol; nextPut: #':']. scanner position: '3' startPosition. currentToken := nil. '1'};

ArrayLiteral:

	Literal {#liftFirstValue:}

|	<name> {'1' value asSymbol}

|	<binary_symbol> {'1' value asSymbol}

|	<keyword> {'1' value asSymbol}

|	<multikeyword> {'1' value asSymbol}

|	""{"" <name> ""}"" {'2' value asQualifiedReference}

|	""{"" <dotted_name> ""}"" {'2' value asQualifiedReference}

|	""("" Array "")"" {'2' contents}

|	""["" ByteArray ""]"" {'2' contents}

|	<any_char> {'1' value asSymbol}

|	<dotted_name> {'1' value};"

! !

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

startingStateForMethod

	^1

!

startingStateForSequenceNode

	^2

! !

!StParser class methodsFor:'private'!

simplifyExpression: aSequenceNode 

	^(aSequenceNode statements size == 1 

		and: [aSequenceNode temporaries isEmpty]) 

			ifTrue: [aSequenceNode statements first]

			ifFalse: [aSequenceNode]

! !

!StParser methodsFor:'generated-reduction actions'!

reduceActionForArray1: nodes

	^WriteStream on: Array new

!

reduceActionForArray2: nodes

	^(nodes at: 1)

		nextPut: (nodes at: 2);

		yourself

!

reduceActionForArray3: nodes

	(nodes at: 2) stopPosition + 1 = (nodes at: 3) startPosition 

		ifTrue: [(nodes at: 1) nextPut: ((nodes at: 2) value , ':') asSymbol]

		ifFalse: 

			[(nodes at: 1)

				nextPut: (nodes at: 2) value asSymbol;

				nextPut: #':'].

	scanner position: (nodes at: 3) startPosition.

	currentToken := nil.

	^nodes at: 1

!

reduceActionForArrayLiteral10: nodes

	^(nodes at: 1) value asSymbol

!

reduceActionForArrayLiteral11: nodes

	^(nodes at: 1) value

!

reduceActionForArrayLiteral2: nodes

	^(nodes at: 1) value asSymbol

!

reduceActionForArrayLiteral3: nodes

	^(nodes at: 1) value asSymbol

!

reduceActionForArrayLiteral4: nodes

	^(nodes at: 1) value asSymbol

!

reduceActionForArrayLiteral5: nodes

	^(nodes at: 1) value asSymbol

!

reduceActionForArrayLiteral6: nodes

	^(nodes at: 2) value asQualifiedReference

!

reduceActionForArrayLiteral7: nodes

	^(nodes at: 2) value asQualifiedReference

!

reduceActionForArrayLiteral8: nodes

	^(nodes at: 2) contents

!

reduceActionForArrayLiteral9: nodes

	^(nodes at: 2) contents

!

reduceActionForBinaryMessage1: nodes

	^Array with: (ReadStream on: (nodes at: 1) value) with: (Array with: (nodes at: 2))

!

reduceActionForBinaryMethodName1: nodes

	^Array with: (nodes at: 1) value asSymbol with: (Array with: (nodes at: 2))

!

reduceActionForBlock1: nodes

	^RBBlockNode arguments: (nodes at: 2) body: (nodes at: 4)

!

reduceActionForBlock2: nodes

	^RBBlockNode body: (nodes at: 2)

!

reduceActionForBlock3: nodes

	^RBBlockNode arguments: (nodes at: 2) body: (RBSequenceNode statements: #())

!

reduceActionForBlock4: nodes

	^RBBlockNode arguments: (nodes at: 2)

		body: (RBSequenceNode temporaries: (nodes at: 4) statements: (nodes at: 6))

!

reduceActionForBlockArgs1: nodes

	^OrderedCollection with: (nodes at: 2)

!

reduceActionForBlockArgs2: nodes

	^(nodes at: 1)

		add: (nodes at: 3);

		yourself

!

reduceActionForByteArray1: nodes

	^WriteStream on: ByteArray new

!

reduceActionForByteArray2: nodes

	^(nodes at: 1)

		nextPut: (nodes at: 2) value;

		yourself

!

reduceActionForCascade1: nodes

	| messages |

	(nodes at: 2) isEmpty ifTrue: [^nodes at: 1].

	messages := OrderedCollection new: (nodes at: 2) size + 1.

	messages add: (nodes at: 1).

	(nodes at: 2) do: 

			[:each | 

			messages add: (RBMessageNode 

						receiver: (nodes at: 1) receiver

						selector: each first contents asSymbol

						arguments: each last)].

	^RBCascadeNode messages: messages

!

reduceActionForCascadeList1: nodes

	^OrderedCollection new

!

reduceActionForCascadeList2: nodes

	^(nodes at: 1)

		add: (nodes at: 3);

		yourself

!

reduceActionForExpression1: nodes

	^RBAssignmentNode variable: (nodes at: 1) value: (nodes at: 3)

!

reduceActionForKeywordMessage1: nodes

	| stream |

	stream := WriteStream on: (String new: 30).

	stream nextPutAll: (nodes at: 1) value.

	^Array with: stream with: (OrderedCollection with: (nodes at: 2))

!

reduceActionForKeywordMessage2: nodes

	(nodes at: 1) first nextPutAll: (nodes at: 2) value.

	(nodes at: 1) last add: (nodes at: 3).

	^nodes at: 1

!

reduceActionForKeywordMethodName1: nodes

	| stream |

	stream := WriteStream on: (String new: 30).

	stream nextPutAll: (nodes at: 1) value.

	^Array with: stream with: (OrderedCollection with: (nodes at: 2))

!

reduceActionForKeywordMethodName2: nodes

	(nodes at: 1) first nextPutAll: (nodes at: 2) value.

	(nodes at: 1) last add: (nodes at: 3).

	^nodes at: 1

!

reduceActionForLiteral10: nodes

	^(nodes at: 2) value asSymbol

!

reduceActionForLiteral11: nodes

	^(nodes at: 2) value asSymbol

!

reduceActionForLiteral12: nodes

	^(nodes at: 2) value asSymbol

!

reduceActionForLiteral13: nodes

	^(nodes at: 3) contents

!

reduceActionForLiteral14: nodes

	^(nodes at: 3) contents

!

reduceActionForLiteral15: nodes

	^(nodes at: 3) value asQualifiedReference

!

reduceActionForLiteral16: nodes

	^(nodes at: 3) value asQualifiedReference

!

reduceActionForLiteral1: nodes

	^true

!

reduceActionForLiteral2: nodes

	^false

!

reduceActionForLiteral3: nodes

	^nil

!

reduceActionForLiteral4: nodes

	^(nodes at: 1) value

!

reduceActionForLiteral5: nodes

	^(nodes at: 1) value

!

reduceActionForLiteral6: nodes

	^(nodes at: 1) value at: 2

!

reduceActionForLiteral7: nodes

	^((nodes at: 1) value copyFrom: 2 to: (nodes at: 1) value size - 1) 

		copyReplaceAll: ''''''

		with: ''''

!

reduceActionForLiteral8: nodes

	^(((nodes at: 2) value copyFrom: 2 to: (nodes at: 2) value size - 1) 

		copyReplaceAll: ''''''

		with: '''') asSymbol

!

reduceActionForLiteral9: nodes

	^(nodes at: 2) value asSymbol

!

reduceActionForMethod1: nodes

	^RBMethodNode 

		selector: (nodes at: 1) value asSymbol

		arguments: #()

		body: (nodes at: 2) last

!

reduceActionForMethod2: nodes

	^RBMethodNode 

		selector: (nodes at: 1) first

		arguments: (nodes at: 1) last

		body: (nodes at: 2) last

!

reduceActionForMethod3: nodes

	^RBMethodNode 

		selector: (nodes at: 1) first contents asSymbol

		arguments: (nodes at: 1) last

		body: (nodes at: 2) last

!

reduceActionForMethodSequenceNode1: nodes

	^Array with: ((nodes at: 1)

				addAll: (nodes at: 5);

				yourself)

		with: (RBSequenceNode temporaries: (nodes at: 3) statements: (nodes at: 6))

!

reduceActionForMethodSequenceNode2: nodes

	^Array with: ((nodes at: 1)

				addAll: (nodes at: 3);

				yourself)

		with: (RBSequenceNode temporaries: #() statements: (nodes at: 4))

!

reduceActionForMethodSequenceNode3: nodes

	^Array with: (nodes at: 1)

		with: (RBSequenceNode temporaries: #() statements: (nodes at: 2))

!

reduceActionForOptional_____1: nodes

	^nil

!

reduceActionForOptional_____2: nodes

	^nodes at: 1

!

reduceActionForPrimary2: nodes