search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

adapt terminology for symbols #117

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to mcodescu Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/117

In the CASL reference manual (p. 192ff.), Hets' symbols are called "signature symbols", and Hets' raw symbols are called "symbols". Adapt the Hets terminology to that of the CASL reference manual.

sternk commented 10 years ago

Comment by mcodescu Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/117#comment:2

Not only the type names have to be changed, but also some function names have to be adapted (e.g. idtoRaw). The task is difficult to solve by hand and a script should be written to make the name changes. One has to think carefully about the changes that the script will make, since unintended replacements may occur otherwise.