// (c) MIT 2003.  All rights reserved.

// -*-Mode: Java-*- 
// $Id: GrammarHandler.java,v 1.3 2003/03/06 00:40:40 moltmans Exp $
// GrammarHandler.java -- 
// Author: Michael Oltmans <moltmans@ai.mit.edu> 
// Maintainer: Michael Oltmans <moltmans@ai.mit.edu> 
// Copyright: Copyright (C) 1999 by Michael Oltmans 
// Created: <Mon Aug  2 18:34:05 1999> 
// Time-stamp: <2000-02-08 19:39:12 moltmans> 
// Keywords: 

package rec.sys;

import java.rmi.*;

public interface GrammarHandler
{
  public void addGrammar( String grammar ) throws RemoteException;
  public void removeGrammar( String grammar ) throws RemoteException;
  public void removeAllGrammars() throws RemoteException;
}
