From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 3 Mar 2009 23:49:43 +0000 (+0100)
Subject: Add some predicates and accessors to FlattenTypes.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=b5e1819dbcab2d7e356c2db77b22ba8edef91ddd;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add some predicates and accessors to FlattenTypes.
---

diff --git a/FlattenTypes.hs b/FlattenTypes.hs
index eba0599..ecad1ba 100644
--- a/FlattenTypes.hs
+++ b/FlattenTypes.hs
@@ -102,6 +102,13 @@ is_FApp d = case d of
   (FApp _ _ _) -> True
   _ -> False
 
+-- | Which signals are used by the given SigDef?
+sigDefUses :: SigDef -> [SignalId]
+sigDefUses (UncondDef (Left id) _) = [id]
+sigDefUses (UncondDef (Right expr) _) = sigExprUses expr
+sigDefUses (CondDef cond true false _) = [cond, true, false]
+sigDefUses (FApp _ args _) = concat $ map Foldable.toList args
+
 -- | An expression on signals
 data SignalExpr = 
   EqLit SignalId String -- ^ Is the given signal equal to the given (VHDL) literal
@@ -109,6 +116,12 @@ data SignalExpr =
   | Eq SignalId SignalId -- ^ A comparison between to signals
   deriving (Show, Eq)
 
+-- | Which signals are used by the given SignalExpr?
+sigExprUses :: SignalExpr -> [SignalId]
+sigExprUses (EqLit id _) = [id]
+sigExprUses (Literal _) = []
+sigExprUses (Eq a b) = [a, b]
+
 -- Returns the function used by the given SigDef, if any
 usedHsFunc :: SigDef -> Maybe HsFunction
 usedHsFunc (FApp hsfunc _ _) = Just hsfunc
@@ -140,6 +153,14 @@ isInternalSigUse :: SigUse -> Bool
 isInternalSigUse SigInternal = True
 isInternalSigUse _ = False
 
+oldStateId :: SigUse -> Maybe StateId
+oldStateId (SigStateOld id) = Just id
+oldStateId _ = Nothing
+
+newStateId :: SigUse -> Maybe StateId
+newStateId (SigStateNew id) = Just id
+newStateId _ = Nothing
+
 -- | Information on a signal definition
 data SignalInfo = SignalInfo {
   sigName :: Maybe String,