/// <summary>
/// Initializes a new instance of the <see cref="FormalGenericType"/> class.
/// </summary>
/// <param name="formalGeneric">The generic from which this instance is issued.</param>
/// <param name="resolvedTypeName">The associated unique type name.</param>
public FormalGenericType(IGeneric formalGeneric, ITypeName resolvedTypeName)
{
FormalGeneric = formalGeneric;
ResolvedTypeName = resolvedTypeName;
DiscreteTable.Seal();
NumberKind = NumberKinds.NotChecked;
}
/// <summary>
/// Initializes a new instance of the <see cref="IndexerType"/> class.
/// This constructor is required for deserialization.
/// </summary>
public IndexerType()
{
FeatureTable.Seal();
DiscreteTable.Seal();
ConformanceTable.Seal();
ExportTable.Seal();
}
/// <summary>
/// Initializes a new instance of the <see cref="FunctionType"/> class.
/// This constructor is required for deserialization.
/// </summary>
public FunctionType()
{
FeatureTable.Seal();
DiscreteTable.Seal();
ConformanceTable.Seal();
ExportTable.Seal();
}
/// <summary>
/// Initializes a new instance of the <see cref="ProcedureType"/> class.
/// This constructor is required for deserialization.
/// </summary>
public ProcedureType()
{
FeatureTable.Seal();
DiscreteTable.Seal();
ConformanceTable.Seal();
ExportTable.Seal();
}
/// <summary>
/// Initializes a new instance of the <see cref="TupleType"/> class.
/// </summary>
/// <param name="entityDeclarationList">The resolved list of fields.</param>
/// <param name="sharing">The type sharing.</param>
/// <param name="renamedFieldTable">The list of fields to rename.</param>
public TupleType(IList <IEntityDeclaration> entityDeclarationList, BaseNode.SharingType sharing, ISealableDictionary <IFeatureName, IFeatureInstance> renamedFieldTable)
{
EntityDeclarationList = entityDeclarationList;
Sharing = sharing;
FeatureTable.Merge(renamedFieldTable);
FeatureTable.Seal();
DiscreteTable.Seal();
ConformanceTable.Seal();
ExportTable.Seal();
}