mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-07-09 07:02:45 -06:00
gfse: support for opening RGL modules
This commit is contained in:
@@ -176,8 +176,9 @@ function show_concretes(g) {
|
||||
|
||||
function show_concrete(basename) {
|
||||
return function(conc) {
|
||||
return "concrete "+basename+conc.langcode+" of "+basename+" = {\n\n"
|
||||
+"flags coding = utf8 ;\n\n"
|
||||
return "concrete "+basename+conc.langcode+" of "+basename+" ="
|
||||
+show_opens(conc.opens)
|
||||
+" {\n\nflags coding = utf8 ;\n\n"
|
||||
+show_params(conc.params)
|
||||
+show_lincats(conc.lincats)
|
||||
+show_opers(conc.opers)
|
||||
@@ -192,6 +193,10 @@ function show_list(kw,show1,list) {
|
||||
: ""
|
||||
}
|
||||
|
||||
function show_opens(opens) {
|
||||
return opens && opens.length>0 ? "\n\nopen "+opens.join(", ")+" in" : ""
|
||||
}
|
||||
|
||||
function show_params(params) { return show_list("param",show_param,params); }
|
||||
function show_lincats(lincats) { return show_list("lincat",show_lincat,lincats); }
|
||||
function show_opers(opers) { return show_list("oper",show_oper,opers); }
|
||||
|
||||
Reference in New Issue
Block a user