Sequence API related questions

[Rachel Tzoref]

Several questions related to the Sequence API:

• Can Randoop parse Java code into a Sequence object? The Sequence 'parse' method accepts a list of statements in a specific Randoop-defined format, is there a way to read Java code directly?

• Is there documentation for the Randoop-defined format for various types of statements, if such exists? The manual gives examples only for method and constructor calls.

• From looking at the Statement parsing code, the format seems to require only actual variables as parameters for method and constructor calls. Is this indeed the case? If so then I assume we need to transform the input source code by adding auxiliary variables to hold method/constructor calls or other expressions when they are given as parameters to a method/constructor. Is this correct?
  

[Michael Ernst]

Thanks for your questions.

Please don't spam multiple mailing lists with identical messages.  (At least not until giving a chance for a response.)  I'll respond to your questions over on the randoop-developers mailing list where you also sent it.

Mike

--
You received this message because you are subscribed to the Google Groups "Randoop discussions" group.
To unsubscribe from this group and stop receiving emails from it, send an email to randoop-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/randoop-discuss/90fd88dc-3613-4f1b-ba88-1173b61bc637o%40googlegroups.com.

[Rachel Tzoref]

Sorry about the multiple posting. I couldn't view my post on the developers mailing list so I assumed that it wasn't posted because i didn't join that group.

On Tuesday, 4 August 2020 18:11:40 UTC+3, Michael Ernst wrote:

Thanks for your questions.

Please don't spam multiple mailing lists with identical messages.  (At least not until giving a chance for a response.)  I'll respond to your questions over on the randoop-developers mailing list where you also sent it.

Mike

On Tue, Aug 4, 2020 at 5:42 AM Rachel Tzoref <rachel...@gmail.com> wrote:

Several questions related to the Sequence API:

• Can Randoop parse Java code into a Sequence object? The Sequence 'parse' method accepts a list of statements in a specific Randoop-defined format, is there a way to read Java code directly?

• Is there documentation for the Randoop-defined format for various types of statements, if such exists? The manual gives examples only for method and constructor calls.

• From looking at the Statement parsing code, the format seems to require only actual variables as parameters for method and constructor calls. Is this indeed the case? If so then I assume we need to transform the input source code by adding auxiliary variables to hold method/constructor calls or other expressions when they are given as parameters to a method/constructor. Is this correct?
  

--
You received this message because you are subscribed to the Google Groups "Randoop discussions" group.

To unsubscribe from this group and stop receiving emails from it, send an email to randoop...@googlegroups.com.