Compositional Mining of Multiple Object API Protocols through State Abstraction

Algorithm 3

The algorithm to find the same state in corresponding typestates for a state in the state change of interaction annotations.

Input: state 𝑠 in a state change,  typestates for every concerning type

Output:  state 𝑠^′ with the same field-value label as 𝑠

(1) take 𝑀=(𝑄,Σ,𝛿,𝜆,𝑆,𝐹) of 𝑡 that is the type associated with 𝑠

(2) if 𝑡 is a concrete class then

(3)   foreach 𝑠_𝑀∈𝑄  do

(4)   if 𝑠_𝑀 has the same field-value label as 𝑠  then

(5)    𝑠^′=𝑠_𝑀

(6)    break

(7)   endif

(8)   endfor

(9) else

(10)   take the object 𝑜 associated with 𝑠

(11)    find the typstate part 𝑀^′ of 𝑀 extracted from o

(12)   foreach 𝑠_𝑀∈𝑄^′  do

(13)   if 𝑠_𝑀′ has the same field-value label as 𝑠  then

(14)     𝑠^′=𝑠_𝑀′

(15)     break

(16)   endif

(17)   endfor

(18)  return  𝑠^′