Download
closest match method invocation n.
Skip this Video
Loading SlideShow in 5 Seconds..
Closest Match Method Invocation PowerPoint Presentation
Download Presentation
Closest Match Method Invocation

Closest Match Method Invocation

58 Vues Download Presentation
Télécharger la présentation

Closest Match Method Invocation

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. 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

  2. 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