Eclipse Community Forums: TMF (Xtext) » Scope for custom XVariableDeclaration

Help

Home

Home » Modeling » TMF (Xtext) » Scope for custom XVariableDeclaration

Show: Today's Messages :: Show Polls :: Message Navigator

Scope for custom XVariableDeclaration [message #1758721]

Sat, 01 April 2017 00:04

Daniel Cardin

Messages: 109
Registered: July 2009

Senior Member

Hello everyone,

This is a fragment of my grammar:

Const returns xbase::XVariableDeclaration:
	(=>(type=JvmTypeReference name=ValidID) | name=ValidID) '=' right=XExpression
	;

And my inferrer

// Constants
rule.consts.forEach[ const | 
	inferredClass.members += rule.toField(const.name, const.type) => [
		initializer = const.right
		final = true
	]	
]

This works exactly as expected. The generated code is perfect. But even if I used the constant in some code generated within the class, the editor shows "The value of the local variable XYZ is not used" because in the scope of the dsl model there are no references to it. But in the generated code the warning does not exist, because the const is actually used.

So it's clearly looks to me like a scope validation that fails. But I don't know where I could change it so that the warning disappears.

Thanks for your suggestions

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758729 is a reply to message #1758721]

Sat, 01 April 2017 06:55

Christian Dietrich

Messages: 14497
Registered: July 2009

Senior Member

You may debug at XExpressionHelper hasSideEffects

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758734 is a reply to message #1758729]

Sat, 01 April 2017 12:32

Daniel Cardin

Messages: 109
Registered: July 2009

Senior Member

Some time ago, this would have needed much more explanations than that!

Thanks for your help Christian Smile

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758735 is a reply to message #1758734]

Sat, 01 April 2017 12:47

Daniel Cardin

Messages: 109
Registered: July 2009

Senior Member

Well, even if I knew exactly what you were talking about, it seems like it has no incidence on the warning.
I'll ask the question in another way that might point you in the right direction.

In an XBlockExpression：
{
val a = 3
println('something else')
}

In that block, the value a will be flagged as unused. How does that happen? Where is the scoping done that checks that a is declared but not used in the following statements?

Thanks!

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758739 is a reply to message #1758735]

Sat, 01 April 2017 14:18

Christian Dietrich

Messages: 14497
Registered: July 2009

Senior Member

No scoping . Have a look where the expression helper is used in the validator

and org.eclipse.xtext.xbase.validation.XbaseValidator.isLocallyUsed(EObject, EObject) and its usages

Need professional support for Xtext, Xpand, EMF?
Go to: https://www.itemis.com/en/it-services/methods-and-tools/xtext
Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

[Updated on: Sat, 01 April 2017 14:21]

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758749 is a reply to message #1758739]

Sat, 01 April 2017 16:46

Daniel Cardin

Messages: 109
Registered: July 2009

Senior Member

I'll have a look at that. Thanks Christian

Report message to a moderator

Re: Scope for custom XVariableDeclaration [message #1758750 is a reply to message #1758729]

Sat, 01 April 2017 17:53

Daniel Cardin

Messages: 109
Registered: July 2009

Senior Member

I thought I understood why you wanted me to look at the ExpressionHelper, but seriously, I don't.

However, for the record, this does the trick:
In my validator :

override checkLocalUsageOfDeclared(XVariableDeclaration variableDeclaration) {
	if (variableDeclaration.eContainer instanceof Rule == false) {
		super.checkLocalUsageOfDeclared(variableDeclaration);
	}
}

I check that the container is the one I'm expecting and I simply disable the validation if it's in that context. I cannot think of any simpler way to do it.

Thanks for your time, though.

Report message to a moderator