All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.automatalib.graphs.dot.DelegateDOTHelper Maven / Gradle / Ivy

/* Copyright (C) 2013 TU Dortmund
 * This file is part of AutomataLib, http://www.automatalib.net/.
 * 
 * AutomataLib is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License version 3.0 as published by the Free Software Foundation.
 * 
 * AutomataLib is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with AutomataLib; if not, see
 * http://www.gnu.de/documents/lgpl.en.html.
 */
package net.automatalib.graphs.dot;

import java.io.IOException;
import java.util.Map;

import net.automatalib.commons.util.mappings.Mapping;

public class DelegateDOTHelper implements GraphDOTHelper {

	private final GraphDOTHelper parent;
	
	protected DelegateDOTHelper(GraphDOTHelper parent) {
		this.parent = parent;
	}

	@Override
	public void writePreamble(Appendable a) throws IOException {
		parent.writePreamble(a);
	}

	@Override
	public void writePostamble(Mapping identifiers, Appendable a)
			throws IOException {
		parent.writePostamble(identifiers, a);
	}

	@Override
	public boolean getNodeProperties(N node, Map properties) {
		return parent.getNodeProperties(node, properties);
	}

	@Override
	public boolean getEdgeProperties(N src, E edge, N tgt,
			Map properties) {
		return parent.getEdgeProperties(src, edge, tgt, properties);
	}

	@Override
	public void getGlobalNodeProperties(Map properties) {
		parent.getGlobalNodeProperties(properties);
	}

	@Override
	public void getGlobalEdgeProperties(Map properties) {
		parent.getGlobalEdgeProperties(properties);
	}
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy