public override Signature PrimSubstitute(IImSeq <TypeRef> typeBoundArguments, IImSeq <TypeRef> methodBoundArguments)
{
var newParameters = Parameters.Select(t => t.PrimSubstitute(typeBoundArguments, methodBoundArguments)).ToSeq();
var newResult = Result == null ? default(TypeRef) : Result.PrimSubstitute(typeBoundArguments, methodBoundArguments);
return(new PropertySignature(Name, IsStatic, newParameters, newResult));
}
public Variable PrimSubstitute(IImSeq <TypeRef> typeBoundArguments, IImSeq <TypeRef> methodBoundArguments)
{
return(new Variable(Id, ArgLocal, IsInit, IsReadOnly, Type.PrimSubstitute(typeBoundArguments, methodBoundArguments)));
}
public override Signature PrimSubstitute(IImSeq <TypeRef> typeBoundArguments, IImSeq <TypeRef> methodBoundArguments)
{
return(new FieldSignature(Name, FieldType.PrimSubstitute(typeBoundArguments, methodBoundArguments)));
}
