CASTParserTests.class.st

"
A few tests to explore the ambiguity of a GLR grammar.


"
Class {
	#name : #CASTParserTests,
	#superclass : #TestCase,
	#category : #'CAST-Tests'
}

{ #category : #examples }
CASTParserTests class >> ambiguityAsAttribute [
	<example>
	| block |
	block := [ :in :others | 
	in
		ifNotNil: [ in isCollection
				ifTrue: [ 1 to: in size do:
						[ :i | block value: (in at: i) value: (others collect: [ :e | e at: i ]) ] ]
				ifFalse: [ others do: [ :i | in ambiguous: i ] ] ] ].
	^ [ CASTParser
		parse:
			' void f(int i) {
	i * i;
} ' ]
		on: SmaCCAmbiguousResultNotification
		do: [ :ex | 
			| results |
			results := ex tag
				collect: [ :t | t performOnSmaCCParser: ex parser ].
			block value: results first value: results allButFirst.
			ex resume: results first ]
]

{ #category : #examples }
CASTParserTests class >> ambiguityAsAttribute2 [
	<example>
	| block |
	block := [ :in :others | 
	in
		ifNotNil: [ in isCollection
				ifTrue: [ 1 to: in size do:
						[ :i | block value: (in at: i) value: (others collect: [ :e | e at: i ]) ] ]
				ifFalse: [ others do: [ :i | in ambiguous: i ] ] ] ].
	^ [ CASTParser parse: ' int i;' ]
		on: SmaCCAmbiguousResultNotification
		do: [ :ex | 
			| results |
			results := ex tag
				collect: [ :t | t performOnSmaCCParser: ex parser ].
			block value: results first value: results allButFirst.
			ex resume: results first ]
]

{ #category : #examples }
CASTParserTests class >> ambiguityAsAttribute3 [
	<example>
	| block |
	block := [ :in :others | 
	in
		ifNotNil: [ in isCollection
				ifTrue: [ 1 to: in size do:
						[ :i | block value: (in at: i) value: (others collect: [ :e | e at: i ]) ] ]
				ifFalse: [ in attributeNamed: #ambiguous put: others ] ] ].
	^ [ CASTParser
		parse:
			' int i; void f() { i * i; }' ]
		on: SmaCCAmbiguousResultNotification
		do: [ :ex | 
			| results |
			results := ex tag
				collect: [ :t | t performOnSmaCCParser: ex parser ].
			block value: results first value: results allButFirst.
			ex resume: results first ]
]

{ #category : #examples }
CASTParserTests class >> inspectingAmbiguousNotification [
	<example>
	[ CASTParser
		parse:
			' void f(int i) {
	i * i;
} ' ]
		on: SmaCCAmbiguousResultNotification
		do: [ :ex | 
			ex inspect.
			ex resume: ex tag first ]
]

{ #category : #examples }
CASTParserTests class >> inspectingAmbiguousNotificationWithHalt [
	<example>
	[ CASTParser
		parse:
			'typedef int i;
void f() {
	i * i;
}' ]
		on: SmaCCAmbiguousResultNotification
		do: [ :ex | 
			self halt.
			ex resume: ex tag first ]
]

{ #category : #'tests-declarators' }
CASTParserTests >> assertIntDeclaration: aDeclaration [

	| declarationSpecifiers |
	declarationSpecifiers := aDeclaration specifiers.

	self assert: declarationSpecifiers first value equals: 'int'.
	self assert: aDeclaration declarators size equals: 1.
]

{ #category : #helpers }
CASTParserTests >> parseDeclaration: aStratement [

	| unit |
	unit := CASTParser parse: 'int f(){ 
		', aStratement ,';
	}'.

	^ unit declarations first declarations first
]

{ #category : #helpers }
CASTParserTests >> parseExpression: anExpression [

	
	^ self parseStatement: anExpression, ';'
]

{ #category : #helpers }
CASTParserTests >> parseStatement: aStratement [

	| unit |
	unit := CASTParser parse: 'int f(){ 
		', aStratement ,'
	}'.
	
	^ unit declarations first statements first
]

{ #category : #'tests-assignment' }
CASTParserTests >> testParseAccumulatingAssignment [

	| assignment |
	assignment := self parseExpression: 'a += 1'.
	
	self assert: assignment isExpression.
	self assert: assignment lvalue name equals: 'a'.
	self assert: assignment operator equals: '+='.
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseAddition [

	| expression |
	expression := self parseExpression: 'a+2'.
	
	self assert: expression isExpression.
	self assert: expression isBinaryOperation.
	self assert: expression operator equals: '+'
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseAdditionPrecedence [

	| expression |
	expression := self parseExpression: 'a+2+1'.
	
	self assert: expression isExpression.
	self assert: expression isBinaryOperation.
	self assert: expression operator equals: '+'.

	self assert: expression left isExpression.
	self assert: expression left isBinaryOperation.
	self assert: expression left operator equals: '+'.
	self assert: expression left left name equals: 'a'.
	self assert: expression left right value equals: '2'.
	
	self assert: expression right value equals: '1'.

	

]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseAdressOf [

	| expression |
	expression := self parseExpression: '&a'.
	
	self assert: expression isUnaryOperation.
	self assert: expression operator equals: '&'
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseArrayDeclarationWithInitializer [

	| declaration initDeclarator smaCCToken arrayDeclarator |
	declaration := self parseDeclaration: 'int a[] = foo()'.

	initDeclarator := declaration declarators first.
	smaCCToken := declaration specifiers first.

	self assert: smaCCToken value equals: 'int'.
	self assert: initDeclarator isInitializerDeclarator.
	self assert: initDeclarator initializer isFunctionCall.

	"Inside the initializer declarator is the array declarator"
	arrayDeclarator := initDeclarator declarator.
	self assert: arrayDeclarator isArrayDeclarator.
	self assert: arrayDeclarator size equals: nil.
	self assert: arrayDeclarator declarator name equals: 'a'.
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseArrayDeclarationWithSize [

	| declaration arrayDeclarator smaCCToken |
	declaration := self parseDeclaration: 'int a[17]'.

	self assert: declaration specifiers size value equals: 1.
		
	arrayDeclarator := declaration declarators first.
	smaCCToken := declaration specifiers first.

	self assert: smaCCToken value equals: 'int'.
	self assert: arrayDeclarator isArrayDeclarator.

	self assert: arrayDeclarator size value equals: '17'.
	self assert: arrayDeclarator declarator name equals: 'a'.
]

{ #category : #'tests-basic expressions' }
CASTParserTests >> testParseArrayNode [

	| expression |
	expression := self parseExpression: 'a[1]'.
		
	self assert: expression isExpression.
	self assert: expression isArrayAccessNode.
	self assert: expression array name equals: 'a'.
	self assert: expression index value equals: '1'.
]

{ #category : #'tests-assignment' }
CASTParserTests >> testParseAssignment [

	| assignment |
	assignment := self parseExpression: 'a = 1'.
	
	self assert: assignment isExpression.
	self assert: assignment lvalue name equals: 'a'.
	self assert: assignment operator equals: '='.
]

{ #category : #'tests-calls' }
CASTParserTests >> testParseCall [

	| expression |
	expression := self parseExpression: 'toto()'.
	
	self assert: expression isExpression.
	self assert: expression isFunctionCall.
	self assert: expression identifier name equals: 'toto'.
	self assert: expression arguments isEmpty.
]

{ #category : #'tests-calls' }
CASTParserTests >> testParseCallWithArguments [

	| expression |
	expression := self parseExpression: 'toto(1, foo(), 1+2)'.
	
	self assert: expression isExpression.
	self assert: expression isFunctionCall.
	self assert: expression identifier name equals: 'toto'.
	self assert: expression arguments first isConstant.
	self assert: expression arguments second isFunctionCall.
	self assert: expression arguments third isBinaryOperation.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseCastExpression [

	| statement typeSpecifiers |
	statement := self parseStatement: '(int)2.1;'.
	typeSpecifiers := statement type specifiers.
	
	self assert: statement isCastExpression.
	self assert: typeSpecifiers first value equals: 'int'
]

{ #category : #'tests-basic expressions' }
CASTParserTests >> testParseCommaSeparatedExpression [

	| expression commaSeparatedExpression |
	expression := self parseExpression: 'a = (1,foo(2),1+2)'.

	commaSeparatedExpression := expression rvalue.
	self assert: commaSeparatedExpression isCommaSeparatedExpression.
	self assert: commaSeparatedExpression expressions first isConstant.
	self assert: commaSeparatedExpression expressions second isFunctionCall.
	self assert: commaSeparatedExpression expressions third isBinaryOperation.
]

{ #category : #'tests-compound statements' }
CASTParserTests >> testParseCompoundStatement [

	| statement |
	statement := self parseStatement: '{
		1;
		2;
		3;
	}'.
		
	self assert: statement isCompoundStatement.
	self assert: statement statements first value equals: '1'.
	self assert: statement statements second value equals: '2'.
	self assert: statement statements third value equals: '3'.
]

{ #category : #'tests-assignment' }
CASTParserTests >> testParseDecrementingAssignment [

	| assignment |
	assignment := self parseExpression: 'a -= 1'.
	
	self assert: assignment isExpression.
	self assert: assignment lvalue name equals: 'a'.
	self assert: assignment operator equals: '-='.
]

{ #category : #'tests-assignment' }
CASTParserTests >> testParseDividingAssignment [

	| assignment |
	assignment := self parseExpression: 'a /= 1'.
	
	self assert: assignment isExpression.
	self assert: assignment lvalue name equals: 'a'.
	self assert: assignment operator equals: '/='.
]

{ #category : #'tests-compound statements' }
CASTParserTests >> testParseEmptyCompoundStatement [

	| statement |
	statement := self parseStatement: '{
	}'.
		
	self assert: statement isCompoundStatement.
	self assert: statement statements isEmpty
]

{ #category : #'tests-basic expressions' }
CASTParserTests >> testParseEmptyStatement [

	| unit |
	unit := CASTParser parse: 'int f(int toto){ ; } '.
	self assert: unit declarations first statements first isEmptyStatement.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseFloatingPointConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		17.2333;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '17.2333'.
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseFunctionDeclarator [

	| declaration declarator |
	declaration := self parseDeclaration: 'int f(void)'.

	self assertIntDeclaration: declaration.
	declarator := declaration declarators first.
	self assert: declarator isFunctionDeclarator.
	self assert: declarator declarator name equals: 'f'.
	self assert: declarator parameters size equals: 1.
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseFunctionPointerDeclarator [

	| declaration declarator |
	declaration := self parseDeclaration: 'int (*pf)(void)'.

	self assertIntDeclaration: declaration.
	declarator := declaration declarators first.
	self assert: declarator isFunctionDeclarator.
	self assert: declarator declarator isPointerDeclarator.
	self assert: declarator declarator declarator name equals: 'pf'.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseGoTo [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){
	goto toto;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isGoTo.
	self assert: firstStatement label isIdentifier.
	self assert: firstStatement label name equals: 'toto'.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseHexadecimalIntegerConstantConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		0x7;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '0x7'.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseHexadecimalIntegerConstantConstant2 [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		0X7;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '0X7'.
]

{ #category : #'tests-basic expressions' }
CASTParserTests >> testParseIdentifier [

	| expression |
	expression := self parseExpression: 'a'.
	
	self assert: expression isExpression.
	self assert: expression isIdentifier.
	self assert: expression name equals: 'a'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseIfElse [

	| statement |
	statement := self parseStatement: 'if (a) {  } else { }'.
	
	self assert: statement isIf.
	self assert: statement else notNil
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseIfNoElse [

	| statement |
	statement := self parseStatement: 'if (a) {  }'.

	self assert: statement isIf.
	self assert: statement else isNil
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseIntegerConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		17;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '17'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseLabelledEmptyStatement [

	| statement |
	statement := self parseStatement: 'label:;'.

	self assert: statement isLabelledStatement.
	self assert: statement label name equals: 'label'.
	self assert: statement case isNil.
	self assert: statement statement isEmptyStatement
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseLabelledStatement [

	| statement |
	statement := self parseStatement: 'label: 1+2;'.

	self assert: statement isLabelledStatement.
	self assert: statement label name equals: 'label'.
	self assert: statement case isNil.
	self assert: statement statement isBinaryOperation
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseLongIntegerConstantConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		7L;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '7L'.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseLongIntegerConstantConstant2 [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		7l;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '7l'.
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseMultiplication [

	| expression |
	expression := self parseExpression: 'a*2'.
	
	self assert: expression isExpression.
	self assert: expression isBinaryOperation.
	self assert: expression operator equals: '*'
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseMultiplicationPrecedenceOverAddition [

	| expression |
	expression := self parseExpression: 'a+2*1'.
	
	self assert: expression isExpression.
	self assert: expression isBinaryOperation.
	self assert: expression operator equals: '+'.

	self assert: expression left name equals: 'a'.

	self assert: expression right isExpression.
	self assert: expression right isBinaryOperation.
	self assert: expression right operator equals: '*'.
	self assert: expression right left value equals: '2'.
	self assert: expression right right value equals: '1'.

	

]

{ #category : #'tests-assignment' }
CASTParserTests >> testParseMultiplyingAssignment [

	| assignment |
	assignment := self parseExpression: 'a *= 1'.
	
	self assert: assignment isExpression.
	self assert: assignment lvalue name equals: 'a'.
	self assert: assignment operator equals: '*='.
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParseNot [

	| expression |
	expression := self parseExpression: '!0'.
	
	self assert: expression isExpression.
	self assert: expression isUnaryOperation.
	self assert: expression operator equals: '!'
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseOctalIntegerConstantConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		07;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '07'.
]

{ #category : #'tests-basic expressions' }
CASTParserTests >> testParseParenthesizedExpression [

	| expression |
	expression := self parseExpression: '(1)'.
	
	self assert: expression isExpression.
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParsePointerDeclarator [

	| declaration declarator |

	declaration := self parseDeclaration: 'int *a'.
	self assertIntDeclaration: declaration.

	declarator := declaration declarators first.
	self assert: declarator isPointerDeclarator.
	self assert: declarator declarator name equals: 'a'.
]

{ #category : #'tests-binary operators' }
CASTParserTests >> testParsePostIncrement [

	| expression |
	expression := self parseExpression: 'a++'.
	
	self assert: expression isIncrement.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseReturnWithExpression [

	| statement |
	statement := self parseStatement: 'return a;'.
	
	self assert: statement isReturn.
	self assert: statement expression notNil
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseReturnWithoutExpression [

	| statement |
	statement := self parseStatement: 'return;'.
	
	self assert: statement isReturn.
	self assert: statement expression isNil
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseSequenceOfDeclarators [

	| declaration declarator declarationSpecifiers |
	declaration := self parseDeclaration: 'int a=1, b=2'.
	declarationSpecifiers := declaration specifiers.

	self assert: declarationSpecifiers first value equals: 'int'.
	self assert: declaration declarators size equals: 2.

	declarator := declaration declarators first.
	self assert: declarator isInitializerDeclarator.
	self assert: declarator initializer isConstant.
	self assert: declarator declarator name equals: 'a'.

	declarator := declaration declarators second.
	self assert: declarator isInitializerDeclarator.
	self assert: declarator initializer isConstant.
	self assert: declarator declarator name equals: 'b'.
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseSimpleArrayDeclaration [

	| declaration declarator |
	declaration := self parseDeclaration: 'int a[]'.
	self assertIntDeclaration: declaration.

	declarator := declaration declarators first.
	self assert: declarator isArrayDeclarator.
	self assert: declarator size equals: nil.
	self assert: declarator declarator name equals: 'a'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseSizeofExpression [

	| statement |
	statement := self parseExpression: 'sizeof *a'.
	
	self assert: statement isSizeof.
	self assert: statement child isUnaryOperation.
	self assert: statement child operator equals: '*'.
	self assert: statement child expression isIdentifier.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseSizeofTypeInt [

	| statement |
	statement := self parseExpression: 'sizeof(int)'.
	
	self assert: statement isSizeof.
	self assert: statement child isTypeNode.
	self assert: statement child specifiers first value equals: 'int'
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseStructDeclarator [

	| declaration structDeclaratorNode smaCCToken specifier structDeclarationNode declarators |
	declaration := (CASTParser parse: 'struct C { int member; } obj;') declarations first.
	
	specifier := declaration specifiers first.
	structDeclarationNode := specifier members first.	
	smaCCToken := structDeclarationNode specifiers first.
	declarators := structDeclarationNode declarators.

	self assert: smaCCToken value equals: 'int'.
	self assert: declarators size equals: 1.

	structDeclaratorNode := declarators first.

	self assert: structDeclaratorNode declarator hasValidName.
	self assert: structDeclaratorNode declarator name equals: 'member'.
	self assert: structDeclaratorNode declarator isIdentifier.
]

{ #category : #'tests-structures' }
CASTParserTests >> testParseStructureAndUnionAccess [

	| expression |
	expression := self parseExpression: 'structOrUnion.field'.
		
	self assert: expression isExpression.
	self assert: expression isMemberAccess.
	self assert: expression object name equals: 'structOrUnion'.
	self assert: expression member name equals: 'field'.
]

{ #category : #'tests-structures' }
CASTParserTests >> testParseStructurePointerAccess [

	| expression |
	expression := self parseExpression: 'strrr->field'.
		
	self assert: expression isExpression.
	self assert: expression isStructPointerAccess.
	self assert: expression structurePointer name equals: 'strrr'.
	self assert: expression member name equals: 'field'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseSwitch [

	| statement case0 case1 |
	statement := self parseStatement: 'switch (a){ case 0: case 1: call(); break;}'.
	
	self assert: statement isSwitch.
	
	self assert: statement if isIdentifier.
	self assert: statement if name equals: 'a'.
	
	self assert: statement statement isCompoundStatement.
	case0 := statement statement statements first.
	self assert: case0 isLabelledStatement.
	self assert: case0 case value equals: '0'.
	
	"Sequential cases are nested"
	case1 := case0 statement.
	self assert: case1 isLabelledStatement.
	self assert: case1 case value equals: '1'.
	
	self assert: case1 statement isFunctionCall.
	
	self assert: statement statement statements second isBreakStatement.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseSwitchWithDefaultCase [

	| statement case0 |
	statement := self parseStatement: 'switch (a){ case 0: call(); default: break;}'.
	
	self assert: statement isSwitch.
	
	self assert: statement if isIdentifier.
	self assert: statement if name equals: 'a'.
	
	self assert: statement statement isCompoundStatement.
	case0 := statement statement statements first.
	self assert: case0 isLabelledStatement.
	self assert: case0 case value equals: '0'.

	self assert: statement statement statements second case value equals: 'default'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseTernary [

	| statement |
	statement := self parseStatement: '(a ? 0 : 1);'.
	
	self assert: statement isTernary.
	self assert: statement then isConstant.
	self assert: statement else isConstant
]

{ #category : #'tests-declarators' }
CASTParserTests >> testParseUnionDeclarator [

	| smaCCToken declaration  specifier declarationNode |
	declaration := (CASTParser parse: 'union C { int member; } obj;') declarations first.
	
	specifier := declaration specifiers first.
	declarationNode := specifier members first.
	smaCCToken := declarationNode specifiers first.
	self assert: smaCCToken value equals: 'int'.
	self assert: declaration declarators size equals: 1.

]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseUnsignedIntegerConstantConstant [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		7U;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '7U'.
]

{ #category : #'tests-numbers' }
CASTParserTests >> testParseUnsignedIntegerConstantConstant2 [

	| unit firstStatement |
	unit := CASTParser parse: 'int f(){ 
		7u;
	}'.
	
	firstStatement := unit declarations first statements first.
	
	self assert: firstStatement isExpression.
	self assert: firstStatement isConstant.
	self assert: firstStatement value equals: '7u'.
]

{ #category : #'tests-control flow' }
CASTParserTests >> testParseWhile [

	| statement |
	statement := self parseStatement: 'while (a) {  }'.
	
	self assert: statement isWhile
]

{ #category : #'tests-control flow' }
CASTParserTests >> testSwitchStatement [

	| statement |
	statement := self parseStatement: 'switch(a){
	case 48: break;
	case 15: break;
	default: break;
}'.
]