Lucas Bajolet [Thu, 14 Nov 2013 18:21:40 +0000 (13:21 -0500)]
Moved NitIndex redefintion from Debugger to Nitx
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Lucas Bajolet [Wed, 13 Nov 2013 20:50:01 +0000 (15:50 -0500)]
Added nit index to debugger.nit
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Jean Privat [Tue, 12 Nov 2013 15:02:40 +0000 (10:02 -0500)]
phases: remove useless module dependencies
now that the super of nitc is fixed
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 15:01:26 +0000 (10:01 -0500)]
tests: add base_orelse2
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 06:47:19 +0000 (01:47 -0500)]
typing: `or else` fallback to Object
now you can write
print "bla: {toto or else "n/a"}"
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 05:54:28 +0000 (00:54 -0500)]
model: really implement precondition of lookup_first_definition
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 05:38:08 +0000 (00:38 -0500)]
modelbuilder: extra-warn useless type declaration of attributes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 03:21:46 +0000 (22:21 -0500)]
src: remove old style attributes in nitg-related clases
parser and lib remains
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 03:02:09 +0000 (22:02 -0500)]
modelbuilder: prevent names of formal type to have lowercases
fixes #97
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 01:12:58 +0000 (20:12 -0500)]
lib: move counter more_collections and poset to lib/
They may be useful to other, even if not really API-clean.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 18:27:42 +0000 (13:27 -0500)]
Merge branch 'tests'
Jean Privat [Mon, 11 Nov 2013 18:27:07 +0000 (13:27 -0500)]
tests: add missing sav for libs nitcc_runtime and sqlite3
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 13:53:03 +0000 (08:53 -0500)]
tests: strict order on tests.sh
Each engine has a strict order for sav/ to look at.
Error is issued if the first in the order is not the expected result.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 13:51:18 +0000 (08:51 -0500)]
tests: cleanup sav directory
only .res (no more .sav or .fail)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 05:38:49 +0000 (00:38 -0500)]
tests: remove store_save.sh
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:26:24 +0000 (16:26 -0500)]
tools: add mkcsrc2 prototype to bootstrap with nitg from C
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:17:42 +0000 (16:17 -0500)]
tests: update nitg.res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:15:44 +0000 (16:15 -0500)]
nitg: add option --compile-dir to change the default compile directory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:15:03 +0000 (16:15 -0500)]
nitg: path in Makefile is relative to the compile_dir
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 21:49:29 +0000 (16:49 -0500)]
Merge remote-tracking branch 'alexandre/nitdoc'
Alexandre Terrasa [Thu, 7 Nov 2013 18:48:43 +0000 (13:48 -0500)]
nitg: fixes iterators crashes for test in
62cdb9a9633767baafb04f66fdad79a46d2e9a69
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Nov 2013 18:16:25 +0000 (13:16 -0500)]
make: add --private to newmodel documentation
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Thu, 7 Nov 2013 17:56:41 +0000 (12:56 -0500)]
tests: display binary, name and options of current engine
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 16:41:40 +0000 (11:41 -0500)]
tests: rename engine `nitg` to `nitg-g` ; alias `nitg` to `nitg-s`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 16:24:23 +0000 (11:24 -0500)]
tests: FIXME `for` crashes with formal types
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 04:58:26 +0000 (23:58 -0500)]
lib/mnit: do not use "loop do"
the break is now attached to the do, not the loop
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 04:19:12 +0000 (23:19 -0500)]
scope: break and continue affect the nearest do/end
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 15:46:07 +0000 (07:46 -0800)]
doc: add a unit test for has_prefix
Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 15:47:55 +0000 (10:47 -0500)]
Makefile: use `git rev-parse HEAD` instead of crazy `git show` commands
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 11:53:47 +0000 (06:53 -0500)]
Merge remote-tracking branch 'alexandre/nitdoc'
Alexandre Terrasa [Wed, 6 Nov 2013 00:55:27 +0000 (19:55 -0500)]
nitdoc: Replace old nitdoc by nitdoc_ni
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Nov 2013 00:54:30 +0000 (19:54 -0500)]
added swap files, tests results and Eclipse project file to git ignore
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Nov 2013 00:53:39 +0000 (19:53 -0500)]
modelbuilder: avoid multiple load of the same module
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Fri, 1 Nov 2013 00:19:25 +0000 (20:19 -0400)]
nitcc: remove the use of NaiveCollection
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 22:37:14 +0000 (18:37 -0400)]
Merge branch 'nitcc'
Jean Privat [Thu, 31 Oct 2013 22:33:28 +0000 (18:33 -0400)]
nitcc: cleanup README (TODO use github Task List)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:32:53 +0000 (12:32 -0400)]
nitcc: add test/ignored
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:32:23 +0000 (12:32 -0400)]
nitcc: allows elem_list in Ignored
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 20:40:26 +0000 (16:40 -0400)]
nitcc: avoid conflict in ignored for test/empty
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:27:53 +0000 (12:27 -0400)]
nitcc: add Token::build_nfa to isolate concerns
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 15:12:45 +0000 (11:12 -0400)]
nitcc: classes and elements allow any forms of text
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 14:27:17 +0000 (10:27 -0400)]
nitcc: add Empty keyword
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:08:56 +0000 (23:08 -0400)]
nitcc: add test/conflict-bracket and test/conflitc-dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:07:37 +0000 (23:07 -0400)]
nitcc: improve auto-dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:06:34 +0000 (23:06 -0400)]
nitcc: improve displaying of firsts/afters/lookahead
since thez are now Items, not Tokens
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 20:17:20 +0000 (16:17 -0400)]
nitcc: add test/priority.input1
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 20:12:35 +0000 (16:12 -0400)]
nitcc: add automatic Dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 18:57:56 +0000 (14:57 -0400)]
Merge remote-tracking branch 'alexis/ready-for-ffi'
Alexis Laferrière [Fri, 2 Aug 2013 16:23:37 +0000 (12:23 -0400)]
model: all extern classes are subclasses of Pointer
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 31 Aug 2013 14:55:46 +0000 (10:55 -0400)]
nitg: adds process_nclassdef to Phase
Will be used by FFI's language visitors.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 19 Oct 2013 14:01:21 +0000 (10:01 -0400)]
lib: adds `from_a` constructor to all processes (and cleanup whitespaces)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 13 Jun 2013 12:10:55 +0000 (08:10 -0400)]
lib: adds Pointer::address_is_null to kernel module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Wed, 31 Jul 2013 01:51:47 +0000 (21:51 -0400)]
tests: adds a FFI test for casts
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Wed, 30 Oct 2013 16:10:16 +0000 (12:10 -0400)]
nitcc: store item instead of tokens in lookahead
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 14:02:44 +0000 (10:02 -0400)]
nitcc: Automaton::to_dot does not display the objectid
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 14:02:04 +0000 (10:02 -0400)]
nitcc: solve inclusion before outputting the DFA
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 13:53:00 +0000 (09:53 -0400)]
nitcc: remove forgotten debugging print
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 13:50:11 +0000 (09:50 -0400)]
nitcc: remove buggy LALR, use SLR instead
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 03:39:53 +0000 (23:39 -0400)]
nitcc: add new PoV Node::depth
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 03:09:18 +0000 (23:09 -0400)]
nitcc: merge Nodes#items and Node#children
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:59:58 +0000 (22:59 -0400)]
nitcc: add tests/lexer-aaa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:55:08 +0000 (22:55 -0400)]
nitcc: add Automaton::reverse
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:54:47 +0000 (22:54 -0400)]
nitcc: uptate tests wrt DFA minimization
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:54:12 +0000 (22:54 -0400)]
nitcc: minimize DFA
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 16:05:39 +0000 (12:05 -0400)]
misc/source-highlight: multiline-strings
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 04:07:58 +0000 (00:07 -0400)]
nitcc: efficient intervals in nfa/dfa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 03:54:36 +0000 (23:54 -0400)]
nitcc: use 'Any' in minilang and json
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 25 Oct 2013 14:48:13 +0000 (10:48 -0400)]
lib: detach ForAbuser from Collection
Since it is no more a requirement.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 21:40:29 +0000 (17:40 -0400)]
nitcc: update tests for longest/shortest
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 21:33:46 +0000 (17:33 -0400)]
nitcc: add Shortest/Longest
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 21:27:48 +0000 (17:27 -0400)]
nitcc: Automaton::to_dot include tag names even in non accept states
This is mainly for debug
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 21:26:35 +0000 (17:26 -0400)]
nitcc: reject tokens that match nothing
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 20:08:11 +0000 (16:08 -0400)]
nitcc: remove And/Except hack on nicc_parser_gen
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:35:10 +0000 (15:35 -0400)]
nitcc: update README with Except and And
Jean Privat [Thu, 24 Oct 2013 19:25:57 +0000 (15:25 -0400)]
nitcc: update tests for And and Except
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:25:01 +0000 (15:25 -0400)]
nitcc: add And and Except
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:21:28 +0000 (15:21 -0400)]
nitcc: add Automaton::clear_tag
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:20:22 +0000 (15:20 -0400)]
nitcc: fix visibility of Nelem::set_elem
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:20:00 +0000 (15:20 -0400)]
nitcc: fix print with nullable
Error messages require a better approach.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:18:55 +0000 (15:18 -0400)]
nitcc: add Automation::tag_acept and Automaton::absorb
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 19:17:45 +0000 (15:17 -0400)]
nitcc: Makefile add nitcc.sablecc in some rule arguments
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 24 Oct 2013 15:59:22 +0000 (11:59 -0400)]
examples: update curl_http to have a consistant behavior on tests
Signed-off-by: Jean Privat <jean@pryen.org>
Alexandre Terrasa [Fri, 18 Oct 2013 19:04:35 +0000 (15:04 -0400)]
lib: Implemented HeaderMapIterator on Curl
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Fri, 18 Oct 2013 19:04:09 +0000 (15:04 -0400)]
nitg: Changed specification of 'for .. do' statements
Can now iterate over every type that provides an iterator method.
Method iterator must return an instance of Iterator[E] of MapIterator[K, E]
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Thu, 24 Oct 2013 14:53:09 +0000 (10:53 -0400)]
nitcc: generate the dfa.dot file before complaining about buggy tokens
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 22 Oct 2013 00:45:11 +0000 (20:45 -0400)]
nitcc: alttrans need no id
will add better transformations later (maybe)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 22 Oct 2013 00:37:15 +0000 (20:37 -0400)]
nitcc: error on duplicated alternative name
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 22 Oct 2013 00:32:21 +0000 (20:32 -0400)]
nitcc: error on duplicated element name
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 22 Oct 2013 00:31:27 +0000 (20:31 -0400)]
nitcc: error on duplicated expr/prod name
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 21:42:45 +0000 (17:42 -0400)]
nitcc: error if a token is rejected twice
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 21:16:45 +0000 (17:16 -0400)]
nitcc: update README wrt Rejected
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Wed, 7 Aug 2013 15:06:23 +0000 (11:06 -0400)]
tests: adds engine name to conclusion of tests
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 18 Oct 2013 19:12:38 +0000 (15:12 -0400)]
nitcc: reject unknown keywords
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 19:10:13 +0000 (15:10 -0400)]
nitcc: add tests for rejected tokens
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 19:09:03 +0000 (15:09 -0400)]
nitcc: add Rejected tokens
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 19:37:16 +0000 (15:37 -0400)]
nitcc: show the text of the token in NParserError.message
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 17:27:56 +0000 (13:27 -0400)]
nitcc: parser adds the original error token in the node_stack
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 17:14:03 +0000 (13:14 -0400)]
nitcc: lexer do not crash on empty input stream
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 02:52:52 +0000 (22:52 -0400)]
nitcc: update tests with new syntax errors
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 18 Oct 2013 02:51:36 +0000 (22:51 -0400)]
nitcc: remove 'print' in parser error
Information is available in the NError
object.
Signed-off-by: Jean Privat <jean@pryen.org>