]> git.donarmstrong.com Git - lilypond.git/blob - lily/lily-parser.cc
Changes.tely updated - 2.19.x up to September 2014
[lilypond.git] / lily / lily-parser.cc
1 /*
2   This file is part of LilyPond, the GNU music typesetter.
3
4   Copyright (C) 1997--2014 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 {
58   lexer_ = 0;
59   sources_ = src.sources_;
60   default_duration_ = src.default_duration_;
61   default_tremolo_type_ = src.default_tremolo_type_;
62   error_level_ = 0;
63   output_basename_ = src.output_basename_;
64   closures_ = closures;
65
66   smobify_self ();
67   if (src.lexer_)
68     {
69       lexer_ = new Lily_lexer (*src.lexer_, this, location);
70       lexer_->unprotect ();
71     }
72 }
73
74 Lily_parser::~Lily_parser ()
75 {
76 }
77
78 SCM
79 Lily_parser::mark_smob (SCM s)
80 {
81   Lily_parser *parser = (Lily_parser *) SCM_CELL_WORD_1 (s);
82   scm_gc_mark (parser->closures_);
83   return (parser->lexer_) ? parser->lexer_->self_scm () : SCM_EOL;
84 }
85
86 int
87 Lily_parser::print_smob (SCM s, SCM port, scm_print_state *)
88 {
89   scm_puts ("#<Lily_parser ", port);
90   Lily_parser *parser = (Lily_parser *) SCM_CELL_WORD_1 (s);
91   if (parser->lexer_)
92     scm_display (parser->lexer_->self_scm (), port);
93   else
94     scm_puts ("(no lexer yet)", port);
95   scm_puts (" >", port);
96   return 1;
97 }
98
99 /* Process one .ly file, or book.  */
100 void
101 Lily_parser::parse_file (const string &init, const string &name, const string &out_name)
102 {
103   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
104   output_basename_ = out_name;
105
106   lexer_->main_input_name_ = name;
107
108   message (_ ("Parsing..."));
109
110   set_yydebug (0);
111
112   lexer_->new_input (init, sources_);
113
114   File_name f (name);
115   string s = global_path.find (f.base_ + ".twy");
116   s = gulp_file_to_string (s, false, -1);
117   scm_eval_string (ly_string2scm (s));
118
119   /* Read .ly IN_FILE, lex, parse, write \score blocks from IN_FILE to
120      OUT_FILE (unless IN_FILE redefines output file name).  */
121
122   SCM mod = lexer_->set_current_scope ();
123   do
124     {
125       do_yyparse ();
126     }
127   while (!lexer_->is_clean ());
128
129   /*
130     Don't mix cyclic pointers with weak tables.
131   */
132   lexer_->set_identifier (ly_symbol2scm ("parser"),
133                           SCM_EOL);
134   ly_reexport_module (scm_current_module ());
135
136   scm_set_current_module (mod);
137
138   error_level_ = error_level_ | lexer_->error_level_;
139   clear ();
140 }
141
142 void
143 Lily_parser::parse_string (const string &ly_code)
144 {
145   lexer_->main_input_name_ = "<string>";
146   lexer_->new_input (lexer_->main_input_name_, ly_code, sources_);
147
148   SCM mod = lexer_->set_current_scope ();
149   SCM parser = lexer_->lookup_identifier_symbol (ly_symbol2scm ("parser"));
150   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
151   do_yyparse ();
152   lexer_->set_identifier (ly_symbol2scm ("parser"), parser);
153   scm_set_current_module (mod);
154
155   error_level_ = error_level_ | lexer_->error_level_;
156 }
157
158 SCM
159 Lily_parser::parse_string_expression (const string &ly_code, const string &filename,
160                                       int line)
161 {
162   lexer_->main_input_name_ = filename;
163   lexer_->new_input (lexer_->main_input_name_, ly_code, sources_);
164   if (line)
165     {
166       lexer_->get_source_file ()->set_line (0, line);
167     }
168   SCM mod = lexer_->set_current_scope ();
169   SCM parser = lexer_->lookup_identifier_symbol (ly_symbol2scm ("parser"));
170   lexer_->set_identifier (ly_symbol2scm ("parser"), self_scm ());
171   lexer_->push_extra_token (Input (), EMBEDDED_LILY);
172   SCM result = do_yyparse ();
173
174   lexer_->set_identifier (ly_symbol2scm ("parser"), parser);
175   scm_set_current_module (mod);
176
177   error_level_ = error_level_ | lexer_->error_level_;
178   return result;
179 }
180
181 void
182 Lily_parser::include_string (const string &ly_code)
183 {
184   lexer_->new_input ("<included string>", ly_code, sources_);
185 }
186
187 void
188 Lily_parser::clear ()
189 {
190   if (lexer_)
191     {
192       while (lexer_->has_scope ())
193         lexer_->remove_scope ();
194     }
195
196   lexer_ = 0;
197 }
198
199 void
200 Lily_parser::parser_error (const string &s)
201 {
202   lexer_->here_input ().error (_ (s.c_str ()));
203   error_level_ = 1;
204 }
205
206 void
207 Lily_parser::parser_error (Input const &i, const string &s)
208 {
209   i.error (s);
210   error_level_ = 1;
211 }
212
213 const char Lily_parser::type_p_name_[] = "ly:lily-parser?";
214
215 /****************************************************************
216   OUTPUT-DEF
217  ****************************************************************/
218
219 Output_def *
220 get_layout (Lily_parser *parser)
221 {
222   SCM id = parser->lexer_->lookup_identifier ("$defaultlayout");
223   Output_def *layout = Output_def::unsmob (id);
224   layout = layout ? layout->clone () : new Output_def;
225   layout->set_variable (ly_symbol2scm ("is-layout"), SCM_BOOL_T);
226
227   return layout;
228 }
229
230 Output_def *
231 get_midi (Lily_parser *parser)
232 {
233   SCM id = parser->lexer_->lookup_identifier ("$defaultmidi");
234   Output_def *layout = Output_def::unsmob (id);
235   layout = layout ? layout->clone () : new Output_def;
236   layout->set_variable (ly_symbol2scm ("is-midi"), SCM_BOOL_T);
237   return layout;
238 }
239
240 /* Return a copy of the top of $papers stack, or $defaultpaper if the
241  * stack is empty */
242 Output_def *
243 get_paper (Lily_parser *parser)
244 {
245   SCM papers = parser->lexer_->lookup_identifier ("$papers");
246   Output_def *layout = ((papers == SCM_UNDEFINED) || scm_is_null (papers))
247                        ? 0 : Output_def::unsmob (scm_car (papers));
248   SCM default_paper = parser->lexer_->lookup_identifier ("$defaultpaper");
249   layout = layout ? layout : Output_def::unsmob (default_paper);
250
251   layout = layout ? dynamic_cast<Output_def *> (layout->clone ()) : new Output_def;
252   layout->set_variable (ly_symbol2scm ("is-paper"), SCM_BOOL_T);
253   return layout;
254 }
255
256 /* Initialize (reset) the $papers stack */
257 void
258 init_papers (Lily_parser *parser)
259 {
260   parser->lexer_->set_identifier (ly_symbol2scm ("$papers"), SCM_EOL);
261 }
262
263 /* Push a paper on top of $papers stack */
264 void
265 push_paper (Lily_parser *parser, Output_def *paper)
266 {
267   parser->lexer_->set_identifier (ly_symbol2scm ("$papers"),
268                                   scm_cons (paper->self_scm (),
269                                             parser->lexer_->lookup_identifier ("$papers")));
270 }
271
272 /* Pop a paper from $papers stack */
273 void
274 pop_paper (Lily_parser *parser)
275 {
276   if (scm_is_pair (parser->lexer_->lookup_identifier ("$papers")))
277     parser->lexer_->set_identifier (ly_symbol2scm ("$papers"),
278                                     scm_cdr (parser->lexer_->lookup_identifier ("$papers")));
279 }
280
281 /* Change the paper on top of $papers stack */
282 void
283 set_paper (Lily_parser *parser, Output_def *paper)
284 {
285   scm_set_car_x (parser->lexer_->lookup_identifier ("$papers"), paper->self_scm ());
286 }
287
288 SCM
289 get_header (Lily_parser *parser)
290 {
291   SCM id = parser->lexer_->lookup_identifier ("$defaultheader");
292   if (!ly_is_module (id))
293     id = parser->make_scope ();
294   else
295     {
296       SCM nid = parser->make_scope ();
297       ly_module_copy (nid, id);
298       id = nid;
299     }
300
301   return id;
302 }
303
304 SCM
305 Lily_parser::make_scope () const
306 {
307   SCM module = ly_make_module (be_safe_global);
308   return module;
309 }