objectMembers

Co-Authored-By: Rob Rix <rob.rix@github.com>

test/SpecHelpers.hs

@@ -15,6 +15,7 @@ module SpecHelpers
 , LogQueue
 , StatQueue
 , lookupDeclaration
+, objectMembers
 ) where
 
 import Control.Abstract hiding (lookupDeclaration)
@@ -151,16 +152,22 @@ testEvaluating
 type Val term = Value term Precise
 
 
--- deNamespace :: Heap Precise Precise (Value term Precise)
+objectMembers :: Heap Precise Precise (Value term Precise)
---             -> Value term Precise
+            -> ScopeGraph Precise
---             -> Maybe (Name, [Name])
+            -> Value term Precise
--- deNamespace heap ns@(Namespace name _ _) = (,) name . Env.allNames <$> namespaceScope heap ns
+            -> Maybe [Name]
--- deNamespace _ _                          = Nothing
+objectMembers heap scopeGraph (Object frame) = frameNames heap scopeGraph frame
+objectMembers _ _ _                          = Nothing
+
+frameNames :: Heap Precise Precise (Value term Precise)
+           -> ScopeGraph Precise
+           -> Precise
+           -> Maybe [ Name ]
+frameNames heap scopeGraph frame = do
+  scopeAddress <- Heap.scopeLookup frame heap
+  scope <- ScopeGraph.lookupScope scopeAddress scopeGraph
+  pure (unDeclaration <$> ScopeGraph.declarationNames scope scopeGraph)
 
--- namespaceScope :: Heap Precise Precise (Value term Precise)
---                -> Value term Precise
---                -> Maybe (Environment Precise)
--- namespaceScope heap ns@(Namespace _ _ _)
 --   = either (const Nothing) (snd . snd)
 --   . run
 --   . runFresh