Changeset 11943

Timestamp:

15.07.2009 18:31:51 (8 months ago)

Author:

mkhl

Message:

Remove obsolete functions.

Files:

• trunk/Maude/Morphism.hs (modified) (5 diffs)

trunk/Maude/Morphism.hs

@@ -34 +34 @@
 import Maude.Sentence
 
+import Maude.Meta.HasName
 import Maude.Meta.HasSorts
 import Maude.Meta.HasOps
@@ -85 +86 @@
     in case rename of
         SortRenaming from to -> let
-                a = sortName from
-                b = sortName to
+                a = getName from
+                b = getName to
             in mor {
                 source = Sign.insertSort from src,
@@ -93 +94 @@
             }
         LabelRenaming from to -> let
-                a = labelName from
-                b = labelName to
+                a = getName from
+                b = getName to
             in mor {
                 labelMap = Map.insert a b lmap
             }
         OpRenaming1 from (To to _) -> let
-                a = opName from
-                b = opName to
+                a = getName from
+                b = getName to
             in mor {
                 source = Sign.insertOpName from src,
@@ -107 +108 @@
             }
         OpRenaming2 from _ _ (To to _) -> let
-                a = opName from
-                b = opName to
+                a = getName from
+                b = getName to
             in mor {
                 source = Sign.insertOpName from src,
@@ -192 +193 @@
         lmap = mapLabels (labelMap mor)
     in return . lmap . omap . smap
-
--- extract the name from a Sort, Op or Label
-sortName :: Sort -> Qid
-sortName (SortId name) = name
-
-opName :: OpId -> Qid
-opName (OpId name) = name
-
-labelName :: LabelId -> Qid
-labelName (LabelId name) = name