Re: [abc] tm peculiarity

There is a workaround:

tracematch(Object orig, Object sync, Object from) {
     sym sync after returning(sync): createSync(orig);
     sym asyncCall before: call(* *(..)) && target(orig) && this(from);

     sync asyncCall
     {
         if (sync != from)
             throw new IllegalStateException("Collection " +

                         System.identityHashCode(orig) +
                        " was synchronized. Use instance " +
                         System.identityHashCode(sync) + " instead!");
        }
}
Received on Tue Oct 10 14:09:02 2006