Eclipse Community Forums: TMF (Xtext) » Problems with XSemantics in Xtext

Help

Home

Home » Modeling » TMF (Xtext) » Problems with XSemantics in Xtext(do not know how to test the XSemantics rules)

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

Problems with XSemantics in Xtext [message #1723306]

Sun, 14 February 2016 01:58

Han Li Koay

Messages: 25
Registered: February 2016

Junior Member

Hi, I am a newbie in Xtext. My school assignment requires me to create a simple DSL with if else statement and some expressions. So, my grammar needs some type checking.

I came across with XSemantics and started to use it by referring to the documentation and examples written by Lorenzo Bettini. There is one example "An Expression Language" from his documentation fits my requirement perfectly. However, i did not know how to test the code written in XSemantics. Because nothing changes even if i run it as a new Eclipse application like how i test my grammar in Xtext.

Is there any necessary steps to be done except writing the judgement rules? I really really need some guidance on this! Any help would be appreciated! Smile

Report message to a moderator

Re: Problems with XSemantics in Xtext [message #1723319 is a reply to message #1723306]

Sun, 14 February 2016 06:43

Christian Dietrich

Messages: 14665
Registered: July 2009

Senior Member

Hi did you Tell xsemantics to hook into the generator using the validatorextends clause and having at least one check rule?

https://github.com/LorenzoBettini/xsemantics/blob/master/examples/it.xsemantics.example.expressions/src/it/xsemantics/example/expressions/typing/expressions-first.xsemantics

Twitter : @chrdietrich
Blog : https://www.dietrich-it.de

Report message to a moderator

Re: Problems with XSemantics in Xtext [message #1723320 is a reply to message #1723319]

Sun, 14 February 2016 08:43

Han Li Koay

Messages: 25
Registered: February 2016

Junior Member

Hi Christian, it works perfectly now! It seems that my validatorExtends clause is not properly used. Thanks a lot for the help! Very Happy

Report message to a moderator

Re: Problems with XSemantics in Xtext [message #1723333 is a reply to message #1723320]

Sun, 14 February 2016 15:24

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 14/02/2016 09:43, Han Li Koay wrote:
> Hi Christian, it works perfectly now! It seems that my validatorExtends
> clause is not properly used. Thanks a lot for the help! :d

Hi Han

Xsemantics' documentation explicitly mentions how to use the type system
generated code in your DSL, by modifying your validator and by using
validatorExtends :)

http://xsemantics.sourceforge.net/xsemantics-documentation/XsemanticsSyntax.html#GeneratedValidator

hope you enjoy Xsemantics ;)

cheers
Lorenzo

--
Prof. Lorenzo Bettini, Computer Science, DISIA, Univ. Firenze
HOME: http://www.lorenzobettini.it
Xtext Book:
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book

HOME: http://www.lorenzobettini.it
TDD Book: https://leanpub.com/tdd-buildautomation-ci
Xtext Book: https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition

Report message to a moderator

Re: Problems with XSemantics in Xtext [message #1723435 is a reply to message #1723333]

Mon, 15 February 2016 16:22

Han Li Koay

Messages: 25
Registered: February 2016

Junior Member

Hi Lorenzo,

Another quick question, Is there any definition for all the judgement and relation symbols to guide me on how to use them?

Thanks

Report message to a moderator

Re: Problems with XSemantics in Xtext [message #1723547 is a reply to message #1723435]

Tue, 16 February 2016 14:12

Lorenzo Bettini

Messages: 1812
Registered: July 2009
Location: Firenze, Italy

Senior Member

On 15/02/2016 17:22, Han Li Koay wrote:
> Hi Lorenzo,
>
> Another quick question, Is there any definition for all the judgement
> and relation symbols to guide me on how to use them?
>
> Thanks
>

Hi

currently the list of all the available judgment and relation symbols
are not available in the documentation. Please file an issue about that.

Please, remember that the symbols to use are only your own decision.

cheers
Lorenzo

--
Prof. Lorenzo Bettini, Computer Science, DISIA, Univ. Firenze
HOME: http://www.lorenzobettini.it
Xtext Book:
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book

Report message to a moderator

Previous Topic:	Xtend Specific Issue
Next Topic:	JvmModelInferrer for CodeGeneration from existing model

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 16:52:11 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter