mult_expr.cc

由matlab开发的hybrid系统的描述语言

#include <string>
#include "Mult_expr.h"
#include "Affine_func.h"
#include "Real_number.h"
#include "Globals.h"
#include "Cmd_options.h"


void Mult_expr::semantic_checks() {
	left->semantic_checks();
	assert(left->is_real()); //fine
	right->semantic_checks();
	assert(right->is_real()); //fine
}


Affine_func * Mult_expr::compute_affine() const {
	Affine_func * aff;

	if (left->is_const()) {
		aff = right->compute_affine();
		aff->mult_const(left->clone());
	} else {
		assert(right->is_const()); //fine
		aff = left->compute_affine();
		aff->mult_const(right->clone());
	}
	return aff;
}


bool Mult_expr::is_affine() const {
	return (left->is_const() && right->is_affine()) ||
		(left->is_affine() && right->is_const());
}

bool Mult_expr::is_number() const {
	return left->is_number() && right->is_number();
}

Number * Mult_expr::compute_number() const {
	Real_number * l, * r;

	l = (Real_number *) left->compute_number();
	r = (Real_number *) right->compute_number();
	l->mult(r);
	return l;
}