JetBrains / Arend

Duplication

Places in code with 6 or more lines that are exactly the same.

Longest Duplicates

The list of 50 longest duplicates.

See data for all 140 duplicates...

Size	#	Folders	Files	Lines	Code
16	x 2	base/src/main/java/org/arend/naming/scope base/src/main/java/org/arend/naming/scope	LexicalScope.java LexicalScope.java	128:148 (7%) 278:299 (7%)	view
14	x 2	base/src/main/java/org/arend/term/concrete base/src/main/java/org/arend/term/concrete	Concrete.java Concrete.java	2293:2312 (<1%) 2374:2393 (<1%)	view
13	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	DataDefinition.java FunctionDefinition.java	186:206 (9%) 169:189 (9%)	view
12	x 2	base/src/main/java/org/a.../implicitargs/equations base/src/main/java/org/a.../implicitargs/equations	DummyEquations.java LevelEquationsWrapper.java	23:43 (25%) 21:41 (23%)	view
11	x 2	base/src/main/java/org/arend/core/context/param base/src/main/java/org/arend/core/context/param	TypedDependentLink.java UntypedDependentLink.java	57:73 (13%) 52:68 (14%)	view
11	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	Constructor.java FunctionDefinition.java	171:189 (7%) 72:90 (8%)	view
11	x 2	base/src/main/java/org/arend/core/pattern base/src/main/java/org/arend/core/pattern	BindingPattern.java EmptyPattern.java	40:56 (15%) 42:58 (18%)	view
10	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	Constructor.java DataDefinition.java	204:219 (6%) 201:216 (7%)	view
10	x 2	base/src/main/java/org/arend/core/pattern base/src/main/java/org/arend/core/pattern	BindingPattern.java EmptyPattern.java	120:132 (13%) 104:116 (17%)	view
10	x 2	base/src/main/java/org/arend/module/serialization base/src/main/java/org/arend/module/serialization	DefinitionSerialization.java DefinitionSerialization.java	256:267 (2%) 378:389 (2%)	view
9	x 2	base/src/main/java/org/arend/core/context/param base/src/main/java/org/arend/core/context/param	UntypedDependentLink.java UntypedSingleDependentLink.java	105:117 (12%) 42:54 (24%)	view
9	x 2	base/src/main/java/org/arend/source cli/src/main/java/org/arend/frontend/source	FileBinarySource.java FileRawSource.java	50:61 (25%) 33:44 (50%)	view
9	x 2	base/src/main/java/org/arend/core/context/param base/src/main/java/org/arend/core/context/param	TypedDependentLink.java UntypedDependentLink.java	87:99 (11%) 105:117 (12%)	view
9	x 2	base/src/main/java/org/arend/core/context/param base/src/main/java/org/arend/core/context/param	TypedDependentLink.java UntypedSingleDependentLink.java	87:99 (11%) 42:54 (24%)	view
8	x 2	base/src/main/java/org/arend/typechecking/visitor base/src/main/java/org/arend/typechecking/visitor	CheckTypeVisitor.java CheckTypeVisitor.java	754:765 (<1%) 2354:2365 (<1%)	view
8	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	DataDefinition.java FunctionDefinition.java	56:67 (5%) 90:101 (5%)	view
8	x 2	base/src/main/java/org/arend/repl/action base/src/main/java/org/arend/repl/action	PrintCommand.java SizeCommand.java	23:30 (36%) 23:30 (40%)	view
8	x 2	base/src/main/java/org/arend/error base/src/main/java/org/a...ypechecking/error/local	ParsingError.java CertainTypecheckingError.java	18:28 (21%) 26:36 (25%)	view
8	x 2	base/src/main/java/org/arend/core/expr/visitor base/src/main/java/org/arend/core/subst	ElimBindingVisitor.java SubstVisitor.java	472:483 (2%) 309:320 (3%)	view
8	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	BigIntegerExpression.java SmallIntegerExpression.java	102:109 (12%) 148:155 (8%)	view
8	x 2	cli/src/main/java/org/arend/frontend/repl/jline cli/src/main/java/org/arend/frontend/repl/jline	Completers.java Completers.java	54:65 (7%) 101:112 (7%)	view
8	x 2	base/src/main/java/org/arend/core/context/binding base/src/main/java/org/arend/core/context/binding	LevelVariable.java LevelVariable.java	55:66 (12%) 87:98 (12%)	view
8	x 2	base/src/main/java/org/arend/core/elimtree base/src/main/java/org/arend/core/expr	IntervalElim.java AtExpression.java	118:131 (10%) 98:110 (12%)	view
8	x 2	base/src/main/java/org/arend/module/serialization base/src/main/java/org/arend/module/serialization	DefinitionDeserialization.java ExpressionDeserialization.java	502:512 (2%) 222:232 (2%)	view
7	x 2	base/src/main/java/org/arend/extImpl base/src/main/java/org/arend/extImpl	ConcreteFactoryImpl.java ConcreteFactoryImpl.java	330:339 (1%) 344:353 (1%)	view
7	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	DataDefinition.java FunctionDefinition.java	125:135 (5%) 132:142 (5%)	view
7	x 2	base/src/main/java/org/arend/term/concrete base/src/main/java/org/arend/term/concrete	Concrete.java Concrete.java	2048:2056 (<1%) 2235:2243 (<1%)	view
7	x 2	base/src/main/java/org/arend/term/concrete base/src/main/java/org/arend/term/concrete	SearchConcreteVisitor.java SearchConcreteVisitor.java	249:255 (3%) 261:267 (3%)	view
7	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	FunctionDefinition.java MetaTopDefinition.java	228:236 (5%) 73:81 (14%)	view
7	x 2	base/src/main/java/org/arend/term/prettyprint base/src/main/java/org/arend/term/prettyprint	PrettyPrintVisitor.java PrettyPrintVisitor.java	1123:1132 (<1%) 1484:1493 (<1%)	view
7	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	Constructor.java DataDefinition.java	161:171 (4%) 186:196 (5%)	view
7	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	Constructor.java FunctionDefinition.java	161:171 (4%) 169:179 (5%)	view
7	x 2	base/src/main/java/org/arend/naming/scope base/src/main/java/org/arend/naming/scope	ClassFieldImplScope.java ClassFieldImplScope.java	51:59 (9%) 67:75 (9%)	view
7	x 2	base/src/main/java/org/arend/core/context/param base/src/main/java/org/arend/core/context/param	UntypedDependentLink.java UntypedSingleDependentLink.java	96:103 (9%) 33:40 (18%)	view
7	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	BoxExpression.java ErrorExpression.java	53:63 (18%) 138:148 (7%)	view
7	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	DataDefinition.java FunctionDefinition.java	216:226 (5%) 214:224 (5%)	view
7	x 2	base/src/main/java/org/a...aming/resolving/visitor base/src/main/java/org/a...aming/resolving/visitor	DefinitionResolveNameVisitor.java DefinitionResolveNameVisitor.java	150:160 (1%) 615:625 (1%)	view
7	x 2	base/src/main/java/org/arend/source cli/src/main/java/org/arend/frontend/source	ZipFileBinarySource.java ZipFileRawSource.java	30:40 (26%) 21:31 (43%)	view
7	x 2	base/src/main/java/org/arend/term/prettyprint base/src/main/java/org/arend/term/prettyprint	MinimizedRepresentation.java MinimizedRepresentation.java	147:156 (2%) 163:172 (2%)	view
7	x 2	base/src/main/java/org/arend/prelude base/src/main/java/org/arend/source	PreludeResourceSource.java ZipFileBinarySource.java	38:48 (28%) 30:40 (26%)	view
7	x 2	base/src/main/java/org/arend/prelude cli/src/main/java/org/arend/frontend/source	PreludeResourceSource.java ZipFileRawSource.java	38:48 (28%) 21:31 (43%)	view
7	x 2	base/src/main/java/org/arend/term/prettyprint base/src/main/java/org/arend/term/prettyprint	PrettyPrintVisitor.java PrettyPrintVisitor.java	1091:1099 (<1%) 1157:1165 (<1%)	view
7	x 2	base/src/main/java/org/arend/core/context/binding base/src/main/java/org/arend/core/expr/let	PersistentEvaluatingBinding.java HaveClause.java	13:23 (36%) 38:48 (28%)	view
7	x 2	base/src/main/java/org/arend/naming/reference base/src/main/java/org/arend/naming/reference	LongUnresolvedReference.java NamedUnresolvedReference.java	32:40 (3%) 20:28 (11%)	view
6	x 2	base/src/main/java/org/arend/core/definition base/src/main/java/org/arend/core/definition	Constructor.java FunctionDefinition.java	209:216 (3%) 198:205 (4%)	view
6	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	LamExpression.java SigmaExpression.java	82:89 (11%) 87:94 (12%)	view
6	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	PathExpression.java TupleExpression.java	62:69 (16%) 48:55 (20%)	view
6	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	StringExpression.java TypeConstructorExpression.java	37:44 (27%) 186:193 (5%)	view
6	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	TypeConstructorExpression.java UniverseExpression.java	186:193 (5%) 85:92 (12%)	view
6	x 2	base/src/main/java/org/arend/core/expr base/src/main/java/org/arend/core/expr	PiExpression.java TupleExpression.java	187:194 (5%) 48:55 (20%)	view

Duplicated Units

The list of top 1 duplicated units.

See data for all 1 unit duplicate

Size	#	Folders	Files	Lines	Code
6	x 2	base/src/main/java/org/arend/core/pattern base/src/main/java/org/arend/core/pattern	EmptyPattern.java BindingPattern.java	105:112  121:128	view