mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
290584dddc
the in-file lists of authors has been removed in favor of a global list of authors in the LICENSE file. this is done because (a) maintaining a list of authors at the beginning of a file is a major pain in the a**, (b) the list of authors was not accurate in about 85% of all cases where more than one person was involved and (c) this list is not legally binding in any way (the copyright is at the person who authored a given change, if these lists had any legal relevance, one could "aquire" the copyright of the module by forking it and removing the lists...) the only exception of this is the eWoms fork of dune-istl's solvers.hh file. This is beneficial because the authors of that file do not appear in the global list. Further, carrying the fork of that file is required because we would like to use a reasonable convergence criterion for the linear solver. (the solvers from dune-istl do neither support user-defined convergence criteria not do the developers want support for it. (my patch was rejected a few years ago.))
201 lines
7.9 KiB
C++
201 lines
7.9 KiB
C++
// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
|
|
// vi: set et ts=4 sw=4 sts=4:
|
|
/*
|
|
This file is part of the Open Porous Media project (OPM).
|
|
|
|
OPM is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation, either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
OPM 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 General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with OPM. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
Consult the COPYING file in the top-level source directory of this
|
|
module for the precise wording of the license and the list of
|
|
copyright holders.
|
|
*/
|
|
/*!
|
|
* \file
|
|
*
|
|
* \brief This file tests the properties system.
|
|
*
|
|
* We define a few type tags and property tags, then we attach values
|
|
* to (TypeTag, PropertyTag) tuples and finally we use them in the
|
|
* main function and print some diagnostic messages.
|
|
*/
|
|
#include "config.h"
|
|
|
|
#include <ewoms/common/propertysystem.hh>
|
|
|
|
#include <iostream>
|
|
|
|
namespace Ewoms {
|
|
namespace Properties {
|
|
|
|
///////////////////
|
|
// Define some hierarchy of type tags:
|
|
//
|
|
// Vehicle -- CompactCar -- Sedan -_
|
|
// \ \.
|
|
// \ +- Pickup ---_
|
|
// \ / \.
|
|
// +-- Truck ---------------^ \.
|
|
// \ \.
|
|
// +- Tank ----------------------------------+- HummerH1
|
|
///////////////////
|
|
NEW_TYPE_TAG(Vehicle);
|
|
|
|
NEW_TYPE_TAG(CompactCar, INHERITS_FROM(Vehicle));
|
|
NEW_TYPE_TAG(Truck, INHERITS_FROM(Vehicle));
|
|
NEW_TYPE_TAG(Tank, INHERITS_FROM(Vehicle));
|
|
|
|
NEW_TYPE_TAG(Sedan, INHERITS_FROM(CompactCar));
|
|
NEW_TYPE_TAG(Pickup, INHERITS_FROM(Sedan, Truck));
|
|
|
|
NEW_TYPE_TAG(HummerH1, INHERITS_FROM(Sedan, Pickup, Tank));
|
|
|
|
///////////////////
|
|
// Define the property tags:
|
|
// TopSpeed, NumSeats, CanonCaliber, GasUsage, AutomaticTransmission, Payload
|
|
///////////////////
|
|
NEW_PROP_TAG(TopSpeed); // [km/h]
|
|
NEW_PROP_TAG(NumSeats); // []
|
|
NEW_PROP_TAG(CanonCaliber); // [mm]
|
|
NEW_PROP_TAG(GasUsage); // [l/100km]
|
|
NEW_PROP_TAG(AutomaticTransmission); // true/false
|
|
NEW_PROP_TAG(Payload); // [t]
|
|
|
|
///////////////////
|
|
// Make the AutomaticTransmission default to false
|
|
SET_BOOL_PROP(Vehicle, AutomaticTransmission, false);
|
|
|
|
///////////////////
|
|
// Define some values for the properties on the type tags:
|
|
//
|
|
// (CompactCar, TopSpeed) = GasUsage*35
|
|
// (CompactCar, NumSeats) = 5
|
|
// (CompactCar, GasUsage) = 4
|
|
//
|
|
// (Truck, TopSpeed) = 100
|
|
// (Truck, NumSeats) = 2
|
|
// (Truck, GasUsage) = 12
|
|
// (Truck, Payload) = 35
|
|
//
|
|
// (Tank, TopSpeed) = 60
|
|
// (Tank, GasUsage) = 65
|
|
// (Tank, CanonCaliber) = 120
|
|
//
|
|
// (Sedan, GasUsage) = 7
|
|
// (Sedan, AutomaticTransmission) = true
|
|
//
|
|
// (Pickup, TopSpeed) = 120
|
|
// (Pickup, Payload) = 5
|
|
//
|
|
// (HummmerH1, TopSpeed) = (Pickup, TopSpeed)
|
|
///////////////////
|
|
|
|
SET_INT_PROP(CompactCar, TopSpeed, GET_PROP_VALUE(TypeTag, GasUsage) * 30);
|
|
SET_INT_PROP(CompactCar, NumSeats, 5);
|
|
SET_INT_PROP(CompactCar, GasUsage, 4);
|
|
|
|
SET_INT_PROP(Truck, TopSpeed, 100);
|
|
SET_INT_PROP(Truck, NumSeats, 2);
|
|
SET_INT_PROP(Truck, GasUsage, 12);
|
|
SET_INT_PROP(Truck, Payload, 35);
|
|
|
|
SET_INT_PROP(Tank, TopSpeed, 60);
|
|
SET_INT_PROP(Tank, GasUsage, 65);
|
|
SET_INT_PROP(Tank, CanonCaliber, 120);
|
|
|
|
SET_INT_PROP(Sedan, GasUsage, 7);
|
|
SET_BOOL_PROP(Sedan, AutomaticTransmission, true);
|
|
|
|
SET_INT_PROP(Pickup, TopSpeed, 120);
|
|
SET_INT_PROP(Pickup, Payload, 5);
|
|
|
|
SET_INT_PROP(HummerH1, TopSpeed, GET_PROP_VALUE(TTAG(Pickup), TopSpeed));
|
|
|
|
///////////////////
|
|
// Unmount the canon from the Hummer
|
|
UNSET_PROP(HummerH1, CanonCaliber);
|
|
|
|
} // namespace Properties
|
|
} // namespace Ewoms
|
|
|
|
|
|
int main()
|
|
{
|
|
// print all properties for all type tags
|
|
std::cout << "---------------------------------------\n";
|
|
std::cout << "-- Property values\n";
|
|
std::cout << "---------------------------------------\n";
|
|
|
|
std::cout << "---------- Values for CompactCar ----------\n";
|
|
|
|
std::cout << "(CompactCar, TopSpeed) = " << GET_PROP_VALUE(TTAG(CompactCar), TopSpeed) << "\n";
|
|
std::cout << "(CompactCar, NumSeats) = " << GET_PROP_VALUE(TTAG(CompactCar), NumSeats) << "\n";
|
|
std::cout << "(CompactCar, GasUsage) = " << GET_PROP_VALUE(TTAG(CompactCar), GasUsage) << "\n";
|
|
std::cout << "(CompactCar, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(CompactCar), AutomaticTransmission) << "\n";
|
|
|
|
std::cout << "---------- Values for Truck ----------\n";
|
|
|
|
std::cout << "(Truck, TopSpeed) = " << GET_PROP_VALUE(TTAG(Truck), TopSpeed) << "\n";
|
|
std::cout << "(Truck, NumSeats) = " << GET_PROP_VALUE(TTAG(Truck), NumSeats) << "\n";
|
|
std::cout << "(Truck, GasUsage) = " << GET_PROP_VALUE(TTAG(Truck), GasUsage) << "\n";
|
|
std::cout << "(Truck, Payload) = " << GET_PROP_VALUE(TTAG(Truck), Payload) << "\n";
|
|
std::cout << "(Truck, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(Truck), AutomaticTransmission) << "\n";
|
|
|
|
std::cout << "---------- Values for Tank ----------\n";
|
|
|
|
std::cout << "(Tank, TopSpeed) = " << GET_PROP_VALUE(TTAG(Tank), TopSpeed) << "\n";
|
|
std::cout << "(Tank, GasUsage) = " << GET_PROP_VALUE(TTAG(Tank), GasUsage) << "\n";
|
|
std::cout << "(Tank, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(Tank), AutomaticTransmission) << "\n";
|
|
std::cout << "(Tank, CanonCaliber) = " << GET_PROP_VALUE(TTAG(Tank), CanonCaliber) << "\n";
|
|
|
|
std::cout << "---------- Values for Sedan ----------\n";
|
|
|
|
std::cout << "(Sedan, TopSpeed) = " << GET_PROP_VALUE(TTAG(Sedan), TopSpeed) << "\n";
|
|
std::cout << "(Sedan, NumSeats) = " << GET_PROP_VALUE(TTAG(Sedan), NumSeats) << "\n";
|
|
std::cout << "(Sedan, GasUsage) = " << GET_PROP_VALUE(TTAG(Sedan), GasUsage) << "\n";
|
|
std::cout << "(Sedan, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(Sedan), AutomaticTransmission) << "\n";
|
|
|
|
std::cout << "---------- Values for Pickup ----------\n";
|
|
std::cout << "(Pickup, TopSpeed) = " << GET_PROP_VALUE(TTAG(Pickup), TopSpeed) << "\n";
|
|
std::cout << "(Pickup, NumSeats) = " << GET_PROP_VALUE(TTAG(Pickup), NumSeats) << "\n";
|
|
std::cout << "(Pickup, GasUsage) = " << GET_PROP_VALUE(TTAG(Pickup), GasUsage) << "\n";
|
|
std::cout << "(Pickup, Payload) = " << GET_PROP_VALUE(TTAG(Pickup), Payload) << "\n";
|
|
std::cout << "(Pickup, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(Pickup), AutomaticTransmission) << "\n";
|
|
|
|
std::cout << "---------- Values for HummerH1 ----------\n";
|
|
std::cout << "(HummerH1, TopSpeed) = " << GET_PROP_VALUE(TTAG(HummerH1), TopSpeed) << "\n";
|
|
std::cout << "(HummerH1, NumSeats) = " << GET_PROP_VALUE(TTAG(HummerH1), NumSeats) << "\n";
|
|
std::cout << "(HummerH1, GasUsage) = " << GET_PROP_VALUE(TTAG(HummerH1), GasUsage) << "\n";
|
|
std::cout << "(HummerH1, Payload) = " << GET_PROP_VALUE(TTAG(HummerH1), Payload) << "\n";
|
|
std::cout << "(HummerH1, AutomaticTransmission) = " << GET_PROP_VALUE(TTAG(HummerH1), AutomaticTransmission) << "\n";
|
|
// CanonCaliber is explcitly unset for the Hummer -> this would not compile:
|
|
// std::cout << "(HummerH1, CanonCaliber) = " << GET_PROP_VALUE(TTAG(HummerH1), CanonCaliber) << "\n";
|
|
|
|
std::cout << "\n";
|
|
std::cout << "---------------------------------------\n";
|
|
std::cout << "-- Diagnostic messages\n";
|
|
std::cout << "---------------------------------------\n";
|
|
|
|
std::cout << "---- All properties for Sedan ---\n";
|
|
Ewoms::Properties::printValues<TTAG(Sedan)>();
|
|
|
|
std::cout << "---- Message for (HummerH1, CanonCaliber) ---\n"
|
|
<< PROP_DIAGNOSTIC(TTAG(HummerH1), CanonCaliber);
|
|
std::cout << "---- Message for (HummerH1, GasUsage) ---\n"
|
|
<< PROP_DIAGNOSTIC(TTAG(HummerH1), GasUsage);
|
|
std::cout << "---- Message for (HummerH1, AutomaticTransmission) ---\n"
|
|
<< PROP_DIAGNOSTIC(TTAG(HummerH1), AutomaticTransmission);
|
|
|
|
return 0;
|
|
}
|