minor fixes in synchronization

AmpersandTarski · Jun 13, 2024 · 2771b24 · 2771b24
1 parent 577687e
commit 2771b24
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 7 deletions.
diff --git a/AmpersandData/FormalAmpersand/Generics.adl b/AmpersandData/FormalAmpersand/Generics.adl
@@ -19,7 +19,7 @@ REPRESENT FormalAmpersand.AmpersandVersion TYPE ALPHANUMERIC
 --Definitions for Rules are found in Rules.adl and documented in Rules.docadl.
 
 --[PairViews]--
-RELATION FormalAmpersand.pairView[FormalAmpersand.Rule*FormalAmpersand.PairView] -- e.g. 
+RELATION FormalAmpersand.rrviol[FormalAmpersand.Rule*FormalAmpersand.PairView] -- e.g. 
 RELATION FormalAmpersand.segment[FormalAmpersand.PairView*FormalAmpersand.PairViewSegment] [SUR,INJ]
 RELATION FormalAmpersand.sequenceNr[FormalAmpersand.PairViewSegment*FormalAmpersand.SequenceNumber] [UNI,TOT]
 REPRESENT SequenceNumber TYPE INTEGER

diff --git a/AmpersandData/FormalAmpersand/Patterns.adl b/AmpersandData/FormalAmpersand/Patterns.adl
@@ -19,7 +19,7 @@ PATTERN Patterns
     RELATION FormalAmpersand.allRules[FormalAmpersand.Rule*FormalAmpersand.Context] []          -- ^ all rules in the context, i.e. all user defined rules, property rules, and identity rules.
     RELATION FormalAmpersand.udefrules[FormalAmpersand.Rule*FormalAmpersand.Pattern] []         -- ^ all rules the user has declared within this pattern including the patterns it contains,
                                                 --   which are not property- and not identity rules. See ViewPoint.hs
-    RELATION FormalAmpersand.proprules[FormalAmpersand.Rule*FormalAmpersand.Pattern] []         -- ^ all property rules the user has declared within a pattern.
+    -- RELATION proprules[Rule*Pattern] []         -- This relation removed to prevent execengine work in the atlas. This relation can be calculated via the `Rule`.
     RELATION FormalAmpersand.identityRules[FormalAmpersand.Rule*FormalAmpersand.Pattern] []     -- ^ all identity rules the user has declared within this pattern. This contains all rules declared inside a pattern including the patterns it contains.
     RELATION FormalAmpersand.patRules[FormalAmpersand.Pattern*FormalAmpersand.Rule]        -- This contains all rules declared inside a pattern. This contains all rules declared inside a pattern including the patterns it contains.
     MEANING "The user-defined rules in a pattern."

diff --git a/src/Ampersand/FSpec/Transformers.hs b/src/Ampersand/FSpec/Transformers.hs
@@ -351,11 +351,6 @@ transformersFormalAmpersand fSpec =
           | pvs@PairViewExp {} :: PairViewSegment Expression <- instanceList fSpec
         ]
       ),
-      ( "FormalAmpersand.expTgt",
-        "FormalAmpersand.PairViewSegment",
-        "FormalAmpersand.Concept",
-        [] -- TODO
-      ),
       -- ( "FormalAmpersand.fieldIn",
       --   "FormalAmpersand.FieldDef",
       --   "FormalAmpersand.ObjectDef",