Open tilk opened 9 months ago
This will require a small redesign of the Transactron core. Currently, method calls are analyzed on direct caller level (methods and transactions which directly call a given method). To solve this issue, they need to by analyzed at transaction level (transitive calls through multiple methods).
Suppose we have a code like this:
Currently, an exception "Method 'method3' can't be called twice from the same transaction" will be raised. But these calls are on syntactically different branches, so they could technically be allowed.