github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Add an assignCell method to Derefable.

Browse Source
This commit is contained in:
Rob Rix 2018-08-09 15:12:22 -04:00
parent 3cf2f7d5c5
commit 9b10c6499a
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Control/Abstract/Addressable.hs
View File

@ -10,6 +10,7 @@ import Control.Abstract.Evaluator
import Control.Abstract.Hole import Control.Abstract.Hole
import Data.Abstract.Address import Data.Abstract.Address
import Data.Abstract.Name import Data.Abstract.Name
import qualified Data.Set as Set
import Prologue import Prologue
-- | Defines allocation and dereferencing of addresses. -- | Defines allocation and dereferencing of addresses.
@ -23,6 +24,8 @@ class Addressable address effects => Allocatable address effects where
class Addressable address effects => Derefable address effects where class Addressable address effects => Derefable address effects where
derefCell :: address -> Cell address value -> Evaluator address value effects (Maybe value) derefCell :: address -> Cell address value -> Evaluator address value effects (Maybe value)
assignCell :: Ord value => address -> value -> Cell address value -> Evaluator address value effects (Cell address value)
-- | 'Precise' addresses are always allocated a fresh address, and dereference to the 'Latest' value written. -- | 'Precise' addresses are always allocated a fresh address, and dereference to the 'Latest' value written.
instance Addressable Precise effects where instance Addressable Precise effects where
@ -34,6 +37,8 @@ instance Member Fresh effects => Allocatable Precise effects where
instance Derefable Precise effects where instance Derefable Precise effects where
derefCell _ = pure . getLast . unLatest derefCell _ = pure . getLast . unLatest
assignCell _ value _ = pure (Latest (Last (Just value)))
-- | 'Monovariant' addresses allocate one address per unique variable name, and dereference once per stored value, nondeterministically. -- | 'Monovariant' addresses allocate one address per unique variable name, and dereference once per stored value, nondeterministically.
instance Addressable Monovariant effects where instance Addressable Monovariant effects where
type Cell Monovariant = All type Cell Monovariant = All
@ -44,6 +49,8 @@ instance Allocatable Monovariant effects where
instance Member NonDet effects => Derefable Monovariant effects where instance Member NonDet effects => Derefable Monovariant effects where
derefCell _ = traverse (foldMapA pure) . nonEmpty . toList derefCell _ = traverse (foldMapA pure) . nonEmpty . toList
assignCell _ value (All values) = pure (All (Set.insert value values))
-- | 'Located' addresses allocate & dereference using the underlying address, contextualizing addresses with the current 'PackageInfo' & 'ModuleInfo'. -- | 'Located' addresses allocate & dereference using the underlying address, contextualizing addresses with the current 'PackageInfo' & 'ModuleInfo'.
instance Addressable address effects => Addressable (Located address) effects where instance Addressable address effects => Addressable (Located address) effects where
type Cell (Located address) = Cell address type Cell (Located address) = Cell address
@ -54,6 +61,8 @@ instance (Allocatable address effects, Member (Reader ModuleInfo) effects, Membe
instance Derefable address effects => Derefable (Located address) effects where instance Derefable address effects => Derefable (Located address) effects where
derefCell (Located loc _ _ _ _) = relocate . derefCell loc derefCell (Located loc _ _ _ _) = relocate . derefCell loc
assignCell (Located loc _ _ _ _) value = relocate . assignCell loc value
instance (Addressable address effects, Ord context, Show context) => Addressable (Hole context address) effects where instance (Addressable address effects, Ord context, Show context) => Addressable (Hole context address) effects where
type Cell (Hole context address) = Cell address type Cell (Hole context address) = Cell address
@ -64,5 +73,8 @@ instance (Derefable address effects, Ord context, Show context) => Derefable (Ho
derefCell (Total loc) = relocate . derefCell loc derefCell (Total loc) = relocate . derefCell loc
derefCell (Partial _) = const (pure Nothing) derefCell (Partial _) = const (pure Nothing)
assignCell (Total loc) value = relocate . assignCell loc value
assignCell (Partial _) _ = pure
relocate :: Evaluator address1 value effects a -> Evaluator address2 value effects a relocate :: Evaluator address1 value effects a -> Evaluator address2 value effects a
relocate = raiseEff . lowerEff relocate = raiseEff . lowerEff