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))); }