// Last edited on 2000-09-03 07:01:43 by stolfi
// Ferramentas para imprimir mapas.

import java.awt.*;
import java.io.*;
import java.awt.Rectangle; 
import java.awt.Graphics;
import Planta;

public abstract class Impressor 
  {
    public abstract void abre (String nome);
      // Abre e inicializa o arquivo postscript com nome dado
      // (mais extensão ".ps") que ira' conter o mapa.

    public abstract Graphics graphics ();
      // Retorna um contexto gráfico que desenha no arquivo 
      // (que deve ter sido aberto previamente).

    public abstract void fecha (); 
      // Finaliza e fecha o arquivo postscript (.ps). Antes de re-usar
      // este Impressor, é preciso executar outro "abre".
  }