void function ( boolean arg0 ) { synchronized ( this ) { synchronized ( Main . class ) { synchronized ( new Object ( ) ) { synchronized ( Class . class ) { if ( arg0 ) { throw new MyException ( ) ; } } } } } }
tests simple nesting , with and without a throw . concode_field_sep PlaceHolder placeHolder concode_field_sep void triplet concode_elem_sep void doNothing concode_elem_sep void twoPath concode_elem_sep void constantLock concode_elem_sep void notNested concode_elem_sep void main concode_elem_sep void notExcessiveNesting concode_elem_sep void recursiveSync