/usr/share/mozart/examples/gump/Examples.oz is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 | %%%
%%% Author:
%%% Leif Kornstaedt <kornstae@ps.uni-sb.de>
%%%
%%% Copyright:
%%% Leif Kornstaedt, 1997-1998
%%%
%%% Last change:
%%% $Date: 2003-05-01 00:12:04 +0200 (Thu, 01 May 2003) $ by $Author: duchier $
%%% $Revision: 15473 $
%%%
%%% This file is part of Mozart, an implementation of Oz 3:
%%% http://www.mozart-oz.org
%%%
%%% See the file "LICENSE" or
%%% http://www.mozart-oz.org/LICENSE.html
%%% for information on usage and redistribution
%%% of this file, and for a DISCLAIMER OF ALL
%%% WARRANTIES.
%%%
%%
%% This file contains the test programs from the Gump Manual.
%%
\switch +gump
\gumpscannerprefix lambda
\insert LambdaScanner.ozg
\switch +gumpparseroutputsimplified +gumpparserverbose
\gumpparserexpect 0
\insert LambdaParser.ozg
declare LambdaIn = 'Lambda.in'
%-----------------------------------------------------------------------
% Testing the Scanner:
local
MyScanner = {New LambdaScanner init()}
proc {GetTokens} T V in
{MyScanner getToken(?T ?V)}
case T of 'EOF' then
{System.showInfo 'End of file reached.'}
else
{Show T#V}
{GetTokens}
end
end
in
{MyScanner scanFile(LambdaIn)}
{GetTokens}
{MyScanner close()}
end
%-----------------------------------------------------------------------
% Testing the Parser:
local
MyScanner = {New LambdaScanner init()}
MyParser = {New LambdaParser init(MyScanner)}
Definitions Terms Status
in
{MyScanner scanFile(LambdaIn)}
{MyParser parse(program(?Definitions ?Terms) ?Status)}
{MyScanner close()}
if Status then
{Inspect Definitions}
{Inspect Terms}
{System.showInfo 'accepted'}
else
{System.showInfo 'rejected'}
end
end
|