private void checkCircularity ( State state , Obligation obligation , int basicBlockId ) throws ObligationAcquiredOrReleasedInLoopException { if ( state . getPath ( ) . hasComponent ( basicBlockId ) ) { throw new ObligationAcquiredOrReleasedInLoopException ( obligation ) ; } }
Bail out of the analysis is an obligation is acquired or released in a loop .