Adding Assigns to executable's input

mumuki · Jul 12, 2017 · 2214600 · 2214600
1 parent 724a983
commit 2214600
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -90,6 +90,7 @@ False
 Nice, we know. But not very awesome, it only can tell you if you are using a _binding_, right? Eeer. Good news, it can tell you much much much more things:
 
 
+1. `assigns`: **any paradigm** is the given variable or attribute assigned?
 1. `declares`: **any paradigm** is the given element declared?
 1. `declaresAttribute`: **objects paradigm** is a given attribute declared?
 1. `declaresClass`: **objects paradigm** is a given class declared?

diff --git a/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs b/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs
@@ -52,6 +52,7 @@ compileInspectionPrimitive :: String -> BindingPredicate -> Maybe Inspection
 compileInspectionPrimitive = f
   where
 
+  f "Assigns"                             b = Just $ assigns b
   f "DeclaresRule"                        b = Just $ declaresRule b
   f "DeclaresFact"                        b = Just $ declaresFact b
   f "DeclaresPredicate"                   b = Just $ declaresPredicate b