]> git.donarmstrong.com Git - lilypond.git/blob - lily/lily-parser.cc
2d006f8d788894fe0c8b4407a16279d18c78a757
[lilypond.git] / lily / lily-parser.cc
1 /*
2   This file is part of LilyPond, the GNU music typesetter.
3
4   Copyright (C) 1997--2015 Han-Wen Nienhuys <hanwen@xs4all.nl>
5   Jan Nieuwenhuizen <janneke@gnu.org>
6
7   LilyPond is free software: you can redistribute it and/or modify
8   it under the terms of the GNU General Public License as published by
9   the Free Software Foundation, either version 3 of the License, or
10   (at your option) any later version.
11
12   LilyPond is distributed in the hope that it will be useful,
13   but WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15   GNU General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
19 */
20
21 #include "lily-parser.hh"
22
23 #include "book.hh"
24 #include "file-name.hh"
25 #include "file-path.hh"
26 #include "international.hh"
27 #include "lily-lexer.hh"
28 #include "lily-version.hh"
29 #include "ly-module.hh"
30 #include "main.hh"
31 #include "output-def.hh"
32 #include "paper-book.hh"
33 #include "parser.hh"
34 #include "score.hh"
35 #include "source-file.hh"
36 #include "sources.hh"
37 #include "warn.hh"
38 #include "program-option.hh"
39
40
41 Lily_parser::Lily_parser (Sources *sources)
42 {
43   lexer_ = 0;
44   sources_ = sources;
45   default_duration_ = Duration (2, 0);
46   default_tremolo_type_ = 8;
47   error_level_ = 0;
48   closures_ = SCM_EOL;
49
50   smobify_self ();
51
52   lexer_ = new Lily_lexer (sources_, this);
53   lexer_->unprotect ();
54 }
55
56 Lily_parser::Lily_parser (Lily_parser const &src, SCM closures, SCM location)
57   : Smob<Lily_parser> ()
58 {
59   lexer_ = 0;
60   sources_ = src.sources_;
61   default_duration_ = src.default_duration_;
62   default_tremolo_type_ = src.default_tremolo_type_;
63   error_level_ = 0;
64   output_basename_ = src.output_basename_;
65   closures_ = closures;
66
67   smobify_self ();
68   if (src.lexer_)
69     {
70       lexer_ = new Lily_lexer (*src.lexer_, this, location);
71       lexer_->unprotect ();
72     }
73 }
74
75 Lily_parser::~Lily_parser ()
76 {
77 }
78
79 SCM
80 Lily_parser::mark_smob ()
81 {
82   scm_gc_mark (closures_);
83   return (lexer_) ? lexer_->self_scm () : SCM_EOL;
84 }
85
86 int
87 Lily_parser::print_smob (SCM port, scm_print_state *)
88 {
89   scm_puts ("#<Lily_parser ", port);
90   if (lexer_)
91     scm_display (lexer_->self_scm (), port);
92   else
93     scm_puts ("(no lexer yet)", port);
94   scm_puts (" >", port);
95   return 1;
96 }
97
98 /* Process one .ly file, or book.  */
99 void
100 Lily_parser::parse_file (const string &init, const string &name, const string &out_name)
101 {
102   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
103   output_basename_ = out_name;
104
105   lexer_->main_input_name_ = name;
106
107   message (_ ("Parsing..."));
108
109   set_yydebug (0);
110
111   lexer_->new_input (init, sources_);
112
113   File_name f (name);
114   string s = global_path.find (f.base_ + ".twy");
115   s = gulp_file_to_string (s, false, -1);
116   scm_eval_string (ly_string2scm (s));
117
118   /* Read .ly IN_FILE, lex, parse, write \score blocks from IN_FILE to
119      OUT_FILE (unless IN_FILE redefines output file name).  */
120
121   SCM mod = lexer_->set_current_scope ();
122   do
123     {
124       do_yyparse ();
125     }
126   while (!lexer_->is_clean ());
127
128   /*
129     Don't mix cyclic pointers with weak tables.
130   */
131   lexer_->set_identifier (ly_symbol2scm ("parser"),
132                           SCM_EOL);
133   ly_reexport_module (scm_current_module ());
134
135   scm_set_current_module (mod);
136
137   error_level_ = error_level_ | lexer_->error_level_;
138   clear ();
139 }
140
141 void
142 Lily_parser::parse_string (const string &ly_code)
143 {
144   lexer_->main_input_name_ = "<string>";
145   lexer_->new_input (lexer_->main_input_name_, ly_code, sources_);
146
147   SCM mod = lexer_->set_current_scope ();
148   SCM parser = lexer_->lookup_identifier_symbol (ly_symbol2scm ("parser"));
149   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
150   do_yyparse ();
151   lexer_->set_identifier (ly_symbol2scm ("parser"), parser);
152   scm_set_current_module (mod);
153
154   error_level_ = error_level_ | lexer_->error_level_;
155 }
156
157 SCM
158 Lily_parser::parse_string_expression (const string &ly_code, const string &filename,
159                                       int line)
160 {
161   lexer_->main_input_name_ = filename;
162   lexer_->new_input (lexer_->main_input_name_, ly_code, sources_);
163   if (line)
164     {
165       lexer_->get_source_file ()->set_line (0, line);
166     }
167   SCM mod = lexer_->set_current_scope ();
168   SCM parser = lexer_->lookup_identifier_symbol (ly_symbol2scm ("parser"));
169   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
170   lexer_->push_extra_token (Input (), EMBEDDED_LILY);
171   SCM result = do_yyparse ();
172
173   lexer_->set_identifier (ly_symbol2scm ("parser"), parser);
174   scm_set_current_module (mod);
175
176   error_level_ = error_level_ | lexer_->error_level_;
177   return result;
178 }
179
180 void
181 Lily_parser::include_string (const string &ly_code)
182 {
183   lexer_->new_input ("<included string>", ly_code, sources_);
184 }
185
186 void
187 Lily_parser::clear ()
188 {
189   if (lexer_)
190     {
191       while (lexer_->has_scope ())
192         lexer_->remove_scope ();
193     }
194
195   lexer_ = 0;
196 }
197
198 void
199 Lily_parser::parser_error (const string &s)
200 {
201   lexer_->here_input ().error (_ (s.c_str ()));
202   error_level_ = 1;
203 }
204
205 void
206 Lily_parser::parser_error (Input const &i, const string &s)
207 {
208   i.error (s);
209   error_level_ = 1;
210 }
211
212 const char Lily_parser::type_p_name_[] = "ly:lily-parser?";
213
214 /****************************************************************
215   OUTPUT-DEF
216  ****************************************************************/
217
218 Output_def *
219 get_layout (Lily_parser *parser)
220 {
221   SCM id = parser->lexer_->lookup_identifier ("$defaultlayout");
222   Output_def *layout = Output_def::unsmob (id);
223   layout = layout ? layout->clone () : new Output_def;
224   layout->set_variable (ly_symbol2scm ("is-layout"), SCM_BOOL_T);
225
226   return layout;
227 }
228
229 Output_def *
230 get_midi (Lily_parser *parser)
231 {
232   SCM id = parser->lexer_->lookup_identifier ("$defaultmidi");
233   Output_def *layout = Output_def::unsmob (id);
234   layout = layout ? layout->clone () : new Output_def;
235   layout->set_variable (ly_symbol2scm ("is-midi"), SCM_BOOL_T);
236   return layout;
237 }
238
239 /* Return a copy of the top of $papers stack, or $defaultpaper if the
240  * stack is empty */
241 Output_def *
242 get_paper (Lily_parser *parser)
243 {
244   SCM papers = parser->lexer_->lookup_identifier ("$papers");
245   Output_def *layout = (SCM_UNBNDP (papers) || scm_is_null (papers))
246                        ? 0 : Output_def::unsmob (scm_car (papers));
247   SCM default_paper = parser->lexer_->lookup_identifier ("$defaultpaper");
248   layout = layout ? layout : Output_def::unsmob (default_paper);
249
250   layout = layout ? dynamic_cast<Output_def *> (layout->clone ()) : new Output_def;
251   layout->set_variable (ly_symbol2scm ("is-paper"), SCM_BOOL_T);
252   return layout;
253 }
254
255 /* Initialize (reset) the $papers stack */
256 void
257 init_papers (Lily_parser *parser)
258 {
259   parser->lexer_->set_identifier (ly_symbol2scm ("$papers"), SCM_EOL);
260 }
261
262 /* Push a paper on top of $papers stack */
263 void
264 push_paper (Lily_parser *parser, Output_def *paper)
265 {
266   parser->lexer_->set_identifier (ly_symbol2scm ("$papers"),
267                                   scm_cons (paper->self_scm (),
268                                             parser->lexer_->lookup_identifier ("$papers")));
269 }
270
271 /* Pop a paper from $papers stack */
272 void
273 pop_paper (Lily_parser *parser)
274 {
275   if (scm_is_pair (parser->lexer_->lookup_identifier ("$papers")))
276     parser->lexer_->set_identifier (ly_symbol2scm ("$papers"),
277                                     scm_cdr (parser->lexer_->lookup_identifier ("$papers")));
278 }
279
280 /* Change the paper on top of $papers stack */
281 void
282 set_paper (Lily_parser *parser, Output_def *paper)
283 {
284   scm_set_car_x (parser->lexer_->lookup_identifier ("$papers"), paper->self_scm ());
285 }
286
287 SCM
288 get_header (Lily_parser *parser)
289 {
290   SCM id = parser->lexer_->lookup_identifier ("$defaultheader");
291   if (!ly_is_module (id))
292     id = parser->make_scope ();
293   else
294     {
295       SCM nid = parser->make_scope ();
296       ly_module_copy (nid, id);
297       id = nid;
298     }
299
300   return id;
301 }
302
303 SCM
304 Lily_parser::make_scope () const
305 {
306   SCM module = ly_make_module (be_safe_global);
307   return module;
308 }