/*
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);
}
}