|
Go to the documentation of this file.
35 mpSymbolTable=GlobalClockSymbolTablep();
37 FD_DC( "ClockSet("<< this<< ")::ClockSet() with csymtab "<< SymbolTablep());
42 FD_DC( "ClockSet(" << this << ")::ClockSet(rOtherSet " << &rOtherSet << ")");
113 Set(clockindex,op,timeconst);
159 std::stringstream resstream;
162 std::string result = resstream.str();
199 FD_DC( "TimeConstraint(" << this << ")::TimeConstraint()");
201 mName= "TimeConstraint";
206 FD_DC( "TimeConstraint(" << this << ")::TimeConstraint(" << rFilename << ")");
208 Read(rFilename, rLabel);
213 FD_DC( "TimeConstraint(" << this << ")::TimeConstraint(other)");
235 FD_ERR( "TimeConstraint::SymboltTable(pSymTab): "
236 << "set SymbolTable not implemented!!");
269 std::stringstream resstream;
273 std::string result = resstream.str();
279 FD_DC( "TimeConstraint(" << this << ")::Insert(" << rNewConstr. Str() << ")");
281 std::stringstream errstr;
282 errstr << "Invalid ElemConstraint: \"" << rNewConstr. Str();
283 throw Exception( "TimeConstraint::Insert", errstr.str(), 55);
290 FD_DC( "TimeConstraint(" << this << ")::Insert("
299 const std::string clockname,
303 FD_DC( "TimeConstraint(" << this << ")::Insert(\""
306 return Insert(clockindex,op,timeconst);
311 FD_DC( "TimeConstraint(" << this << ")::Insert(const std::list<ElemConstraint>&)");
313 std::list<ElemConstraint>::const_iterator it;
315 for(it = rNewConstraints.begin(); it != rNewConstraints.end(); it++)
322 FD_DC( "TimeConstraint(" << this << ")::Insert(" << rOtherTimeConstraint. ToString() << ")");
327 FD_ERR( "TimeConstraint::Insert "
328 << "SymbolTable mismatch aka not implemented!!");
331 for(it = rOtherTimeConstraint. Begin(); it != rOtherTimeConstraint. End(); it++) {
344 FD_DC( "TimeConstraint(" << this << ")::EraseByClock(" << clock << ") const");
362 FD_DC( "TimeConstraint(" << this << ")::Erase(" << it->Str() << ") const");
363 if(it== End()) return it;
373 FD_DC( "TimeConstraint(" << this << ")::Erase(" << rElemConstr. Str() << ") const");
378 if(it == End()) return false;
385 FD_DC( "TimeConstraint(" << this << ")::Erase("
388 return Erase(newconstr);
395 FD_DC( "TimeConstraint(" << this << ")::Erase(\""
398 return Erase(clockindex,op,timeconst);
403 FD_DC( "TimeConstraint(" << this << ")::ExistsElConstr(" << rElemConstr. Str() << ") const");
408 return (it != End()) ;
414 FD_DC( "TimeConstraint(" << this << ")::Clear() const");
453 FD_DC( "TimeConstraint(" << this << ")::ActiveClocks() const");
459 for(it = Begin(); it != End(); it++)
460 result. Insert(it->Clock());
472 FD_DC( "TimeConstraint(" << this << ")::Interval(" << clockindex << ") const");
476 for(it = Begin(clockindex); it != End(clockindex); it++) {
477 FD_DC( "TimeConstraint(" << this << ")::Interval: elemconstraint: " << it->Str());
480 tint. UB(it->TimeConstant());
484 tint. UB(it->TimeConstant());
488 tint. LB(it->TimeConstant());
492 tint. LB(it->TimeConstant());
495 FD_DC( "TimeConstraint(" << this << ")::Interval: interval: " << tint. Str());
510 FD_DC( "TimeConstraint(" << this << ")::Interval(" << clockindex << ", " << rInterval. Str() << ") ");
512 if(rInterval. LBinf()== false) {
514 newconstraint. Clock(clockindex);
522 if(rInterval. UBinf()== false) {
524 newconstraint. Clock(clockindex);
538 ClockSet::Iterator cit;
539 for(cit=aclocks. Begin(); cit != aclocks. End(); cit++) {
549 ClockSet::Iterator cit;
550 for(cit=aclocks. Begin(); cit != aclocks. End(); cit++) {
552 if(rOther. Interval(*cit)!=tint) return false;
571 std::ios::openmode openmode) const {
576 catch (std::ios::failure&) {
577 std::stringstream errstr;
578 errstr << "Exception opening/writing file \"" << rFilename << "\"";
579 throw Exception( "TimeConstraint::Write", errstr.str(), 2);
596 for (it = Begin(); it != End(); ++it) {
636 for (it = Begin(); it != End(); ++it) {
654 std::string clockname;
658 while(rTr. Peek(token)) {
666 std::stringstream errstr;
667 errstr << "Invalid clock" << rTr. FileLine();
668 throw Exception( "TimeConstraint::Read", errstr.str(), 56);
670 clockname=token.StringValue();
674 std::stringstream errstr;
675 errstr << "Invalid operator" << rTr. FileLine();
676 throw Exception( "TimeConstraint::Read", errstr.str(), 56);
678 if(token.StringValue() == "LE") {
680 } else if(token.StringValue() == "GE") {
682 } else if(token.StringValue() == "LT") {
684 } else if(token.StringValue() == "GT") {
687 std::stringstream errstr;
688 errstr << "Invalid operator value " << rTr. FileLine();
689 throw Exception( "TimedTransSet::ReadTimeConstraint", errstr.str(), 56);
693 if (!token.IsFloat()) {
694 std::stringstream errstr;
695 errstr << "Invalid timeconstant" << rTr. FileLine();
696 throw Exception( "TimeConstraint::Read", errstr.str(), 56);
700 Insert(clockname,compop,timeconst);
libFAUDES 2.28a
--- 2016.09.13
--- c++ api documentaion by doxygen
|