mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
37 lines
936 B
C#
37 lines
936 B
C#
using System.IO;
|
|
|
|
namespace Semmle.Extraction
|
|
{
|
|
/// <summary>
|
|
/// A tuple represents a string of the form "a(b,c,d)".
|
|
/// </summary>
|
|
public struct Tuple : ITrapEmitter
|
|
{
|
|
private readonly string name;
|
|
private readonly object[] args;
|
|
|
|
public Tuple(string name, params object[] args)
|
|
{
|
|
this.name = name;
|
|
this.args = args;
|
|
}
|
|
|
|
/// <summary>
|
|
/// Constructs a unique string for this tuple.
|
|
/// </summary>
|
|
/// <param name="trapFile">The trap file to write to.</param>
|
|
public void EmitTrap(TextWriter trapFile)
|
|
{
|
|
trapFile.WriteTuple(name, args);
|
|
}
|
|
|
|
public override string ToString()
|
|
{
|
|
// Only implemented for debugging purposes
|
|
using var writer = new StringWriter();
|
|
EmitTrap(writer);
|
|
return writer.ToString();
|
|
}
|
|
}
|
|
}
|