001/*
002  GRANITE DATA SERVICES
003  Copyright (C) 2013 GRANITE DATA SERVICES S.A.S.
004
005  This file is part of Granite Data Services.
006
007  Granite Data Services is free software; you can redistribute it and/or modify
008  it under the terms of the GNU Library General Public License as published by
009  the Free Software Foundation; either version 2 of the License, or (at your
010  option) any later version.
011
012  Granite Data Services is distributed in the hope that it will be useful, but
013  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
014  FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public License
015  for more details.
016
017  You should have received a copy of the GNU Library General Public License
018  along with this library; if not, see <http://www.gnu.org/licenses/>.
019*/
020
021package org.granite.messaging.jmf;
022
023import java.io.IOException;
024
025/**
026 * @author Franck WOLFF
027 */
028public interface DumpContext extends InputContext {
029        
030        void incrIndent(int off);
031
032        void indentPrint(String message) throws IOException;
033        void print(String message) throws IOException;
034        void noIndentPrintLn(String message) throws IOException;
035        void indentPrintLn(String message) throws IOException;
036        
037        int getMaxArrayElements();
038}