- // see comment above about needing to allocate a heap region
- // for the context of this ownership graph
- if( hrnI == null ) {
- hrnI = createNewHeapRegionNode( idIth,
- true,
- as.getType().getClassDesc().hasFlags(),
- false,
- as + "\\n" + Integer.toString( i ) + "th" );
- }
- if( hrnImin1 == null ) {
- hrnImin1 = createNewHeapRegionNode( idImin1th,
- true,
- as.getType().getClassDesc().hasFlags(),
- false,
- as + "\\n" + Integer.toString( i-1 ) + "th" );
- }
-