Summary arcs must be generated between actual-in and return nodes
Summary arcs summarize what happens between inputs and outputs of a method call. Normally they are generated between actual-in and actual-out nodes, but they must also be computed between actual-in and return nodes (normal return and exception return), as values may affect these "control output" nodes.
Example:
The following code produces the graph below, and the actual-in `x` is necessary but ignored:
```java
public class Bucles {
public static void main(String[] args){
int x=2;
try {
for(int i = 0; i <= 12; i++)
{
System.out.print("12 * "+ i + " = " + 12 * i + "\n");
metodoGeneradorExcepciones(x);
}
}
catch (ExceptionB a)
{
System.out.println("Se lanza ExceptionB");
}
catch (ExceptionA a)
{
System.out.println("Se lanza ExceptionB");
}
catch (Exception a)
{
System.out.println("Se lanza Exception");
}
}
static void metodoGeneradorExcepciones(int x) throws Exception {
if (x==0) throw new ExceptionA();
if (x==1) throw new ExceptionB();
if (x==2) throw new Exception();
}
}
class ExceptionA extends Exception{
/**
*
*/
private static final long serialVersionUID = 1L;
}
class ExceptionB extends ExceptionA{
/**
*
*/
private static final long serialVersionUID = 1L;
}
```
[graph-JSysDG.pdf](/uploads/9c50b3c84a8d4640355eea7e647a4c28/graph-JSysDG.pdf)
issue