--
-- Copyright (c) 2012 Kevin Wellwood
-- All rights reserved.
--
-- This source code is distributed under the Modified BSD License. For terms and
-- conditions, see license.txt.
--
package Tools.Pointers is
type Pointer is new Tool with private;
function Create_Pointer return A_Tool;
pragma Postcondition( Create_Pointer'Result /= null );
private
type Pointer is new Tool with null record;
procedure Apply( this : access Pointer; context : Tool_Context );
function Get_Type( this : access Pointer ) return Tool_Type;
end Tools.Pointers;