public ZincTypeInstBaseExpression(IZincType type, ZincVarPar varPar = ZincVarPar.Par)
: this(varPar, type)
{
}
public bool IsSubType(IZincType type)
{
return this.Type.IsSubType (type);
}
public ZincTypeInstBaseExpression(ZincVarPar varPar, IZincType type)
: base(type)
{
this.VarPar = varPar;
this.Type = type;
}
public ZincTypeInstBaseExpression(IZincType type)
: this(ZincVarPar.Par, type)
{
}
/// <summary>
/// Replaces all the instances stored in the given <see cref="T:IDictionary`2"/>
/// stored as keys to the corresponding values and returns this instance.
/// </summary>
/// <returns>
/// This instance, for cascading purposes.
/// </returns>
public override IZincIdentReplaceContainer Replace(IDictionary<IZincIdent, IZincIdent> identMap)
{
this.type = this.type.Replace (identMap) as IZincType;
return this;
}
/// <summary>
/// Initializes a new instance of the <see cref="ZincTyBoxBase"/> class with an initial
/// <see cref="IZincType"/> instance.
/// </summary>
/// <param name='type'>
/// The initial <see cref="IZincType"/> instance.
/// </param>
protected ZincTyBoxBase(IZincType type)
{
this.type = type;
}
public bool IsSubType(IZincType type)
{
//TODO
throw new System.NotImplementedException ();
}
public bool IsSubType(IZincType type)
{
//TODO: implement
return false;
}
public bool IsSubType(IZincType type)
{
return (!type.Compounded && type.ScalarType == this.ScalarType);
}
public bool IsSubType(IZincType type)
{
return(this.Type.IsSubType(type));
}
public bool IsSubType(IZincType type)
{
if (type != null && type is ZincTypeInstArrayExpression) {
ZincTypeInstArrayExpression zta = (ZincTypeInstArrayExpression)type;
return (zta.OfType.IsSubType (zta) && this.IndexTypes.All (zta.IndexTypes, (x, y) => x.IsSubType (y)));
} else {
return false;
}
}