GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-28 14:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfse: when uploading/compiling a grammar, automatically upload inherited grammars as well

Browse Source
This commit is contained in:
hallgren
2012-02-17 16:07:28 +00:00
parent f446649550
commit 21f657a64a
2 changed files with 15 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/www/gfse/editor.js
View File

@@ -1015,6 +1015,12 @@ function defined_funs(g) { return all_defined_funs(g,inherited_gramamrs(g)) }
function inherited_cats(g) {return all_inherited_cats(inherited_grammars(g),{})}
function inherited_funs(g) {return all_inherited_funs(inherited_grammars(g),{})}
function upload(g,cont) {
var gs=inherited_grammars(g);
gs.push(g);
upload_grammars(gs,cont);
}
// inherited_grammars :: Grammar -> [Grammar]
function inherited_grammars(g) {
// Load the available grammars once