While working on the PR #3242 for #3240 - I get the sense that modelling org.eclipse.jdt.internal.compiler.ast.SynchronizedStatement as a subclass of org.eclipse.jdt.internal.compiler.ast.TryStatement could lead to much simpler nomenclature and readable code (for flow analysis phase)
A synchronized statement such as:
synchronized(expression) {
// block body
}
should be modellable as:
try {
// obtain monitor
{
// block body
}
} catch (Throwable any) {
throw any;
} finally {
// release monitor
}
While working on the PR #3242 for #3240 - I get the sense that modelling
org.eclipse.jdt.internal.compiler.ast.SynchronizedStatementas a subclass oforg.eclipse.jdt.internal.compiler.ast.TryStatementcould lead to much simpler nomenclature and readable code (for flow analysis phase)A synchronized statement such as:
should be modellable as: