JetBrains / Arend Conditional Complexity

Intro

Conditional complexity (also called cyclomatic complexity) is a term used to measure the complexity of software. The term refers to the number of possible paths through a program function. A higher value ofter means higher maintenance and testing costs (infosecinstitute.com).
Conditional complexity is calculated by counting all conditions in the program that can affect the execution path (e.g. if statement, loops, switches, and/or operators, try and catch blocks...).
Conditional complexity is measured at the unit level (methods, functions...).
Units are classified in four categories based on the measured McCabe index: 1-5 (simple units), 6-10 (medium complex units), 11-25 (complex units), 26+ (very complex units).

Learn more...

Conditional Complexity Overall

There are 5,694 units with 49,791 lines of code in units (64.7% of code).

29 very complex units (6,188 lines of code)
52 complex units (4,387 lines of code)
206 medium complex units (7,998 lines of code)
371 simple units (7,063 lines of code)
5,036 very simple units (24,155 lines of code)

Legend:

51+

26-50

11-25

6-10

1-5

Alternative Visuals

3D view of all units

Conditional Complexity per Extension

51+

26-50

11-25

6-10

1-5

Conditional Complexity per Logical Component

primary logical decomposition

51+

26-50

11-25

6-10

1-5

Most Complex Units

Top 50 most complex units

Unit	# lines	McCabe index	# params
private Result doTypechecking() in base/src/main/java/org/arend/typechecking/patternmatching/PatternTypechecking.java	584	225	7
private List typecheckFunctionBody() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	485	213	2
private void typecheckClass() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	535	183	2
public boolean normalizedCompare() in base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	141	126	4
private ElimTree clausesToElimTree() in base/src/main/java/org/arend/typechecking/patternmatching/ElimTypechecking.java	327	121	3
public CommandLine run() in cli/src/main/java/org/arend/frontend/BaseCliFrontend.java	345	93	1
public static Scope forSourceNode() in base/src/main/java/org/arend/naming/scope/ScopeFactory.java	213	89	4
private TResult checkArrayCons() in base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java	186	82	4
public TResult infer() in base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java	220	82	2
private boolean typecheckDataBody() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	226	81	3
public boolean addEquation() in base/src/main/java/org/arend/typechecking/implicitargs/equations/TwoStageEquations.java	152	81	8
private ClassField typecheckClassField() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	176	79	5
public TypecheckingResult checkResult() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	167	78	3
private Pair typecheckParameters() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	166	78	8
public static void fixDefinition() in base/src/main/java/org/arend/typechecking/visitor/WhereVarsFixVisitor.java	185	74	2
private TypecheckingResult typecheckClassExt() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	187	73	7
public TypecheckingResult visitCase() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	167	67	2
private Expression visitFunctionDefCall() in base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java	162	66	2
private TypecheckingResult visitLam() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	163	63	3
private boolean typecheckFunctionHeader() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	129	63	3
public Expression eval() in base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java	149	60	7
public void resolveGroup() in base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java	187	58	2
private Boolean checkDefCallAndApp() in base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	143	56	3
private boolean typecheckConstructor() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	166	54	4
public static ParametersLevel typecheckLevel() in base/src/main/java/org/arend/typechecking/UseTypechecking.java	108	54	4
public Void visitFunction() in base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java	133	54	2
private boolean compareClassInstances() in base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	134	53	5
public Boolean visitConCall() in base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	138	52	3
private int compareExpressions() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	114	52	3
public List getMatchingExpressionArguments() in base/src/main/java/org/arend/core/pattern/ConstructorExpressionPattern.java	96	50	2
private boolean checkElimPattern() in base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java	116	50	7
private TypecheckingResult visitApp() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	74	50	3
private boolean solveClassCallLowerBounds() in base/src/main/java/org/arend/typechecking/implicitargs/equations/TwoStageEquations.java	161	50	5
public Body typecheckElim() in base/src/main/java/org/arend/typechecking/patternmatching/ElimTypechecking.java	120	46	3
public LevelSubstitution solveLevels() in base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsSolver.java	90	46	0
private Object resolve() in base/src/main/java/org/arend/naming/scope/LexicalScope.java	88	45	3
private boolean checkFin() in base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	69	44	3
private void calculateParametersTypecheckingOrder() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	111	44	1
public TypecheckingResult visitNew() in base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	103	43	2
public Void visitApp() in base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java	95	43	2
private boolean check() in base/src/main/java/org/arend/typechecking/doubleChecker/CoreDefinitionChecker.java	109	42	1
private void findLevelsParents() in base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	80	41	4
private TResult inferArg() in base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java	107	40	4
private void parse() in base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java	106	40	2
public static TypecheckingResult coerce() in base/src/main/java/org/arend/core/definition/CoerceData.java	70	39	4
public void bodiesFound() in base/src/main/java/org/arend/typechecking/order/listener/TypecheckingOrderingListener.java	123	38	1
public void startSession() in cli/src/main/java/org/arend/frontend/ui/CliSession.java	102	38	0
public static boolean compare() in base/src/main/java/org/arend/core/sort/Level.java	44	37	5
public boolean areDisjointConstructors() in base/src/main/java/org/arend/core/expr/Expression.java	78	37	1
private boolean typecheckClause() in base/src/main/java/org/arend/typechecking/patternmatching/PatternTypechecking.java	137	36	6