Source code

001package daikon.dcomp;
002
003/**
004 * This is the type of the extra formal parameter in methods that have been instrumented by DynComp.
005 * The original, uninstrumented version of the method also exists in the class file.
006 */
007public interface DCompMarker {}