github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Define a default method for the CustomHasCyclomaticComplexity typeclass

Browse Source
This commit is contained in:
Rick Winfrey 2017-12-11 15:39:41 -08:00
parent 01c30abc2d
commit 3028946612
1 changed files with 13 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
src/Analysis/CyclomaticComplexity.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, TypeFamilies, UndecidableInstances #-}
{-# LANGUAGE DataKinds, DefaultSignatures, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, TypeFamilies, UndecidableInstances #-}
module Analysis.CyclomaticComplexity
( CyclomaticComplexity(..)
, HasCyclomaticComplexity
@ -57,36 +57,20 @@ class CustomHasCyclomaticComplexity syntax where
-- | Produce a customized 'CyclomaticComplexity' for a given syntax node.
customToCyclomaticComplexity :: syntax CyclomaticComplexity -> CyclomaticComplexity
instance CustomHasCyclomaticComplexity Declaration.Function where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Declaration.Method where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.Catch where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.DoWhile where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.Else where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.For where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.ForEach where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.If where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.Pattern where
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Statement.While where
-- | Because we perform the same operation wherever we use the custom strategy, we can define the default method for all instances.
default customToCyclomaticComplexity :: Foldable syntax => syntax CyclomaticComplexity -> CyclomaticComplexity
customToCyclomaticComplexity = succ . sum
instance CustomHasCyclomaticComplexity Declaration.Function
instance CustomHasCyclomaticComplexity Declaration.Method
instance CustomHasCyclomaticComplexity Statement.Catch
instance CustomHasCyclomaticComplexity Statement.DoWhile
instance CustomHasCyclomaticComplexity Statement.Else
instance CustomHasCyclomaticComplexity Statement.For
instance CustomHasCyclomaticComplexity Statement.ForEach
instance CustomHasCyclomaticComplexity Statement.If
instance CustomHasCyclomaticComplexity Statement.Pattern
instance CustomHasCyclomaticComplexity Statement.While
-- | Produce a 'CyclomaticComplexity' for 'Union's using the 'HasCyclomaticComplexity' instance & therefore using a 'CustomHasCyclomaticComplexity' instance when one exists & the type is listed in 'CyclomaticComplexityStrategy'.
instance Apply HasCyclomaticComplexity fs => CustomHasCyclomaticComplexity (Union fs) where