ledger/value.cc
2008-04-13 02:41:21 -04:00

792 lines
19 KiB
C++

#include "value.h"
namespace ledger {
void value_t::destroy()
{
switch (type) {
case AMOUNT:
((amount_t *)data)->~amount_t();
break;
case BALANCE:
((balance_t *)data)->~balance_t();
break;
case BALANCE_PAIR:
((balance_pair_t *)data)->~balance_pair_t();
break;
default:
break;
}
}
value_t& value_t::operator=(const value_t& value)
{
if (this == &value)
return *this;
destroy();
switch (value.type) {
case BOOLEAN:
*((bool *) data) = *((bool *) value.data);
break;
case INTEGER:
*((long *) data) = *((long *) value.data);
break;
case AMOUNT:
new((amount_t *)data) amount_t(*((amount_t *) value.data));
break;
case BALANCE:
new((balance_t *)data) balance_t(*((balance_t *) value.data));
break;
case BALANCE_PAIR:
new((balance_pair_t *)data) balance_pair_t(*((balance_pair_t *) value.data));
break;
default:
assert(0);
break;
}
type = value.type;
return *this;
}
#define DEF_VALUE_ADDSUB_OP(OP) \
value_t& value_t::operator OP(const value_t& value) \
{ \
switch (type) { \
case BOOLEAN: \
case INTEGER: \
cast(INTEGER); \
switch (value.type) { \
case BOOLEAN: \
*((long *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((long *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
cast(AMOUNT); \
*((amount_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
cast(BALANCE); \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
case AMOUNT: \
switch (value.type) { \
case BOOLEAN: \
if (*((bool *) value.data) && \
((amount_t *) data)->commodity()) { \
cast(BALANCE); \
return *this OP value; \
} \
*((amount_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
\
case INTEGER: \
if (*((long *) value.data) && \
((amount_t *) data)->commodity()) { \
cast(BALANCE); \
return *this OP value; \
} \
*((amount_t *) data) OP *((long *) value.data); \
break; \
\
case AMOUNT: \
if (((amount_t *) data)->commodity() != \
((amount_t *) value.data)->commodity()) { \
cast(BALANCE); \
return *this OP value; \
} \
*((amount_t *) data) OP *((amount_t *) value.data); \
break; \
\
case BALANCE: \
cast(BALANCE); \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
\
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
\
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE: \
switch (value.type) { \
case BOOLEAN: \
*((balance_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((balance_t *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
*((balance_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE_PAIR: \
switch (value.type) { \
case BOOLEAN: \
*((balance_pair_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((balance_pair_t *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
*((balance_pair_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
*((balance_pair_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
default: \
assert(0); \
break; \
} \
return *this; \
}
DEF_VALUE_ADDSUB_OP(+=)
DEF_VALUE_ADDSUB_OP(-=)
#define DEF_VALUE_MULDIV_OP(OP) \
value_t& value_t::operator OP(const value_t& value) \
{ \
switch (type) { \
case BOOLEAN: \
case INTEGER: \
cast(INTEGER); \
switch (value.type) { \
case BOOLEAN: \
*((long *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((long *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
cast(AMOUNT); \
*((amount_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
cast(BALANCE); \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
case AMOUNT: \
switch (value.type) { \
case BOOLEAN: \
*((amount_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((amount_t *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
*((amount_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
cast(BALANCE); \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE: \
switch (value.type) { \
case BOOLEAN: \
*((balance_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((balance_t *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
*((balance_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
*((balance_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
cast(BALANCE_PAIR); \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE_PAIR: \
switch (value.type) { \
case BOOLEAN: \
*((balance_pair_t *) data) OP (*((bool *) value.data) ? 1L : 0L); \
break; \
case INTEGER: \
*((balance_pair_t *) data) OP *((long *) value.data); \
break; \
case AMOUNT: \
*((balance_pair_t *) data) OP *((amount_t *) value.data); \
break; \
case BALANCE: \
*((balance_pair_t *) data) OP *((balance_t *) value.data); \
break; \
case BALANCE_PAIR: \
*((balance_pair_t *) data) OP *((balance_pair_t *) value.data); \
break; \
default: \
assert(0); \
break; \
} \
break; \
\
default: \
assert(0); \
break; \
} \
return *this; \
}
DEF_VALUE_MULDIV_OP(*=)
DEF_VALUE_MULDIV_OP(/=)
#define DEF_VALUE_CMP_OP(OP) \
bool value_t::operator OP(const value_t& value) \
{ \
switch (type) { \
case BOOLEAN: \
switch (value.type) { \
case BOOLEAN: \
return *((bool *) data) OP *((bool *) value.data); \
\
case INTEGER: \
return *((bool *) data) OP bool(*((long *) value.data)); \
\
case AMOUNT: \
return *((bool *) data) OP bool(*((amount_t *) value.data)); \
\
case BALANCE: \
return *((bool *) data) OP bool(*((balance_t *) value.data)); \
\
case BALANCE_PAIR: \
return *((bool *) data) OP bool(*((balance_pair_t *) value.data)); \
\
default: \
assert(0); \
break; \
} \
break; \
\
case INTEGER: \
switch (value.type) { \
case BOOLEAN: \
return (*((long *) data) OP \
((long) *((bool *) value.data))); \
\
case INTEGER: \
return (*((long *) data) OP \
*((long *) value.data)); \
\
case AMOUNT: \
return (amount_t(*((long *) data)) OP \
*((amount_t *) value.data)); \
\
case BALANCE: \
return (balance_t(*((long *) data)) OP \
*((balance_t *) value.data)); \
\
case BALANCE_PAIR: \
return (balance_pair_t(*((long *) data)) OP \
*((balance_pair_t *) value.data)); \
\
default: \
assert(0); \
break; \
} \
break; \
\
case AMOUNT: \
switch (value.type) { \
case BOOLEAN: \
return *((amount_t *) data) OP amount_t(*((bool *) value.data)); \
\
case INTEGER: \
return (*((amount_t *) data) OP \
amount_t(*((long *) value.data))); \
\
case AMOUNT: \
return *((amount_t *) data) OP *((amount_t *) value.data); \
\
case BALANCE: \
return (*((amount_t *) data) OP \
((balance_t *) value.data)-> \
amount(((amount_t *) data)->commodity())); \
\
case BALANCE_PAIR: \
return (*((amount_t *) data) OP \
((balance_pair_t *) value.data)-> \
quantity.amount(((amount_t *) data)->commodity())); \
\
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE: \
switch (value.type) { \
case BOOLEAN: \
return *((balance_t *) data) OP (long)*((bool *) value.data); \
\
case INTEGER: \
return *((balance_t *) data) OP *((long *) value.data); \
\
case AMOUNT: \
return *((balance_t *) data) OP *((amount_t *) value.data); \
\
case BALANCE: \
return *((balance_t *) data) OP *((balance_t *) value.data); \
\
case BALANCE_PAIR: \
return (*((balance_t *) data) OP \
((balance_pair_t *) value.data)->quantity); \
\
default: \
assert(0); \
break; \
} \
break; \
\
case BALANCE_PAIR: \
switch (value.type) { \
case BOOLEAN: \
return (((balance_pair_t *) data)->quantity OP \
(long)*((bool *) value.data)); \
\
case INTEGER: \
return (((balance_pair_t *) data)->quantity OP \
*((long *) value.data)); \
\
case AMOUNT: \
return (((balance_pair_t *) data)->quantity OP \
*((amount_t *) value.data)); \
\
case BALANCE: \
return (((balance_pair_t *) data)->quantity OP \
*((balance_t *) value.data)); \
\
case BALANCE_PAIR: \
return (*((balance_pair_t *) data) OP \
*((balance_pair_t *) value.data)); \
\
default: \
assert(0); \
break; \
} \
break; \
\
default: \
assert(0); \
break; \
} \
return *this; \
}
DEF_VALUE_CMP_OP(==)
DEF_VALUE_CMP_OP(<)
DEF_VALUE_CMP_OP(<=)
DEF_VALUE_CMP_OP(>)
DEF_VALUE_CMP_OP(>=)
template <>
value_t::operator long() const
{
switch (type) {
case BOOLEAN:
return *((bool *) data) ? 1L : 0L;
case INTEGER:
return *((long *) data);
case AMOUNT:
return *((amount_t *) data);
case BALANCE:
throw value_error("Cannot convert a value balance to a long");
case BALANCE_PAIR:
throw value_error("Cannot convert a value balance pair to a long");
default:
assert(0);
break;
}
assert(0);
return 0;
}
template <>
value_t::operator double() const
{
switch (type) {
case BOOLEAN:
return *((bool *) data) ? 1.0 : 0.0;
case INTEGER:
return *((long *) data);
case AMOUNT:
return *((amount_t *) data);
case BALANCE:
throw value_error("Cannot convert a value balance to a double");
case BALANCE_PAIR:
throw value_error("Cannot convert a value balance pair to a double");
default:
assert(0);
break;
}
assert(0);
return 0;
}
void value_t::cast(type_t cast_type)
{
switch (type) {
case BOOLEAN:
switch (cast_type) {
case BOOLEAN:
break;
case INTEGER:
*((long *) data) = *((bool *) data);
break;
case AMOUNT:
new((amount_t *)data) amount_t(*((bool *) data));
break;
case BALANCE:
new((balance_t *)data) balance_t(*((bool *) data));
break;
case BALANCE_PAIR:
new((balance_pair_t *)data) balance_pair_t(*((bool *) data));
break;
default:
assert(0);
break;
}
break;
case INTEGER:
switch (cast_type) {
case BOOLEAN:
*((bool *) data) = *((long *) data);
break;
case INTEGER:
break;
case AMOUNT:
new((amount_t *)data) amount_t(*((long *) data));
break;
case BALANCE:
new((balance_t *)data) balance_t(*((long *) data));
break;
case BALANCE_PAIR:
new((balance_pair_t *)data) balance_pair_t(*((long *) data));
break;
default:
assert(0);
break;
}
break;
case AMOUNT:
switch (cast_type) {
case BOOLEAN: {
bool temp = *((amount_t *) data);
destroy();
*((bool *)data) = temp;
break;
}
case INTEGER: {
long temp = *((amount_t *) data);
destroy();
*((long *)data) = temp;
break;
}
case AMOUNT:
break;
case BALANCE: {
amount_t temp = *((amount_t *) data);
destroy();
new((balance_t *)data) balance_t(temp);
break;
}
case BALANCE_PAIR: {
amount_t temp = *((amount_t *) data);
destroy();
new((balance_pair_t *)data) balance_pair_t(temp);
break;
}
default:
assert(0);
break;
}
break;
case BALANCE:
switch (cast_type) {
case BOOLEAN: {
bool temp = *((balance_t *) data);
destroy();
*((bool *)data) = temp;
break;
}
case INTEGER:
throw value_error("Cannot convert a balance to an integer");
case AMOUNT: {
balance_t * temp = (balance_t *) data;
if (temp->amounts.size() == 1) {
amount_t amt = (*temp->amounts.begin()).second;
destroy();
new((amount_t *)data) amount_t(amt);
}
else if (temp->amounts.size() == 0) {
new((amount_t *)data) amount_t();
}
else {
throw value_error("Cannot convert a balance with "
"multiple commodities to an amount");
}
break;
}
case BALANCE:
break;
case BALANCE_PAIR: {
balance_t temp = *((balance_t *) data);
destroy();
new((balance_pair_t *)data) balance_pair_t(temp);
break;
}
default:
assert(0);
break;
}
break;
case BALANCE_PAIR:
switch (cast_type) {
case BOOLEAN: {
bool temp = *((balance_pair_t *) data);
destroy();
*((bool *)data) = temp;
break;
}
case INTEGER:
throw value_error("Cannot convert a balance pair to an integer");
case AMOUNT: {
balance_t * temp = &((balance_pair_t *) data)->quantity;
if (temp->amounts.size() == 1) {
amount_t amt = (*temp->amounts.begin()).second;
destroy();
new((amount_t *)data) amount_t(amt);
}
else if (temp->amounts.size() == 0) {
new((amount_t *)data) amount_t();
}
else {
throw value_error("Cannot convert a balance pair with "
"multiple commodities to an amount");
}
break;
}
case BALANCE: {
balance_t temp = ((balance_pair_t *) data)->quantity;
destroy();
new((balance_t *)data) balance_t(temp);
break;
}
case BALANCE_PAIR:
break;
default:
assert(0);
break;
}
break;
default:
assert(0);
break;
}
type = cast_type;
}
void value_t::negate()
{
switch (type) {
case BOOLEAN:
*((bool *) data) = ! *((bool *) data);
break;
case INTEGER:
*((long *) data) = - *((long *) data);
break;
case AMOUNT:
((amount_t *) data)->negate();
break;
case BALANCE:
((balance_t *) data)->negate();
break;
case BALANCE_PAIR:
((balance_pair_t *) data)->negate();
break;
default:
assert(0);
break;
}
}
void value_t::abs()
{
switch (type) {
case BOOLEAN:
break;
case INTEGER:
if (*((long *) data) < 0)
*((long *) data) = - *((long *) data);
break;
case AMOUNT:
((amount_t *) data)->abs();
break;
case BALANCE:
((balance_t *) data)->abs();
break;
case BALANCE_PAIR:
((balance_pair_t *) data)->abs();
break;
default:
assert(0);
break;
}
}
value_t value_t::cost() const
{
switch (type) {
case BOOLEAN:
case INTEGER:
case AMOUNT:
case BALANCE:
return *this;
case BALANCE_PAIR:
assert(((balance_pair_t *) data)->cost);
if (((balance_pair_t *) data)->cost)
return *(((balance_pair_t *) data)->cost);
else
return ((balance_pair_t *) data)->quantity;
default:
assert(0);
break;
}
assert(0);
return value_t();
}
value_t& value_t::add(const amount_t& amount, const amount_t * cost)
{
switch (type) {
case BOOLEAN:
case INTEGER:
case AMOUNT:
if (cost) {
cast(BALANCE_PAIR);
return add(amount, cost);
}
else if ((type == AMOUNT &&
((amount_t *) data)->commodity() != amount.commodity()) ||
(type != AMOUNT && amount.commodity())) {
cast(BALANCE);
return add(amount, cost);
}
else if (type != AMOUNT) {
cast(AMOUNT);
}
*((amount_t *) data) += amount;
break;
case BALANCE:
if (cost) {
cast(BALANCE_PAIR);
return add(amount, cost);
}
*((balance_t *) data) += amount;
break;
case BALANCE_PAIR:
((balance_pair_t *) data)->add(amount, cost);
break;
default:
assert(0);
break;
}
return *this;
}
} // namespace ledger