JetBrains / arend-lib Duplication

Intro

For duplication, we look at places in code where there are 6 or more lines of code that are exactly the same.
Before duplication is calculated, the code is cleaned to remove empty lines, comments, and frequently duplicated constructs such as imports.
You should aim at having as little as possible (<5%) of duplicated code as high-level of duplication can lead to maintenance difficulties, poor factoring, and logical contradictions.

Learn more...

Duplication Overall

1% duplication:

10,587 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
208 duplicated lines

22 duplicates

dependency graphs: 2D graph | 3D graph | 3D graph (with duplicates)...

Duplication per Extension

Duplication per Component (primary)

Longest Duplicates

The list of 22 longest duplicates.

See data for all 22 duplicates...

Size	#	Folders	Files	Lines	Code
10	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/linear	ExtMeta.java LinearSolverMeta.java	44:59 (1%) 47:62 (27%)	view
10	x 2	meta/src/main/java/org/arend/lib/meta/simplify meta/src/main/java/org/arend/lib/meta/simplify	AbGroupInverseRule.java GroupInverseRule.java	114:125 (13%) 155:166 (9%)	view
9	x 2	meta/src/main/java/org/arend/lib/util meta/src/main/java/org/arend/lib/util	Utils.java Utils.java	352:363 (2%) 381:392 (2%)	view
9	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	UnfoldLetMeta.java UnfoldsMeta.java	17:29 (47%) 18:30 (33%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/debug	UnfoldMeta.java PrintMeta.java	40:53 (11%) 22:35 (33%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta/linear meta/src/main/java/org/arend/lib/meta/simplify	LinearSolverMeta.java SimplifyMeta.java	44:57 (21%) 34:49 (26%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	ExtMeta.java ExtMeta.java	490:497 (1%) 618:625 (1%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta/debug meta/src/main/java/org/arend/lib/meta/debug	PrintMeta.java RandomMeta.java	25:36 (33%) 30:41 (24%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/linear	ClassExtResolver.java LinearSolverMeta.java	23:36 (27%) 44:57 (21%)	view
8	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/simplify	ClassExtResolver.java SimplifyMeta.java	23:36 (27%) 34:49 (26%)	view
7	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/debug	UnfoldMeta.java RandomMeta.java	43:53 (9%) 30:40 (21%)	view
7	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	ClassExtResolver.java ExtMeta.java	26:36 (24%) 44:54 (1%)	view
7	x 2	meta/src/main/java/org/arend/lib/meta/simplify meta/src/main/java/org/arend/lib/meta/simplify	AbGroupInverseRule.java GroupInverseRule.java	99:107 (9%) 144:152 (6%)	view
7	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/simplify	ExtMeta.java SimplifyMeta.java	44:54 (1%) 37:49 (23%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta/simplify meta/src/main/java/org/arend/lib/meta/simplify	MonoidIdentityRule.java MulOfNegativesRule.java	40:45 (15%) 26:31 (18%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta/simplify meta/src/main/java/org/arend/lib/meta/simplify	MulOfNegativesRule.java MultiplicationByZeroRule.java	26:31 (18%) 25:30 (28%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	AssumptionMeta.java ContradictionMeta.java	29:38 (13%) 39:48 (1%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	CasesMeta.java ExtMeta.java	71:78 (2%) 49:56 (1%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta/simplify meta/src/main/java/org/arend/lib/meta/simplify	MonoidIdentityRule.java MultiplicationByZeroRule.java	40:45 (15%) 25:30 (28%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta/linear	CasesMeta.java LinearSolverMeta.java	71:78 (2%) 52:59 (16%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	MatchingCasesMeta.java MatchingCasesMeta.java	578:586 (<1%) 1048:1056 (<1%)	view
6	x 2	meta/src/main/java/org/arend/lib/meta meta/src/main/java/org/arend/lib/meta	InMeta.java OrElseMeta.java	22:31 (25%) 21:30 (31%)	view