public static PipProvenance CreateDummy(PipExecutionContext context) { Contract.Requires(context != null); Contract.Requires(context.StringTable != null); return(new PipProvenance( new System.Random().Next(), ModuleId.Invalid, StringId.Invalid, FullSymbol.Invalid.Combine(context.SymbolTable, SymbolAtom.CreateUnchecked(context.StringTable, "<Unknown Pip>")), LocationData.Invalid, QualifierId.Unqualified, PipData.Invalid)); }