diff options
| author | aarne <unknown> | 2003-09-25 11:42:20 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-25 11:42:20 +0000 |
| commit | 49f6288350a722837a316f86d1442c59d7ea8fc8 (patch) | |
| tree | beac6e76ad7f1934ca81409a0fd4927c9ee74913 /src/GF/Shell/Commands.hs | |
| parent | 6e9258558a9bcb8c9df4bee0382b5136c95f516a (diff) | |
The new tree position annotation, and the corresponding command.
Diffstat (limited to 'src/GF/Shell/Commands.hs')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index f0bb8c4f4..2f7efa517 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -42,7 +42,9 @@ import Random (newStdGen) --- temporary hacks for GF 2.0 --- abstract command language for syntax editing. AR 22/8/2001 +-- Abstract command language for syntax editing. AR 22/8/2001 +-- Most arguments are strings, to make it easier to receive them from e.g. Java. +-- See CommandsL for a parser of a command language. data Command = CNewCat G.Cat @@ -53,6 +55,7 @@ data Command = | CPrevMeta | CTop | CLast + | CMovePosition [Int] | CRefineWithTree String | CRefineWithAtom String | CRefineParse String @@ -206,6 +209,7 @@ execECommand env c = case c of CBack n -> action2command (goBackN n) CTop -> action2command $ return . goRoot CLast -> action2command $ goLast + CMovePosition p -> action2command $ goPosition p CNextMeta -> action2command goNextNewMeta CPrevMeta -> action2command goPrevNewMeta CRefineWithAtom s -> action2commandNext $ \x -> do |