Transformation of Applicative Specifications into Imperative ...

APPENDIX D. SPECIFICATION OF TRANSFORMER IN RSL1
getTextIdFUNC : Id → Text
getTextIdFUNC(id) ≡ getText(id),
getFUNCMapEntranceList : FUNC → FUNCMapEntrance ∗
getFUNCMapEntranceList(func) ≡ map(func),
/∗**** FUNC end ****∗/
/∗**** ENV ****∗/
updateENV : ENV × ExpType × TRANS → ENV
updateENV(env, et, trans) ≡
case et of
Known(te) →
case te of
TypeName(tn) →
if isinId(tn, domainTRANS(trans))
then
/∗Type of interest.∗/
removeENV(env, tn)
else
/∗Not type of interest.∗/
env
end,
→ env
end,
Unknown → env
end,
setEnv : Access ∗ × ENV → ENV
setEnv(al, env) ≡
if al = 〈〉 then env
else
case hd al of
AccessValueOrVariableName(vn) →
setEnv(tl al, removeENV(env, id(vn))),
→ setEnv(tl al, env)
end
end,
makeENV : LetBinding × TypeExpr × TRANS → ENV
makeENV(lb, te, trans) ≡
case lb of
460