public bool SupportsType(MType type)
{
Contract.Requires(type != null);
return((!type.IsComplex || SupportsComplex) &&
(type.Class.Kind & SupportedClassKinds) != 0);
}
static MArray()
{
// Ensure the generic type is one that supports being in arrays.
var type = MType.FromCliType(typeof(TScalar));
Contract.Assert(type != null && type.IsPrimitive);
}
static MFullArray()
{
var type = MType.FromCliType(typeof(TScalar));
Contract.Assert(type != null && type.IsPrimitive);
repr = new MRepr(type, MStructuralClass.FullArray);
}
public MRepr(MType type, MStructuralClass structuralClass)
{
Contract.Requires(type == null || structuralClass != null);
Contract.Assert(structuralClass != MStructuralClass.Array, "Non-full arrays unsupported.");
this.type = type;
this.structuralClass = structuralClass;
}
static MComplex()
{
// Ensure the generic type is one that supports complex numbers.
var @class = MType.FromCliType(typeof(TNumeric)) as MClass;
if (@class == null || (@class.Kind & MClassKinds.SupportsComplexMask) == 0)
{
throw new InvalidOperationException("Invalid scalar type for MComplex type.");
}
}
public Type GetCliType(MType type)
{
Contract.Requires(type != null && SupportsType(type));
var scalarCliType = type.CliType;
var containerCliType = ContainerCliType;
if (containerCliType == null)
{
return(scalarCliType);
}
if (!containerCliType.IsGenericTypeDefinition)
{
return(containerCliType);
}
return(containerCliType.MakeGenericType(scalarCliType));
}
public static MRepr FromCliType(Type type)
{
Contract.Requires(type != null);
var mtype = MType.FromCliType(type);
if (mtype != null)
{
return(new MRepr(mtype, mtype.IsPrimitive ? MStructuralClass.Scalar : null));
}
if (!type.IsGenericType)
{
return(Any);
}
mtype = MType.FromCliType(type.GetGenericArguments()[0]);
if (mtype == null)
{
return(Any);
}
var genericTypeDefinition = type.GetGenericTypeDefinition();
if (genericTypeDefinition == typeof(MArray <>))
{
return(new MRepr(mtype, MStructuralClass.Array));
}
if (genericTypeDefinition == typeof(MFullArray <>))
{
return(new MRepr(mtype, MStructuralClass.FullArray));
}
if (genericTypeDefinition == typeof(MIntegralRange <>))
{
return(new MRepr(mtype, MStructuralClass.IntegralRange));
}
return(Any);
}
static MIntegralRange()
{
var @class = MType.FromCliType(typeof(TReal));
Contract.Assert(@class != null && @class.IsNumeric && [email protected]);
}
public MRepr(MType type)
{
this.type = type;
structuralClass = type == null ? null : MStructuralClass.FullArray;
}
