Specialization and Refinement of Endpoints
process question: Where should I ask a question like this?
assume
A ::= /<B>/;
AA : A;
Question 1: does this work? (it should)
send A.B using T1 ;
send AA.B using T2 ;
Question 2: does this work? (it shouldn't)
send A.B using T1 ;
send A.B using T2 ;
Question 3: does this work? (it might, with a warning)
send A.B using T1 ;
send A.B using T1 ;
Question 4: What about endpoint refinement?
aspect X {
send A.B using T1 ;
}
refine X send A.B using T2 ;
this might be very helpful for language extensions and composition and in line with normal attribute/intertype declaration refinement.