Uses of Class
edu.rice.cs.cunit.record.syncPoints.sync.SynchronizedLeaveBlockSyncPoint.Translated

Packages that use SynchronizedLeaveBlockSyncPoint.Translated
edu.rice.cs.cunit.record.syncPoints   
 

Uses of SynchronizedLeaveBlockSyncPoint.Translated in edu.rice.cs.cunit.record.syncPoints
 

Methods in edu.rice.cs.cunit.record.syncPoints with parameters of type SynchronizedLeaveBlockSyncPoint.Translated
 R ISyncPointVisitor.synchronizedBlockEndCase(SynchronizedLeaveBlockSyncPoint.Translated host, P param)
          Executed if the host is an SynchronizedLeaveBlockSyncPoint.