From 86a360a3964ecb04a37c0424c76d7b43a9fd40fe Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 4 Jul 2017 11:26:11 -0500
Subject: rtfm! macro take 2

---
 macros/src/check.rs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 macros/src/check.rs

(limited to 'macros/src/check.rs')

diff --git a/macros/src/check.rs b/macros/src/check.rs
new file mode 100644
index 0000000..ddd9abc
--- /dev/null
+++ b/macros/src/check.rs
@@ -0,0 +1,17 @@
+use syntax::Resources;
+use util::{Ceiling, Ceilings};
+
+pub fn resources(resources: &Resources, ceilings: &Ceilings) {
+    for resource in resources.keys() {
+        if let Some(ceiling) = ceilings.get(&resource) {
+            assert_ne!(
+                *ceiling,
+                Ceiling::Owned,
+                "{} should be local data",
+                resource
+            );
+        } else {
+            panic!("resource {} is unused", resource)
+        }
+    }
+}
-- 
cgit v1.2.3