Hi Markus,
comments below...
Am 22.10.2012 18:18, schrieb Markus:
> Hi,
>
> I think I found a solution for if a class is added (simply parsing the
> newly resource, since only proxies are generated) and
> deletion (there's a delete method), but changing a resource with
> unloading I'm not sure if this works correctly.
>
> Here's my code:
> public static void changedResource(IResource resource) {
> URI uri = URI.createPlatformResourceURI(resource.getFullPath()
> .toString(), true);
> JavaResource javaresource = (JavaResource) rs.getResource(uri,
> true);
> javaresource.unload();
> }
>
> After unloading a resource, there seems to be an "empty" resource (maybe
> the unloaded resource) and an normal
> resource corresponding to the new changed resource added to the
> ResourceSet. I can't imagine that this is too correct. Or am I mistaken?
Maybe you need to unload the resource before loading it again?
> Another question is: I only find the Class-Descriptors in the
> ResourceSet is this because of the fact that only proxies are generated?
> When will those be resolved, if someone wants to access a method i.e.?
Yes.
BTW: Please try things before asking on the mailing list. This is often
more efficient as you can directly see what is the actual behavior. This
might differ from what we'd expect and moreover you get answers faster.
Best regards,
Mirko
--
Dr.-Ing. Mirko Seifert
Geschäftsführer
DevBoost GmbH
Rungestr. 22-24
10179 Berlin
Tel.: +49 1577 444 1168
E-Mail: [email protected]
Handelsregister Amtsgericht Berlin (Charlottenburg) HRB 140026
_______________________________________________
emftext-users mailing list
[email protected]
http://mail-st.inf.tu-dresden.de/cgi-bin/mailman/listinfo/emftext-users
