/* Copyright (C) 2009 by Claas Wilke (info@claaswilke.de) This file is part of the Living Examples of Dresden OCL2 for Eclipse. Dresden OCL2 for Eclipse is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. Dresden OCL2 for Eclipse 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 Dresden OCL2 for Eclipse. If not, see <http://www.gnu.org/licenses/>. */ package org.dresdenocl.examples.living; /** * <p> * The {@link Class} {@link Course} is part of the Living Example of Dresden * OCL2 for Eclipse. * </p> * * @author Claas Wilke */ public class DoubleRoom extends Hotelroom { /** * <p> * Creates a new {@link DoubleRoom}. * </p> * * @param street * The street of this {@link DoubleRoom}. * @param housenumber * The house number of this {@link DoubleRoom}. * @param zip * The zip of this {@link DoubleRoom}. * @param city * The city of this {@link DoubleRoom}. * @param number * The number of this {@link DoubleRoom}. */ public DoubleRoom(String street, int housenumber, String zip, City city, int number) { super(street, housenumber, zip, city, number); } }