nit: Add incremental typing to interpretor
[nit.git] / src / nit.nit
1 # This file is part of NIT ( http://www.nitlanguage.org ).
2 #
3 # Copyright 2012 Jean Privat <jean@pryen.org>
4 #
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
8 #
9 # http://www.apache.org/licenses/LICENSE-2.0
10 #
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
16
17 # A naive Nit interpreter
18 module nit
19
20 import modelbuilder
21 import exprbuilder
22 import naive_interpreter
23 import interpretor_type_test
24
25 # Create a tool context to handle options and paths
26 var toolcontext = new ToolContext
27 # Add an option "-o" to enable compatibilit with the tests.sh script
28 var opt = new OptionString("compatibility (does noting)", "-o")
29 toolcontext.option_context.add_option(opt)
30 # We do not add other options, so process them now!
31 toolcontext.process_options
32
33 # We need a model to collect stufs
34 var model = new Model
35 # An a model builder to parse files
36 var modelbuilder = new ModelBuilder(model, toolcontext)
37
38 var arguments = toolcontext.option_context.rest
39 if arguments.is_empty or toolcontext.opt_help.value then
40 toolcontext.option_context.usage
41 return
42 end
43 var progname = arguments.first
44
45 # Here we load an process all modules passed on the command line
46 var mmodules = modelbuilder.parse_and_build([progname])
47 modelbuilder.full_propdef_semantic_analysis
48
49 if toolcontext.opt_only_metamodel.value then exit(0)
50
51 # Here we launch the interpreter on the main module
52 assert mmodules.length == 1
53 var mainmodule = mmodules.first
54 modelbuilder.run_naive_interpreter(mainmodule, arguments)