Eclipse Community Forums: TMF (Xtext) » xtext add cross reference in expression

Home

Home » Modeling » TMF (Xtext) » xtext add cross reference in expression(xtext add cross reference in expression)

xtext add cross reference in expression [message #1742484]

Fri, 02 September 2016 07:11

Eclipse User

Hi,

How to use cross reference of a method implementation in an expression in xtext?

Re: xtext add cross reference in expression [message #1742490 is a reply to message #1742484]

Fri, 02 September 2016 07:50

Eclipse User

What is your actual question. Please explain

Re: xtext add cross reference in expression [message #1742495 is a reply to message #1742490]

Fri, 02 September 2016 08:02

Eclipse User

Hi,

I have to cross reference the methods using in expressions.

I have my grammar like :

Call: 'call' procRef=[Proc] callExp=CompleteExpression?;

Proc: ('string'|'double')? 'proc' name=ID procExp=CompleteExpression?;

Which works fine for

call test();

proc test()
{
}

But I want to cross reference the proc when call used in expression like abc = test();

For this I am using grammar like

Assignment: name=('math')? (precision=Precision)? (assignExp+=Expression) (=>'=' procRef=[Proc] assignExp+=Expression);

But no luck. If I make procRef optional in the grammar, cross reference is not working at all.

Re: xtext add cross reference in expression [message #1742496 is a reply to message #1742495]

Fri, 02 September 2016 08:07

Eclipse User

Please try this with a hello world grammar

Re: xtext add cross reference in expression [message #1742502 is a reply to message #1742496]

Fri, 02 September 2016 09:03

Eclipse User

Yes I tried. The result is same.

Re: xtext add cross reference in expression [message #1742504 is a reply to message #1742502]

Fri, 02 September 2016 09:19

Eclipse User

Please share that minimal example.

Re: xtext add cross reference in expression [message #1742506 is a reply to message #1742504]

Fri, 02 September 2016 09:25

Eclipse User

Call: 'call' procRef=[Proc] callExp=CompleteExpression?;

Proc: ('string'|'double')? 'proc' name=ID procExp=CompleteExpression?;

OpenAssignment: args+=Assignment ','?;

Assignment: name=('math')? (precision=Precision)? (assignExp+=Expression) (=>'=' assignExp+=Expression);

Precision: (width=NUMBER)|((width=NUMBER)?'.'(decimal_places=NUMBER));

ArrayDecl : {ArrayDecl} ('[' ']') | ('[' size=CompleteExpression ']');

Parenthesis : {Parenthesis} ('(' ')') | ('(' size=CompleteExpression ')');

Initialize : {Initialize} ('{' '}')|('{' args=CompleteExpression '}');

Expression:
LogicalOr
;
LogicalOr returns Expression:
BitwiseOr ({LogicalOr.left=current} '||' right=BitwiseOr)*
;
BitwiseOr returns Expression:
LogicalAnd ({BitwiseOr.left=current} '|' right=LogicalAnd)*
;
LogicalAnd returns Expression:
BitwiseAnd ({LogicalAnd.left=current} '&&' right=BitwiseAnd)*
;
BitwiseAnd returns Expression:
Equivalency ({BitwiseAnd.left=current} '&' right=Equivalency)*
;
Equivalency returns Expression:
Relational ({Equivalency.left=current} ('=='|'!=') right=Relational)*
;
Relational returns Expression:
PlusMinus ({Relational.left=current} ('>='|'<='|'>'|'<') right=PlusMinus)*
;
PlusMinus returns Expression:
DivMult ({PlusMinus.left=current} ('+'|'-') right=DivMult)*
//DivMult | ({PlusMinus} ('+'|'-') expr=DivMult)
;
DivMult returns Expression:
LogicalNot ({DivMult.left=current} ('/'|'*') right=LogicalNot)*
;
LogicalNot returns Expression:
//OnesComplement ({LogicalNot.left=current} ('!') right=LogicalNot)*
OnesComplement | ({LogicalNot} ('!') expr=OnesComplement)
;
OnesComplement returns Expression:
Exponentiation ({OnesComplement.left=current} ('~') right=Exponentiation)*
;
Exponentiation returns Expression:
ColonOperator ({Exponentialtion.left=current} '^' right=ColonOperator)*
;
ColonOperator returns Expression:
PercentOperator | ({ColonOperator} (':'('+')?) expr=PercentOperator)
;
PercentOperator returns Expression:
ArrowExpression | ({PercentOperator} ('%'|'%t'|'%.'|'%:') expr=ArrowExpression)
;
ArrowExpression returns Expression:
Concatenation ({ArrowExpression.left=current} '->' right=Concatenation)*
;
Concatenation returns Expression:
Primary ({Concatenation.left=current} '##' right=Primary)*
;
Primary returns Expression: {Expression}
('+'|'-')? name=NUMBER | name=STRING | name=ID (ArrayDecl=ArrayDecl? & Parenthesis=Parenthesis?) |
ArrayDecl=ArrayDecl | Parenthesis=Parenthesis | Initialize=Initialize | LibraryFunc=LibraryFunc
;
GSD returns Expression: name=ID {GSD.left=current} ('[' occurence=(NUMBER|STRING) ']')?('(' m=NUMBER (',' (n=NUMBER))? ')')? '->' right=ID;

CompleteExpression:
CompleteExpression+=Expression (','? CompleteExpression+=Expression)*
;

terminal DBMS: ('DBMS'|'Dbms'|'dbms') (('\\'((' '|'\t')* '\r'? '\n')) | !('\n' | '\r'))*;

terminal ID : ((':'('+')?)?|('+'|'-')?)('a'..'z'|'A'..'Z'|'$'|'.'|'@'|'_')('a'..'z'|'A'..'Z'|'$'|'.'|'0'..'9'|'@'|'*'|'_'|'!')*;

terminal STRING : '"' ( '\\'('"'|('\r'? '\n')) | !('\n'|'"') )* '"' |
"'" ( '\\'("'"|('\r'? '\n')) | !('\n'|"'") )* "'";

terminal SL_COMMENT: '//' !('\n' | '\r')*;

terminal HASH_COMMENT : ('#'('\r'? '\n')?) | ('#' !('#'|'\n'|'\r')+ ('\r'? '\n')?) | (('#''#''#') !('\n'|'\r')* ('\r'? '\n')?);

terminal WS : (' '|'\t'| ('\\'((' '|'\t')* '\r'? '\n')))+;

terminal NL : ('\r'? '\n')+;

terminal NUMBER: (OCTAL|FLOAT|INT|BINARY|HEX);

terminal OCTAL returns ecore::EInt: ('0') ('0'..'7')+;

terminal FLOAT returns ecore::EFloat: ('0'..'9' ('0'..'9')*) '.' ('0'..'9')*;

terminal INT returns ecore::EInt: '0'..'9' ('0'..'9')*;

terminal RANGE: '0'..'9' '..' ('0'..'9')*;

terminal BINARY returns ecore::EInt: ('0b'|'0B') ('0'|'1')+;

terminal HEX returns ecore::EInt:('0x'|'0X')('0'..'9'|'a'..'f'|'A'..'F')+;

[Updated on: Fri, 02 September 2016 09:26] by Moderator

Re: xtext add cross reference in expression [message #1742507 is a reply to message #1742506]

Fri, 02 September 2016 09:27

Eclipse User

Sry that grammar is too big to give any support

Re: xtext add cross reference in expression [message #1742701 is a reply to message #1742507]

Tue, 06 September 2016 12:58

Eclipse User

This is the minimal grammar to reproduce the problem.

Re: xtext add cross reference in expression [message #1742703 is a reply to message #1742701]

Tue, 06 September 2016 13:01

Eclipse User

it is not.

i e.g. do not understand why BitwiseAnd is in the "not minimal" grammar

Re: xtext add cross reference in expression [message #1742757 is a reply to message #1742703]

Wed, 07 September 2016 09:29

Eclipse User

Oh Ok.

Is it fine?

Call: 'call' procRef=[Proc] callExp=Expression?;

Proc: ('string'|'double')? 'proc' name=ID procExp=Expression?;

OpenAssignment: args+=Assignment;

Assignment: name=('math')? (precision=Precision)? (assignExp+=Expression);

Precision: (width=NUMBER)|((width=NUMBER)?'.'(decimal_places=NUMBER));

ArrayDecl : {ArrayDecl} ('[' ']');

Parenthesis : {Parenthesis} ('(' ')');

Expression:
Equivalency
;
Equivalency returns Expression:
Primary ({Equivalency.left=current} ('=='|'!='|'=') right=Primary)*
;
Primary returns Expression: {Expression}
('+'|'-')? name=NUMBER | name=STRING | name=ID (ArrayDecl=ArrayDecl? & Parenthesis=Parenthesis?) |
ArrayDecl=ArrayDecl | Parenthesis=Parenthesis
;

Re: xtext add cross reference in expression [message #1742760 is a reply to message #1742757]

Wed, 07 September 2016 09:35

Eclipse User

My problem is I don't want to show warning if it not find cross reference in expression.

index.php/fa/26986/0/

Attachment: procref.png
(Size: 5.98KB, Downloaded 328 times)

Re: xtext add cross reference in expression [message #1742762 is a reply to message #1742757]

Wed, 07 September 2016 09:38

Eclipse User

yes although the definition of number is missing. and a rule that builds the model file.

if i improvise like
Model:
(elements+=Call | elements+=Proc | elements+=OpenAssignment)+
;

i get a lot of warning regarding ambiguity.

so thus i need

(a) a small grammar
(b) a complete grammar
(c) a test model

Re: xtext add cross reference in expression [message #1742763 is a reply to message #1742762]

Wed, 07 September 2016 09:39

Eclipse User

and about the warning or whatever: i already told you what to do

Re: xtext add cross reference in expression [message #1742765 is a reply to message #1742763]

Wed, 07 September 2016 09:44

Eclipse User

I extended LinkingDiagnosticMessageProvider for warningmessage but I don't understand how to get type of rule at that particular context.

Can I get the complete text of that context?

[Updated on: Wed, 07 September 2016 09:46] by Moderator

Re: xtext add cross reference in expression [message #1742769 is a reply to message #1742765]

Wed, 07 September 2016 09:51

Eclipse User

see other question you asked

Previous Topic:	Bidirectional imports
Next Topic:	Confusion about terminals

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 27 14:31:16 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter