Eclipse Community Forums: TMF (Xtext) » Validator for my language

Help

Home

Home » Modeling » TMF (Xtext) » Validator for my language(I can not write validation methods for my language)

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

Validator for my language [message #1750817]

Thu, 29 December 2016 11:36

Yves LEDUC

Messages: 56
Registered: May 2015

Member

I wrote the grammar of a DSL
I follow the validation of the identifiers.
For type declarations I have the following grammar rules:

TypesDecl: {TypesDecl} 'Type:' types+=TypeDecl*;
TypeDecl: type=Type ':' name=TypeName exts=ExtsName?;

TypeName: name=ValidID;

And the validation method

@Check
def checkTypeNameStartsWithUpperCaseEndsWith_t(TypeName typeName) {
if (!Character.isUpperCase(typeName.name.charAt(0)) || !typeName.name.endsWith("_t"))
warning( TYPE_MSG, AlgorithmicPackage.Literals.TYPE_NAME__NAME)
}

In use I have:

Type:
String: Texte_t

If I delete the T in the header or the final _t in the editor, a warning is displayed. It's OK.

But now doing something similar for the modules:

Module:
'Module' name=ModuleName parameters=Parameters
'Début'
statements+=Statement*
'Fin';

ModuleName: name=ValidID;

Then:

@Check
def checkModuleNameStartsWithLowerCase(ModuleName moduleName) {
if (!Character.isLowerCase(moduleName.name.charAt(0)))
X warning( MODULE_MSG, AlgorithmicPackage.Literals.MODULE_NAME__NAME)
}

The warning shows me an error for MODULE_NAME__NAME and the wizard offers me only:
MODULE__NAME: EReference - Literals
MODULE_NAME: EClass - Literals

Which do not work (any more than other proposals that have nothing to do).
I can not figure out what's going on.
Why does it work for one and not for the other?

Thanks in advance.

Report message to a moderator

Re: Validator for my language [message #1750818 is a reply to message #1750817]

Thu, 29 December 2016 11:43

Christian Dietrich

Messages: 14496
Registered: July 2009

Senior Member

can you please share a complete reproducible grammar

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: Validator for my language [message #1750820 is a reply to message #1750817]

Thu, 29 December 2016 14:21

Yves LEDUC

Messages: 56
Registered: May 2015

Member

Thank you for reading my post.
Attached is the complete test project of the Algorithmic language

I tried to send the full project but this caused a mistake!

Thanks

Attachment: Algorithmic.xtext
(Size: 11.09KB, Downloaded 69 times)
Attachment: validation.zip
(Size: 1.93KB, Downloaded 82 times)

Report message to a moderator

Re: Validator for my language [message #1750826 is a reply to message #1750820]

Thu, 29 December 2016 16:19

Christian Dietrich

Messages: 14496
Registered: July 2009

Senior Member

public interface ModuleName extends StatementName, ExpressionName

getName is in ExpressionName (Xtext moves common features up to the supertype

=> MyDslPackage.Literals.EXPRESSION_NAME__NAME

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: Validator for my language [message #1750827 is a reply to message #1750826]

Thu, 29 December 2016 16:33

Yves LEDUC

Messages: 56
Registered: May 2015

Member

Ok this is what I used for the type
warning (TYPE_MSG, AlgorithmicPackage.Literals.TYPE_NAME__NAME)
But :
error(CONST_MSG, AlgorithmicPackage.Literals.CONST_NAME__NAME )

Causes an error:
The method or field CONST_NAME__NAME is undefined for the type Class<Literals>
This is my problem, what works with types I can not seem to adapt to Constants and Variables.
(Thank you for your publication on the Internet that I read with great interest)

Report message to a moderator

Re: Validator for my language [message #1750828 is a reply to message #1750827]

Thu, 29 December 2016 16:45

Yves LEDUC

Messages: 56
Registered: May 2015

Member

Ok it works, I did not really understand why but it works.

Thank you very much for your help.
It's the magic of the Internet we always find someone who has the solution!

Yves

Report message to a moderator

Previous Topic:	how to run junit test from maven
Next Topic:	in-editor error message on the wrong cross-reference

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sun Jun 04 18:55:32 GMT 2023

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter