Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: Pragma.i3.html,v 1.3 2010-04-29 17:18:51 wagner Exp $
INTERFACE Pragma;
IMPORT Rd;
CONST
Brand = "Pragma";
TYPE
T = OBJECT
METHODS
do(rd: Rd.T);
(* on entry: reader positionned after "%pragma" or line start ("") *)
(* on exit: reader positionned after pragma arguments *)
END;
END Pragma.