public override bool ConformsToRegister(Classifier other)
{
if (other.GetType().IsSubclassOf(typeof(Class)) || other.GetType() == this.GetType())
{
return(ConformsToRegisterClass((Class)other));
}
else
{
return(base.ConformsToRegister(other));
}
}
public override bool ConformsToRegister(Classifier other)
{
if (other == TypeTable.Library.Any)
{
return(true);
}
if ((other.GetType().IsSubclassOf(this.GetType()) || other.GetType() == typeof(TupleType)) == false)
{
return(base.ConformsToRegister(other));
}
return(false);
}
public override bool ConformsToRegister(Classifier other)
{
if (other.GetType() == typeof(RealType))
{
return(true);
}
return(false);// other conformsto rules bring transitivity from RealType
}
public override bool ConformsToRegister(Classifier other)
{
return(other.GetType() != typeof(InvalidType));
}
