20 likes | 103 Views
This rule defines the closest match method invocation in C, ensuring method calls match correctly. It clarifies the process of matching method invocations based on types and capabilities. The rule enhances programming precision and reduces errors related to method invocation.
E N D
Closest Match Method Invocation C,L,X,σ |- E: DC,L,X,σ |- Ei: σi D |- τ m(τ1,...,τk) Y τi:= σi D |- γ m(γ1,..., γk) Z : (i: γi:= σi) (i: γi:= τi) C, L, X, σ |- E.m(E1,...,Ek): τ • This rule does not describe access modifiers
Unique Match Method Invocation C,L,X,σ |- E: DC,L,X,σ |- Ei: σi D |- τ m(τ1,...,τk) Y τi:= σi D |- γ m(γ1,..., γk) Z : (i: γi:= σi) (i: γi = τi) C, L, X, σ |- E.m(E1,...,Ek): τ • This rule does not describe access modifiers