24 Commits

Author	SHA1	Message	Date
Aldo Cortesi	bcba55cc26	Strike times token on copy	2015-05-17 16:42:59 +12:00
Aldo Cortesi	abe1f09f2c	HTTP and websocket requests now have an xN clause to repeat	2015-05-17 15:52:56 +12:00
Aldo Cortesi	d80fbc2410	websockets: raw body specification	2015-05-17 15:38:13 +12:00
Aldo Cortesi	bddf81edfc	websockets: lINTEGER to specify payload length	2015-05-17 11:31:02 +12:00
Aldo Cortesi	cd2fb13b3e	websockets: replace the "raw" with a simpler mechanism ... You can now say "knone" to specifiy that no key should be generated under any circumstances.	2015-05-17 11:04:53 +12:00
Aldo Cortesi	e4feba5433	Introduce and enfoce uniqueness constraints for language components	2015-05-17 10:43:30 +12:00
Aldo Cortesi	2ee60783b6	websockets: client and server flavors, key and mask specification	2015-05-16 11:31:53 +12:00
Aldo Cortesi	d66dedc6e7	websockets: mask specification ... - Add a FixedLengthValue - Use it to implement a 4-byte mask specifier - Adjust docs	2015-05-16 09:42:47 +12:00
Aldo Cortesi	2beae27541	websockets: fix actions on frames	2015-05-05 11:16:29 +12:00
Aldo Cortesi	589deb9fe1	websockets: specification of fin, mask, rsv1-3 bits.	2015-05-04 10:48:35 +12:00
Aldo Cortesi	5b6d3a80bb	websockets: code specification	2015-05-03 13:54:52 +12:00
Aldo Cortesi	67d2993339	Lower-case rather than upper-case to canonicalize names ... Marginally less finicky	2015-05-03 12:59:21 +12:00
Aldo Cortesi	3f5ec4b737	PreValue -> Value	2015-05-03 12:54:25 +12:00
Aldo Cortesi	cc434ded89	Clarify token/component split through naming ... Tokens are now Tok*	2015-05-03 12:53:28 +12:00
Aldo Cortesi	e35e6d90b9	Remove bundled pyparsing, install as external package ... Adapt ValueLiteral parsing to suit	2015-05-03 10:11:51 +12:00
Aldo Cortesi	bf71a9a2a0	base.PathodSpec -> http.PathodResponse	2015-05-03 08:56:19 +12:00
Aldo Cortesi	a46e17459d	Language: minor refactoring and whitespace	2015-05-03 08:51:57 +12:00
Aldo Cortesi	5d5f2bdd1f	Split out language messages and actions	2015-05-03 08:02:13 +12:00
Aldo Cortesi	24437ba180	Revamp header components in language	2015-05-02 22:32:57 +12:00
Aldo Cortesi	fffee660e5	language: create and use Integer and PreValue generics	2015-05-02 21:42:09 +12:00
Aldo Cortesi	0ffd14372a	Refactor language to move specific tokens into protocol module ... This patch makes progress on language/http.py	2015-05-02 21:27:11 +12:00
Aldo Cortesi	2091d16387	test coverage: generators and websockets to 100%	2015-05-02 17:19:48 +12:00
Aldo Cortesi	5b48c69a6a	Split language test suite: generators ... Also remove some unused code	2015-05-02 16:53:48 +12:00
Aldo Cortesi	9109b3cc8c	Massive refactoring to split up language implementation.	2015-05-02 16:17:00 +12:00