xtext - How to check whether an XFeatureCall actually refers to something -

when i'm scanning ast want check whether element of type xfeaturecall can resolved.

concrete example:

val x = 2 val y = x + z

i know that

val y = <xfeaturecall> + <xfeaturecall>

but xfeaturecall "z" should give true (when applying yet found predicate i'm searching).

so far haven't been able find pattern. except every unresolvable variable satisfies following condition:

fc means xfeaturecall

fc.feature instanceof jvmvoid && !fc.explicitoperationcall

this not enough. because sees "system.out.println"

note: use treeiterator root ast element

if necessary examine how xbasecompiler prefer not :)

the proper check fc.feature.eisproxy check whether feature not resolved. mean 'it sees system.out.println'?

Detect