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));
}