JetBrains / arend-lib 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 716 units with 8,889 lines of code in units (58.4% of code).

5 very complex units (1,121 lines of code)
9 complex units (994 lines of code)
36 medium complex units (1,618 lines of code)
81 simple units (1,580 lines of code)
585 very simple units (3,576 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 ConcreteExpression generate() in meta/src/main/java/org/arend/lib/meta/ExtMeta.java	486	163	4
private ConcreteExpression checkInternal() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	198	63	6
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java	127	60	4
public TypedExpression invokeMeta() in meta/src/main/java/org/arend/lib/meta/RewriteMeta.java	162	52	2
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	148	51	4
private Spec getSpec() in meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java	123	50	11
public TypedExpression solve() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	179	44	2
private ConcreteExpression processParameters() in meta/src/main/java/org/arend/lib/meta/ExistsMeta.java	128	39	3
private static boolean computeCovering() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	133	31	4
private Hypothesis typeToEquation() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	78	30	3
private List solveEquations() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	85	27	2
public MonoidSolver() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	17	27	9
public ConcreteExpression resolve() in meta/src/main/java/org/arend/lib/util/NamedParameter.java	55	27	4
public void declareDefinitions() in meta/src/main/java/org/arend/lib/StdExtension.java	196	26	1
public SubexprOccurrences matchSubexpr() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	81	24	4
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	66	22	2
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java	70	21	2
private ConcreteExpression provePropDataType() in meta/src/main/java/org/arend/lib/level/StdLevelProver.java	74	21	5
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	90	20	3
public void solve() in meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java	75	20	5
static FunctionMatcher makeFieldMatcher() in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/FunctionMatcher.java	31	19	8
private boolean typeToRule() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	39	18	4
private BasePiTree make() in meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java	81	18	3
public List getVarIds() in meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java	51	18	1
private ConcreteExpression resolveArgument1() in meta/src/main/java/org/arend/lib/meta/CasesMeta.java	32	18	2
public static List addArguments() in meta/src/main/java/org/arend/lib/util/Utils.java	51	18	4
private boolean makeNegation() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	60	17	6
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java	49	17	4
public boolean isApplicable() in meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java	65	17	1
private List getSimplificationRulesForType() in meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java	53	16	1
public Result visitClassCall() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	41	16	2
public boolean testGlobalInstance() in meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java	38	15	1
private boolean initializeAlgebraSolver() in meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java	40	14	1
public Result visitArray() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	39	14	2
public static List toConcrete() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	19	14	6
public static boolean unify() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	18	14	4
protected BaseTermCompiler() in meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java	29	13	12
private ConcreteExpression proveProp() in meta/src/main/java/org/arend/lib/level/StdLevelProver.java	28	13	6
private ConcreteExpression computeMul() in meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java	26	12	6
private void makeNegationData() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	36	12	4
private List applyRules() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	39	12	3
private Integer splitIntoSubterms() in meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java	53	12	1
public ArgParameters() in meta/src/main/java/org/arend/lib/meta/CasesMeta.java	29	12	3
public static CoreExpression eval() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	36	12	8
public static RingKind getTermCompilerKind() in meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java	17	11	2
public ConcreteExpression simplifyTypeOfExpression() in meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java	44	11	3
private CompiledTerm removePair() in meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java	41	11	2
private boolean visitArgs() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	31	11	5
public TypedExpression invoke() in meta/src/main/java/org/arend/lib/meta/util/ReplaceSubexpressionsMeta.java	27	11	2
public void getAllValues() in meta/src/main/java/org/arend/lib/util/NamedParameter.java	19	11	5