2024-01-31 09:21:30 -06:00
|
|
|
namespace Microsoft.Iris.Asm.Models;
|
|
|
|
|
|
2024-02-04 22:23:10 -06:00
|
|
|
public record NamespaceImport : Import
|
2024-01-31 09:21:30 -06:00
|
|
|
{
|
2024-02-04 22:23:10 -06:00
|
|
|
public NamespaceImport(string uri, string name) : base("ns")
|
|
|
|
|
{
|
|
|
|
|
Uri = uri;
|
|
|
|
|
Name = name;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public string Uri { get; init; }
|
|
|
|
|
public string Name { get; init; }
|
|
|
|
|
|
|
|
|
|
public override string ToString() => $"{base.ToString()} {Uri} as {Name}";
|
2024-01-31 09:21:30 -06:00
|
|
|
}
|
2024-02-08 10:50:57 -06:00
|
|
|
|
|
|
|
|
public record TypeImport : Import
|
|
|
|
|
{
|
|
|
|
|
public TypeImport(string namespacePrefix, string name) : base("type")
|
|
|
|
|
{
|
|
|
|
|
NamespacePrefix = namespacePrefix;
|
|
|
|
|
Name = name;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public string NamespacePrefix { get; init; }
|
|
|
|
|
public string Name { get; init; }
|
|
|
|
|
|
|
|
|
|
public override string ToString()
|
|
|
|
|
{
|
|
|
|
|
if (NamespacePrefix is null)
|
|
|
|
|
return $"{base.ToString()} {Name}";
|
|
|
|
|
else
|
|
|
|
|
return $"{base.ToString()} {NamespacePrefix}:{Name}";
|
|
|
|
|
}
|
|
|
|
|
}
|