Safe Haskell	None
Language	Haskell2010

Tokstyle.Analysis.PointsTo

Contents

Synopsis

Documentation

Extracts the relevant part of the abstract state for a function call.

Orphan instances

DataFlow PointsToAnalysis PointsToContext ScopedId PointsToFact RelevantInputState Source #
Instance details Methods emptyFacts :: PointsToContext ScopedId -> PointsToAnalysis PointsToFact Source # transfer :: PointsToContext ScopedId -> ScopedId -> Int -> PointsToFact -> Node (Lexeme ScopedId) -> PointsToAnalysis (PointsToFact, Set (ScopedId, RelevantInputState)) Source # join :: PointsToContext ScopedId -> PointsToFact -> PointsToFact -> PointsToAnalysis PointsToFact Source #