JetBrains / arend-lib Unit Size

Intro

Unit size measurements show the distribution of size of units of code (methods, functions...).
Units are classified in four categories based on their size (lines of code): 1-20 (small units), 20-50 (medium size units), 51-100 (long units), 101+ (very long units).
You should aim at keeping units small (< 20 lines). Long units may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.

Learn more...

Unit Size Overall

There are 716 units with 8,889 lines of code in units (58.4% of code).

10 very long units (1,880 lines of code)
17 long units (1,141 lines of code)
59 medium size units (1,748 lines of code)
121 small units (1,743 lines of code)
509 very small units (2,377 lines of code)

Legend:

101+

51-100

21-50

11-20

1-10

Unit Size per Extension

101+

51-100

21-50

11-20

1-10

Unit Size per Logical Component

primary logical decomposition

101+

51-100

21-50

11-20

1-10

Alternative Visuals

3D view of all units

Longest Units

Top 50 longest 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
public void declareDefinitions() in meta/src/main/java/org/arend/lib/StdExtension.java	196	26	1
public TypedExpression solve() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	179	44	2
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 static boolean computeCovering() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	133	31	4
private ConcreteExpression processParameters() in meta/src/main/java/org/arend/lib/meta/ExistsMeta.java	128	39	3
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java	127	60	4
private Spec getSpec() in meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java	123	50	11
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	90	20	3
private List solveEquations() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	85	27	2
public SubexprOccurrences matchSubexpr() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	81	24	4
private BasePiTree make() in meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java	81	18	3
private Hypothesis typeToEquation() in meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	78	30	3
public void solve() in meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java	75	20	5
private ConcreteExpression provePropDataType() in meta/src/main/java/org/arend/lib/level/StdLevelProver.java	74	21	5
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java	70	21	2
private ConcreteExpression computeTerm() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	66	22	2
public boolean isApplicable() in meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java	65	17	1
private boolean makeNegation() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	60	17	6
public ConcreteExpression resolve() in meta/src/main/java/org/arend/lib/util/NamedParameter.java	55	27	4
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java	53	5	3
private List getSimplificationRulesForType() in meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java	53	16	1
private Integer splitIntoSubterms() in meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java	53	12	1
public List getVarIds() in meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java	51	18	1
public static List addArguments() in meta/src/main/java/org/arend/lib/util/Utils.java	51	18	4
public ConcreteExpression solve() in meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java	49	17	4
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
public Result visitClassCall() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	41	16	2
private boolean initializeAlgebraSolver() in meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java	40	14	1
private boolean typeToRule() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	39	18	4
private List applyRules() in meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	39	12	3
public Result visitArray() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	39	14	2
public boolean testGlobalInstance() in meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java	38	15	1
public Result visitApp() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	37	10	2
private void makeNegationData() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	36	12	4
public static CoreExpression eval() in meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	36	12	8
ConcreteExpression make() in meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java	35	7	7
public CompiledTerms compileTerms() in meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java	34	9	2
private record NegationData() in meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	34	8	2
public static ConcreteExpression chainOfTransports() in meta/src/main/java/org/arend/lib/meta/RewriteMeta.java	34	7	6
private ConcreteExpression resolveArgument1() in meta/src/main/java/org/arend/lib/meta/CasesMeta.java	32	18	2
public static Pair findInstanceWithClassCall() in meta/src/main/java/org/arend/lib/util/Utils.java	32	10	6
static FunctionMatcher makeFieldMatcher() in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/FunctionMatcher.java	31	19	8
public List match() in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ExpressionFunctionMatcher.java	31	8	1
private boolean visitArgs() in meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	31	11	5
private static boolean getTupleOfRefs() in meta/src/main/java/org/arend/lib/util/Utils.java	31	9	3
protected Pair simplifySubexpression() in meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java	30	9	1