@@ -25,49 +25,49 @@ class jsil_languaget:public languaget
25
25
virtual bool preprocess (
26
26
std::istream &instream,
27
27
const std::string &path,
28
- std::ostream &outstream);
28
+ std::ostream &outstream) override ;
29
29
30
30
virtual bool parse (
31
31
std::istream &instream,
32
- const std::string &path);
32
+ const std::string &path) override ;
33
33
34
34
virtual bool typecheck (
35
35
symbol_tablet &context,
36
- const std::string &module);
36
+ const std::string &module) override ;
37
37
38
- virtual bool final (symbol_tablet &context);
38
+ virtual bool final (symbol_tablet &context) override ;
39
39
40
- virtual void show_parse (std::ostream &out);
40
+ virtual void show_parse (std::ostream &out) override ;
41
41
42
42
virtual ~jsil_languaget ();
43
43
jsil_languaget () { }
44
44
45
45
virtual bool from_expr (
46
46
const exprt &expr,
47
47
std::string &code,
48
- const namespacet &ns);
48
+ const namespacet &ns) override ;
49
49
50
50
virtual bool from_type (
51
51
const typet &type,
52
52
std::string &code,
53
- const namespacet &ns);
53
+ const namespacet &ns) override ;
54
54
55
55
virtual bool to_expr (
56
56
const std::string &code,
57
57
const std::string &module,
58
58
exprt &expr,
59
- const namespacet &ns);
59
+ const namespacet &ns) override ;
60
60
61
- virtual std::unique_ptr<languaget> new_language ()
61
+ virtual std::unique_ptr<languaget> new_language () override
62
62
{ return util_make_unique<jsil_languaget>(); }
63
63
64
- virtual std::string id () const { return " jsil" ; }
65
- virtual std::string description () const
64
+ virtual std::string id () const override { return " jsil" ; }
65
+ virtual std::string description () const override
66
66
{ return " Javascript Intermediate Language" ; }
67
- virtual std::set<std::string> extensions () const ;
67
+ virtual std::set<std::string> extensions () const override ;
68
68
69
- virtual void modules_provided (std::set<std::string> &modules);
70
- virtual bool interfaces (symbol_tablet &symbol_table);
69
+ virtual void modules_provided (std::set<std::string> &modules) override ;
70
+ virtual bool interfaces (symbol_tablet &symbol_table) override ;
71
71
72
72
virtual bool generate_start_function (
73
73
const class symbolt &entry_function_symbol,
0 commit comments