max_expr.cc

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

#include "Max_expr.h"
#include "Real_number.h"
#include "Globals.h"
#include "Cmd_options.h"

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


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

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

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

string Max_expr::to_matlab() const {
	string res;

	if (globals->cmd_options->all_params_symbolic() || !is_number() ) {
	  if (globals->cmd_options->use_matlab_symbolic())
	    res+="maple('max', ";
	  else
	    res+="max(";
	  res+=left->to_matlab();
	  res+=", ";
	  res+=right->to_matlab();
	  res+=")";
	} else {
	  Number *n;
	  n=compute_number();
	  res += n->to_matlab();
	  delete n;
	}	

    return res;
}