1
1
mirror of https://github.com/github/semantic.git synced 2025-01-04 21:47:07 +03:00
Commit Graph

80 Commits

Author SHA1 Message Date
Rob Rix
1134f7a9e9 Add a fixture for an unrestricted diff. 2015-10-14 17:46:50 -04:00
Rob Rix
90864e397b Avoid an annotation. 2015-10-14 17:46:41 -04:00
Rob Rix
0cb72943b1 Rename the test case. 2015-10-14 17:44:19 -04:00
Rob Rix
d9e7798dde Test that comparisons of disjoint-categorized terms are restricted. 2015-10-14 17:41:51 -04:00
Rob Rix
1f23ec9e47 Extract the diff into a private global. 2015-10-14 17:39:53 -04:00
Rob Rix
7a03f09fe9 Test that comparisons are restricted by nil returns from recur. 2015-10-14 16:43:08 -04:00
Rob Rix
ed10ec1257 Write the fixtures using the typealias. 2015-10-14 16:10:23 -04:00
Rob Rix
35617fee70 Add typealiases for Diff and Term. 2015-10-14 16:09:58 -04:00
Rob Rix
ff559845d8 Add a couple of fixtures. 2015-10-14 16:07:07 -04:00
Rob Rix
0c78e344ad Stub in a test suite for Algorithm. 2015-10-14 15:57:58 -04:00
Rob Rix
b8f8953f1c Return the identity diff when equal. 2015-10-14 12:29:40 -04:00
Rob Rix
517c87c303 Revert "Revert "SES does not take an equality test.""
This reverts commit bb73f6eac2b59599607369767e9e221e7e5e0f15.
2015-10-14 12:28:45 -04:00
Rob Rix
a7f4d91d56 Revert "SES does not take an equality test."
This reverts commit 1db8bdf82c85a490188882b810cd9c516e4f210e.

Conflicts:
	prototype/Doubt/SES.swift
	prototype/DoubtTests/SESTests.swift
2015-10-14 12:25:38 -04:00
Rob Rix
8d4a91d3a9 Merge branch 'parameterize-algorithm-evaluation-by-comparison-restriction' into generalize-patch
Conflicts:
	prototype/Doubt/SES.swift
	prototype/DoubtTests/SESTests.swift
2015-10-14 12:24:04 -04:00
Rob Rix
6e5335c915 SES tests operate over strings. 2015-10-14 12:19:38 -04:00
Rob Rix
34258b98b8 Generalize Patch from Fix<A> to A. 2015-10-14 12:17:39 -04:00
Rob Rix
e33f733d83 SES does not take an equality test. 2015-10-14 12:14:15 -04:00
Rob Rix
a15687dca3 Correct a test fixture.
I am unbelievably glad to be rid of this.
2015-10-13 18:05:28 -04:00
Rob Rix
5f395c55cf Disallow diagonal edges.
This technically still allows (in fact, requires) them for equal
elements, but it will never construct `Patch.Replace`.
2015-10-13 18:05:11 -04:00
Rob Rix
290ff8853c SESTests uses the constructor conveniences. 2015-10-09 18:09:15 -04:00
Rob Rix
3b8b10a4a2 Test that empty docs have empty layout. 2015-10-07 17:22:53 -04:00
Rob Rix
804e831705 🔥 SwiftTests.
This was not really testing anything anyway.
2015-10-07 17:20:02 -04:00
Rob Rix
fb41713906 Replace roll() with Diff(). 2015-10-06 17:48:17 -04:00
Rob Rix
833d27c54a Test an insertion at the end. 2015-10-06 17:29:06 -04:00
Rob Rix
6e799e0b79 Test a deletion at the end. 2015-10-06 17:28:25 -04:00
Rob Rix
17191dd8ab Correct the tests to equate arrays of diffs by element, and not by memory (!).
- rdar://22996431
- rdar://22996542
2015-10-06 16:23:48 -04:00
Rob Rix
3cc732f54e Rename DiffTests to SESTests. 2015-10-06 14:25:18 -04:00
Rob Rix
0a6a136bff 🔥 Vertex & VertexTests. 2015-10-06 14:24:56 -04:00
Rob Rix
9b6a3f6e36 Remove the fixme because it has been fixed. 2015-10-06 14:23:59 -04:00
Rob Rix
a9349c33dc Port the SES example from the paper. 2015-10-06 13:27:06 -04:00
Rob Rix
48a0935d5c Use the little API for deletion fixtures. 2015-10-06 13:26:44 -04:00
Rob Rix
69d42e121c Port insertion/deletion in the middle. 2015-10-06 13:25:56 -04:00
Rob Rix
9761ba3d98 Port insertion/deletion at head. 2015-10-06 13:25:27 -04:00
Rob Rix
b23a8ac6f7 Rename copy to roll so we can actually call it from within the tests. 2015-10-06 13:25:09 -04:00
Rob Rix
1473d5648b Port the pure insert/delete tests. 2015-10-06 13:22:54 -04:00
Rob Rix
0d8c080f35 Add a little API for diffs. 2015-10-06 13:22:37 -04:00
Rob Rix
5a86df7a8d Assert equality using Assertions.assert. 2015-10-06 13:16:43 -04:00
Rob Rix
cd2faed7ce Add a typealias for diffs. 2015-10-06 13:16:32 -04:00
Rob Rix
ea09799e58 import Assertions. 2015-10-06 13:16:23 -04:00
Rob Rix
286b91a88d Add a wrapper function to compute the SES. 2015-10-06 13:12:53 -04:00
Rob Rix
1ecafbff43 Import Doubt testably. 2015-10-06 13:10:45 -04:00
Rob Rix
c35e31ad4a Define the Term fixtures using Fix. 2015-10-06 12:58:07 -04:00
Rob Rix
daf5f8ed9e Add a typealias for the Term fixtures. 2015-10-06 12:57:48 -04:00
Rob Rix
05a7c1a037 Remove Syntax.Empty. 2015-10-02 12:37:09 -04:00
Rob Rix
5dd80cb0ce Diff is defined over Term<Info>.
This enables diffs to operate on categorized Terms.
2015-09-30 16:05:39 -04:00
Rob Rix
2d0991b91f Abstract Term over a type parameter A. 2015-09-30 14:42:58 -04:00
Rob Rix
a0f562d25e Leaves, not Literals. 2015-09-30 11:03:55 -04:00
Rob Rix
9147dd72db Add a test of SES over slightly longer sequences to demonstrate the performance problem. 2015-09-28 14:28:36 -04:00
Rob Rix
1a6f6b588b Add a Fibonacci stream to the tests. 2015-09-28 10:29:31 -04:00
Rob Rix
b97e2e4833 Test Vertex construction. 2015-09-28 09:55:04 -04:00