Problem detecting references

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
7 messages Options
Reply | Threaded
Open this post in threaded view
|

Problem detecting references

Santiago Vidal
Hi,
my name is Santiago and I've been using Moose for a couple of years. 
I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings. 

If I have the following Java Code

public class A { 
    public void foo(Object o){ 
            if(o instanceof B){ //DoSomething } 
     } 


Moose does not find any outgoing invocation or reference  from A  to B.
Can VerveineJ represents in the generated .mse file the dependency from A to B ?

Thanks in advance.

Cheers,
--
Santiago Vidal

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

output.mse (2K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

Nicolas Anquetil

thanks for spotting this

I will try to solve the problem ASAP
(hopefully this week-end)

nicolas

On 27/03/2014 16:07, Santiago Vidal wrote:
Hi,
my name is Santiago and I've been using Moose for a couple of years. 
I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings. 

If I have the following Java Code

public class A { 
    public void foo(Object o){ 
            if(o instanceof B){ //DoSomething } 
     } 


Moose does not find any outgoing invocation or reference  from A  to B.
Can VerveineJ represents in the generated .mse file the dependency from A to B ?

Thanks in advance.

Cheers,
--
Santiago Vidal


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

abergel
Thanks Nico,

This would be really great!

Alexandre


On Mar 27, 2014, at 4:05 PM, Nicolas Anquetil <[hidden email]> wrote:

>
> thanks for spotting this
>
> I will try to solve the problem ASAP
> (hopefully this week-end)
>
> nicolas
>
> On 27/03/2014 16:07, Santiago Vidal wrote:
>> Hi,
>> my name is Santiago and I've been using Moose for a couple of years.
>> I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings.
>>
>> If I have the following Java Code
>>
>> public class A {
>>     public void foo(Object o){
>>             if(o instanceof B){ //DoSomething }
>>      }
>>
>>
>> Moose does not find any outgoing invocation or reference  from A  to B.
>> Can VerveineJ represents in the generated .mse file the dependency from A to B ?
>>
>> Thanks in advance.
>>
>> Cheers,
>> --
>> Santiago Vidal
>>
>>
>> _______________________________________________
>> Moose-dev mailing list
>>
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

Santiago Vidal
Thank you Nicolas!


2014-03-27 16:39 GMT-03:00 Alexandre Bergel <[hidden email]>:
Thanks Nico,

This would be really great!

Alexandre


On Mar 27, 2014, at 4:05 PM, Nicolas Anquetil <[hidden email]> wrote:

>
> thanks for spotting this
>
> I will try to solve the problem ASAP
> (hopefully this week-end)
>
> nicolas
>
> On 27/03/2014 16:07, Santiago Vidal wrote:
>> Hi,
>> my name is Santiago and I've been using Moose for a couple of years.
>> I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings.
>>
>> If I have the following Java Code
>>
>> public class A {
>>     public void foo(Object o){
>>             if(o instanceof B){ //DoSomething }
>>      }
>>
>>
>> Moose does not find any outgoing invocation or reference  from A  to B.
>> Can VerveineJ represents in the generated .mse file the dependency from A to B ?
>>
>> Thanks in advance.
>>
>> Cheers,
>> --
>> Santiago Vidal
>>
>>
>> _______________________________________________
>> Moose-dev mailing list
>>
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev



--
Santiago Vidal

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

Nicolas Anquetil


wait it is not done yet :-)

BTW could you enter an issue?

thank you

nicolas

On 27/03/2014 20:49, Santiago Vidal wrote:
Thank you Nicolas!


2014-03-27 16:39 GMT-03:00 Alexandre Bergel <[hidden email]>:
Thanks Nico,

This would be really great!

Alexandre


On Mar 27, 2014, at 4:05 PM, Nicolas Anquetil <[hidden email]> wrote:

>
> thanks for spotting this
>
> I will try to solve the problem ASAP
> (hopefully this week-end)
>
> nicolas
>
> On 27/03/2014 16:07, Santiago Vidal wrote:
>> Hi,
>> my name is Santiago and I've been using Moose for a couple of years.
>> I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings.
>>
>> If I have the following Java Code
>>
>> public class A {
>>     public void foo(Object o){
>>             if(o instanceof B){ //DoSomething }
>>      }
>>
>>
>> Moose does not find any outgoing invocation or reference  from A  to B.
>> Can VerveineJ represents in the generated .mse file the dependency from A to B ?
>>
>> Thanks in advance.
>>
>> Cheers,
>> --
>> Santiago Vidal
>>
>>
>> _______________________________________________
>> Moose-dev mailing list
>>
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev



--
Santiago Vidal


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

Santiago Vidal
Yes, sure.
Also, we found another problem that it is really important for us. 

If I have the following Java Code

public class A { 
      public static innerClass{
      
      }
}

public is the only modifier of  innerClass  in the MSE. That is, the static modifier is missing. 

I'm going to enter both issues

Cheers,


2014-03-28 10:44 GMT-03:00 Nicolas Anquetil <[hidden email]>:


wait it is not done yet :-)

BTW could you enter an issue?

thank you

nicolas


On 27/03/2014 20:49, Santiago Vidal wrote:
Thank you Nicolas!


2014-03-27 16:39 GMT-03:00 Alexandre Bergel <[hidden email]>:
Thanks Nico,

This would be really great!

Alexandre


On Mar 27, 2014, at 4:05 PM, Nicolas Anquetil <[hidden email]> wrote:

>
> thanks for spotting this
>
> I will try to solve the problem ASAP
> (hopefully this week-end)
>
> nicolas
>
> On 27/03/2014 16:07, Santiago Vidal wrote:
>> Hi,
>> my name is Santiago and I've been using Moose for a couple of years.
>> I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings.
>>
>> If I have the following Java Code
>>
>> public class A {
>>     public void foo(Object o){
>>             if(o instanceof B){ //DoSomething }
>>      }
>>
>>
>> Moose does not find any outgoing invocation or reference  from A  to B.
>> Can VerveineJ represents in the generated .mse file the dependency from A to B ?
>>
>> Thanks in advance.
>>
>> Cheers,
>> --
>> Santiago Vidal
>>
>>
>> _______________________________________________
>> Moose-dev mailing list
>>
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev



--
Santiago Vidal


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev




--
Santiago Vidal

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: Problem detecting references

Nicolas Anquetil

OK
corrected both
I am sending you the new executable

nicoals

On 28/03/2014 15:15, Santiago Vidal wrote:
Yes, sure.
Also, we found another problem that it is really important for us. 

If I have the following Java Code

public class A { 
      public static innerClass{
      
      }
}

public is the only modifier of  innerClass  in the MSE. That is, the static modifier is missing. 

I'm going to enter both issues

Cheers,


2014-03-28 10:44 GMT-03:00 Nicolas Anquetil <[hidden email]>:


wait it is not done yet :-)

BTW could you enter an issue?

thank you

nicolas


On 27/03/2014 20:49, Santiago Vidal wrote:
Thank you Nicolas!


2014-03-27 16:39 GMT-03:00 Alexandre Bergel <[hidden email]>:
Thanks Nico,

This would be really great!

Alexandre


On Mar 27, 2014, at 4:05 PM, Nicolas Anquetil <[hidden email]> wrote:

>
> thanks for spotting this
>
> I will try to solve the problem ASAP
> (hopefully this week-end)
>
> nicolas
>
> On 27/03/2014 16:07, Santiago Vidal wrote:
>> Hi,
>> my name is Santiago and I've been using Moose for a couple of years.
>> I'm conducting an experiment with Alexandre Bergel and we found a problem trying to identify references to a Java class/interface. Specifically, we found that Moose fails to detect references produced by "instanceOf" and castings.
>>
>> If I have the following Java Code
>>
>> public class A {
>>     public void foo(Object o){
>>             if(o instanceof B){ //DoSomething }
>>      }
>>
>>
>> Moose does not find any outgoing invocation or reference  from A  to B.
>> Can VerveineJ represents in the generated .mse file the dependency from A to B ?
>>
>> Thanks in advance.
>>
>> Cheers,
>> --
>> Santiago Vidal
>>
>>
>> _______________________________________________
>> Moose-dev mailing list
>>
>> [hidden email]
>> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.



_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev



--
Santiago Vidal


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev




--
Santiago Vidal


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev