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

commands ss to show source, and sd to show the dependencies of a constant

Browse Source
This commit is contained in:
aarne
2011-09-21 08:12:14 +00:00
parent 1fc37fc9b4
commit cdaf3dc2f4
3 changed files with 100 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

41
src/compiler/GF/Command/Commands.hs
View File

@@ -778,6 +778,26 @@ allCommands env@(pgf, mos) = Map.fromList [
("tq -from=Eng -to=Swe (AdjCN (PositA ?2) (UseN ?)) -- only trees of this form")
]
}),
("sd", emptyCommandInfo {
longname = "show_dependencies",
syntax = "sd QUALIFIED_CONSTANT",
synopsis = "show all constants that the given constant depends on",
explanation = unlines [
"Show recursively all qualified constant names, by tracing back the types and definitions",
"of each constant encountered, but just listing every name once.",
"This command requires a source grammar to be in scope, imported with 'import -retain'.",
"Notice that the accuracy is better if the modules are compiled with the flag -optimize=noexpand.",
"This command must be a line of its own, and thus cannot be a part of a pipe."
],
options = [
],
examples = [
"sd ParadigmsEng.mkV -- show all constants on which this one depends"
],
needsTypeCheck = False
}),
("se", emptyCommandInfo {
longname = "set_encoding",
synopsis = "set the encoding used in current terminal",
@@ -831,6 +851,27 @@ allCommands env@(pgf, mos) = Map.fromList [
needsTypeCheck = False
}),
("ss", emptyCommandInfo {
longname = "show_source",
syntax = "ss (-strip)? (-save)? MODULE*",
synopsis = "show the source code of modules in scope, possibly just headers",
explanation = unlines [
"Show compiled source code, i.e. as it is included in GF object files.",
"This command requires a source grammar to be in scope, imported with 'import -retain'.",
"The optional MODULE arguments cause just these modules to be shown.",
"This command must be a line of its own, and thus cannot be a part of a pipe."
],
options = [
("save", "save each MODULE in file MODULE.gfh instead of printing it on terminal"),
("strip","show only type signatures of oper's and lin's, not their definitions")
],
examples = [
"ss -- print complete current source grammar on terminal",
"ss -strip -save MorphoFin -- print the headers in file MorphoFin.gfh"
],
needsTypeCheck = False
}),
("ut", emptyCommandInfo {
longname = "unicode_table",
synopsis = "show a transliteration table for a unicode character set",