Eclipse Community Forums: TMF (Xtext)

Help

Home

Home » Modeling » TMF (Xtext) » xtext noobie doubt

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

xtext noobie doubt [message #1263551]

Tue, 04 March 2014 15:33

Junior A

Messages: 2
Registered: March 2014

Junior Member

i have this xtext grammar

Program:
'program' name=ID '{'
type=Type
'}'
;

Type:
{Type}
'type' '{'
list+=ListType*
'}'
;

ListType:
name=ID '{'
funcs+=SubType*
'}'
;

SubType:
name=ID '()'
;

Verify:
subsys=[ListType] '.' cname=[SubType] '()'
;

now lets say i do:

program test{

subsystems {
A{
B()
}
}

}

and I want to use Verify rule with something like
A.B()

how can i make it recognize that B is from A ?

Report message to a moderator

Re: xtext noobie doubt [message #1263643 is a reply to message #1263551]

Tue, 04 March 2014 17:04

Christian Dietrich

Messages: 13641
Registered: July 2009

Senior Member

Hi,

the keyword for that is called "scoping"

something like (pseudo code)

IScope scope_Verify_cname(Verify ctx, EReference r) {
return Scopes.scopeFor(ctx.getSubsys().getfuncs());
}

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