Java AccessEvent.getKind Examples

Example #1

File: FastTrackTool.java Project: kongposh/RoadRunner

 @Override
 public final ShadowVar makeShadowVar(final AccessEvent fae) {
   if (fae.getKind() == Kind.VOLATILE) {
     FastTrackVolatileData vd = get(((VolatileAccessEvent) fae).getShadowVolatile());
     ShadowThread currentThread = fae.getThread();
     vd.cv.max(ts_get_cv(currentThread));
     return super.makeShadowVar(fae);
   } else {
     return createHelper(fae);
   }
 }