cont_must_item.cc

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

/*
	HYSDEL
	Copyright (C) 1999-2002  Fabio D. Torrisi

	This file is part of HYSDEL.
    
	HYSDEL 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.

	HYSDEL 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 this library; if not, write to the Free Software
	Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

	CONTACT INFORMATION
	===================
	Fabio D. Torrisi
	ETH Zentrum
	Physikstrasse. 3 ETL,
	CH-8032 Zurich
	Switzerland
	mailto:[e-mail] (preferred)
*/

#include "Cont_must_item.h"
#include "Expr.h"
#include "MLD_representation.h"
#include "Symbol_table.h"
#include "Affine_func.h"
#include <stdio.h>
#include "Globals.h"
#include "Problem.h"
#include "Problem_handler.h"

Cont_must_item::Cont_must_item(Expr * e, const Globals * glob) :
	Constraint_item(e, glob) {
}

MLD_representation * Cont_must_item::translate_MLD() const {
	MLD_representation * mld;
	Affine_func * aff;
	int subind_cnt = 0;

	mld = new MLD_representation(globals);
	aff = constraint->compute_affine();
	aff_leq_zero_to_mld(aff, mld, & subind_cnt);
	delete aff;
	return mld;
}

void Cont_must_item::semantic_checks() {
	string msg;
	char buf[20];

	constraint->semantic_checks();
	if (!constraint->is_affine()) {
		sprintf(buf, "line %d: ", get_source_line());
		msg = buf;
		msg += string("expression must be affine");
		globals->problem_handler->process(new Problem(ERROR, msg));
	}
}


string Cont_must_item::matlab_simu() const {
	string res;

	res += string("% ") + get_source() + string("\n");
	res += string("if (") + constraint->to_matlab() + string(") > 0\n");
	res += string("\tERROR('must item violated');\n");
	res += string("end\n");
	res += string("\n");
	return res;
}