1 // Copyright (C) 2007-2016 CEA/DEN, EDF R&D, OPEN CASCADE
3 // Copyright (C) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
6 // This library is free software; you can redistribute it and/or
7 // modify it under the terms of the GNU Lesser General Public
8 // License as published by the Free Software Foundation; either
9 // version 2.1 of the License, or (at your option) any later version.
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // Lesser General Public License for more details.
16 // You should have received a copy of the GNU Lesser General Public
17 // License along with this library; if not, write to the Free Software
18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
23 // SMESH SMESH : implementaion of SMESH idl descriptions
24 // File : StdMeshers_NumberOfSegments.cxx
25 // Moved here from SMESH_NumberOfSegments.cxx
26 // Author : Paul RASCLE, EDF
29 #include "StdMeshers_NumberOfSegments.hxx"
31 #include "SMESHDS_Mesh.hxx"
32 #include "SMESHDS_SubMesh.hxx"
33 #include "SMESH_Comment.hxx"
34 #include "SMESH_Mesh.hxx"
35 #include "StdMeshers_Distribution.hxx"
37 #include <ExprIntrp_GenExp.hxx>
38 #include <Expr_Array1OfNamedUnknown.hxx>
39 #include <Expr_NamedUnknown.hxx>
40 #include <TColStd_Array1OfReal.hxx>
41 #include <TCollection_AsciiString.hxx>
43 #include <TopTools_IndexedMapOfShape.hxx>
45 #include <Standard_Failure.hxx>
46 #include <Standard_ErrorHandler.hxx>
48 #include <Basics_Utils.hxx>
50 using namespace StdMeshers;
53 const double PRECISION = 1e-7;
55 //=============================================================================
59 //=============================================================================
61 StdMeshers_NumberOfSegments::StdMeshers_NumberOfSegments(int hypId,
64 : SMESH_Hypothesis(hypId, studyId, gen),
65 _numberOfSegments(15),//issue 19923
66 _distrType(DT_Regular),
68 _convMode(1) //cut negative by default
70 _name = "NumberOfSegments";
74 //=============================================================================
78 //=============================================================================
80 StdMeshers_NumberOfSegments::~StdMeshers_NumberOfSegments()
84 //=============================================================================
88 //=============================================================================
90 StdMeshers_NumberOfSegments::BuildDistributionExpr( const char* expr,int nbSeg,int conv )
91 throw ( SALOME_Exception )
93 if( !buildDistribution( TCollection_AsciiString( ( Standard_CString )expr ), conv, 0.0, 1.0, nbSeg, _distr, 1E-4 ) )
99 StdMeshers_NumberOfSegments::BuildDistributionTab( const vector<double>& tab,
102 throw ( SALOME_Exception )
104 if( !buildDistribution( tab, conv, 0.0, 1.0, nbSeg, _distr, 1E-4 ) )
109 //=============================================================================
113 //=============================================================================
115 void StdMeshers_NumberOfSegments::SetNumberOfSegments(int segmentsNumber)
116 throw(SALOME_Exception)
118 int oldNumberOfSegments = _numberOfSegments;
119 if (segmentsNumber <= 0)
120 throw SALOME_Exception(LOCALIZED("number of segments must be positive"));
121 _numberOfSegments = segmentsNumber;
123 if (oldNumberOfSegments != _numberOfSegments)
124 NotifySubMeshesHypothesisModification();
127 //=============================================================================
131 //=============================================================================
133 int StdMeshers_NumberOfSegments::GetNumberOfSegments() const
135 return _numberOfSegments;
138 //================================================================================
142 //================================================================================
144 void StdMeshers_NumberOfSegments::SetDistrType(DistrType typ)
145 throw(SALOME_Exception)
147 if (typ < DT_Regular || typ > DT_ExprFunc)
148 throw SALOME_Exception(LOCALIZED("distribution type is out of range"));
150 if (typ != _distrType)
153 NotifySubMeshesHypothesisModification();
157 //================================================================================
161 //================================================================================
163 StdMeshers_NumberOfSegments::DistrType StdMeshers_NumberOfSegments::GetDistrType() const
168 //================================================================================
172 //================================================================================
174 void StdMeshers_NumberOfSegments::SetScaleFactor(double scaleFactor)
175 throw(SALOME_Exception)
177 if (scaleFactor < PRECISION)
178 throw SALOME_Exception(LOCALIZED("scale factor must be positive"));
180 if (_distrType != DT_Scale)
181 _distrType = DT_Scale;
183 // commented by mpa for IPAL 52986
184 // if ( fabs(scaleFactor - 1.0) < PRECISION )
185 // _distrType = DT_Regular;
187 if ( fabs(_scaleFactor - scaleFactor) > PRECISION )
189 _scaleFactor = scaleFactor;
190 NotifySubMeshesHypothesisModification();
194 //================================================================================
198 //================================================================================
200 double StdMeshers_NumberOfSegments::GetScaleFactor() const
201 throw(SALOME_Exception)
203 if (_distrType != DT_Scale)
204 throw SALOME_Exception(LOCALIZED("not a scale distribution"));
208 //================================================================================
212 //================================================================================
214 void StdMeshers_NumberOfSegments::SetTableFunction(const vector<double>& table)
215 throw(SALOME_Exception)
217 if (_distrType != DT_TabFunc)
218 _distrType = DT_TabFunc;
219 //throw SALOME_Exception(LOCALIZED("not a table function distribution"));
220 if ( (table.size() % 2) != 0 )
221 throw SALOME_Exception(LOCALIZED("odd size of vector of table function"));
223 double prev = -PRECISION;
224 bool isSame = table.size() == _table.size();
227 for ( size_t i = 0; i < table.size() / 2; i++ )
229 double par = table[i*2];
230 double val = table[i*2+1];
235 val = pow( 10.0, val );
237 catch(Standard_Failure) {
238 Handle(Standard_Failure) aFail = Standard_Failure::Caught();
239 throw SALOME_Exception( LOCALIZED( "invalid value"));
243 else if( _convMode==1 && val<0.0 )
246 if ( par < 0 || par > 1)
247 throw SALOME_Exception(LOCALIZED("parameter of table function is out of range [0,1]"));
248 if ( fabs(par-prev) < PRECISION )
249 throw SALOME_Exception(LOCALIZED("two parameters are the same"));
251 throw SALOME_Exception(LOCALIZED("value of table function is not positive"));
252 if( val > PRECISION )
256 double oldpar = _table[i*2];
257 double oldval = _table[i*2+1];
258 if ( fabs(par - oldpar) > PRECISION || fabs(val - oldval) > PRECISION )
265 throw SALOME_Exception(LOCALIZED("value of table function is not positive"));
267 if ( pos && !isSame )
270 NotifySubMeshesHypothesisModification();
274 //================================================================================
278 //================================================================================
280 const vector<double>& StdMeshers_NumberOfSegments::GetTableFunction() const
281 throw(SALOME_Exception)
283 if (_distrType != DT_TabFunc)
284 throw SALOME_Exception(LOCALIZED("not a table function distribution"));
288 //================================================================================
289 /*! check if only 't' is unknown variable in expression
291 //================================================================================
292 bool isCorrectArg( const Handle( Expr_GeneralExpression )& expr )
294 Handle( Expr_NamedUnknown ) sub = Handle( Expr_NamedUnknown )::DownCast( expr );
296 return sub->GetName()=="t";
299 for( int i=1, n=expr->NbSubExpressions(); i<=n && res; i++ )
301 Handle( Expr_GeneralExpression ) sub = expr->SubExpression( i );
302 Handle( Expr_NamedUnknown ) name = Handle( Expr_NamedUnknown )::DownCast( sub );
305 if( name->GetName()!="t" )
309 res = isCorrectArg( sub );
314 //================================================================================
315 /*! this function parses the expression 'str' in order to check if syntax is correct
316 * ( result in 'syntax' ) and if only 't' is unknown variable in expression ( result in 'args' )
318 //================================================================================
319 bool process( const TCollection_AsciiString& str, int convMode,
320 bool& syntax, bool& args,
321 bool& non_neg, bool& non_zero,
322 bool& singulars, double& sing_point )
324 Kernel_Utils::Localizer loc;
326 bool parsed_ok = true;
327 Handle( ExprIntrp_GenExp ) myExpr;
330 myExpr = ExprIntrp_GenExp::Create();
331 myExpr->Process( str.ToCString() );
332 } catch(Standard_Failure) {
333 Handle(Standard_Failure) aFail = Standard_Failure::Caught();
339 if( parsed_ok && myExpr->IsDone() )
342 args = isCorrectArg( myExpr->Expression() );
345 bool res = parsed_ok && syntax && args;
355 FunctionExpr f( str.ToCString(), convMode );
357 for( int i=0; i<=max; i++ )
359 double t = double(i)/double(max), val;
360 if( !f.value( t, val ) )
376 return res && non_neg && non_zero && ( !singulars );
379 //================================================================================
383 //================================================================================
385 void StdMeshers_NumberOfSegments::SetExpressionFunction(const char* expr)
386 throw(SALOME_Exception)
388 if (_distrType != DT_ExprFunc)
389 _distrType = DT_ExprFunc;
391 string func = CheckExpressionFunction( expr, _convMode );
395 NotifySubMeshesHypothesisModification();
399 //=======================================================================
400 //function : CheckExpressionFunction
401 //purpose : Checks validity of the expression of the function f(t), e.g. "sin(t)".
402 // In case of validity returns a cleaned expression
403 //=======================================================================
406 StdMeshers_NumberOfSegments::CheckExpressionFunction( const std::string& expr,
408 throw (SALOME_Exception)
410 // remove white spaces
411 TCollection_AsciiString str((Standard_CString)expr.c_str());
417 bool syntax, args, non_neg, singulars, non_zero;
419 bool res = process( str, convMode, syntax, args, non_neg, non_zero, singulars, sing_point );
423 throw SALOME_Exception(SMESH_Comment("invalid expression syntax: ") << str );
425 throw SALOME_Exception(LOCALIZED("only 't' may be used as function argument"));
427 throw SALOME_Exception(LOCALIZED("only non-negative function can be used"));
431 sprintf( buf, "Function has singular point in %.3f", sing_point );
432 throw SALOME_Exception( buf );
435 throw SALOME_Exception(LOCALIZED("f(t)=0 cannot be used"));
438 return str.ToCString();
441 //================================================================================
445 //================================================================================
447 const char* StdMeshers_NumberOfSegments::GetExpressionFunction() const
448 throw(SALOME_Exception)
450 if (_distrType != DT_ExprFunc)
451 throw SALOME_Exception(LOCALIZED("not an expression function distribution"));
452 return _func.c_str();
455 //================================================================================
459 //================================================================================
461 void StdMeshers_NumberOfSegments::SetConversionMode( int conv )
462 throw(SALOME_Exception)
464 // if (_distrType != DT_TabFunc && _distrType != DT_ExprFunc)
465 // throw SALOME_Exception(LOCALIZED("not a functional distribution"));
467 if( conv != _convMode )
470 NotifySubMeshesHypothesisModification();
474 //================================================================================
478 //================================================================================
480 int StdMeshers_NumberOfSegments::ConversionMode() const
481 throw(SALOME_Exception)
483 // if (_distrType != DT_TabFunc && _distrType != DT_ExprFunc)
484 // throw SALOME_Exception(LOCALIZED("not a functional distribution"));
488 //=============================================================================
492 //=============================================================================
494 ostream & StdMeshers_NumberOfSegments::SaveTo(ostream & save)
496 int listSize = _edgeIDs.size();
497 save << _numberOfSegments << " " << (int)_distrType;
501 save << " " << _scaleFactor;
504 save << " " << _table.size();
505 for ( size_t i = 0; i < _table.size(); i++ )
506 save << " " << _table[i];
509 save << " " << _func;
516 if (_distrType == DT_TabFunc || _distrType == DT_ExprFunc)
517 save << " " << _convMode;
519 if ( _distrType != DT_Regular && listSize > 0 ) {
520 save << " " << listSize;
521 for ( int i = 0; i < listSize; i++ )
522 save << " " << _edgeIDs[i];
523 save << " " << _objEntry;
529 //=============================================================================
533 //=============================================================================
535 istream & StdMeshers_NumberOfSegments::LoadFrom(istream & load)
540 // read number of segments
541 isOK = static_cast<bool>(load >> a);
543 _numberOfSegments = a;
545 load.clear(ios::badbit | load.rdstate());
547 // read second stored value. It can be two variants here:
548 // 1. If the hypothesis is stored in old format (nb.segments and scale factor),
549 // we wait here the scale factor, which is double.
550 // 2. If the hypothesis is stored in new format
551 // (nb.segments, distr.type, some other params.),
552 // we wait here the ditribution type, which is integer
554 isOK = static_cast<bool>(load >> scale_factor);
555 a = (int)scale_factor;
557 // try to interprete ditribution type,
558 // supposing that this hypothesis was written in the new format
561 if (a < DT_Regular || a > DT_ExprFunc)
562 _distrType = DT_Regular;
564 _distrType = (DistrType) a;
567 load.clear(ios::badbit | load.rdstate());
569 // parameters of distribution
575 isOK = static_cast<bool>(load >> b);
580 load.clear(ios::badbit | load.rdstate());
581 // this can mean, that the hypothesis is stored in old format
582 _distrType = DT_Regular;
583 _scaleFactor = scale_factor;
589 isOK = static_cast<bool>(load >> a);
592 _table.resize(a, 0.);
593 for ( size_t i=0; i < _table.size(); i++ )
595 isOK = static_cast<bool>(load >> b);
599 load.clear(ios::badbit | load.rdstate());
604 load.clear(ios::badbit | load.rdstate());
605 // this can mean, that the hypothesis is stored in old format
606 _distrType = DT_Regular;
607 _scaleFactor = scale_factor;
614 isOK = static_cast<bool>(load >> str);
619 load.clear(ios::badbit | load.rdstate());
620 // this can mean, that the hypothesis is stored in old format
621 _distrType = DT_Regular;
622 _scaleFactor = scale_factor;
631 if (_distrType == DT_TabFunc || _distrType == DT_ExprFunc)
633 isOK = static_cast<bool>(load >> a);
637 load.clear(ios::badbit | load.rdstate());
640 // load reversed edges IDs
642 isOK = static_cast<bool>(load >> intVal);
643 if ( isOK && _distrType != DT_Regular && intVal > 0 ) {
644 _edgeIDs.reserve( intVal );
645 for ( size_t i = 0; i < _edgeIDs.capacity() && isOK; i++) {
646 isOK = static_cast<bool>(load >> intVal);
647 if ( isOK ) _edgeIDs.push_back( intVal );
649 isOK = static_cast<bool>(load >> _objEntry);
655 //=============================================================================
659 //=============================================================================
661 ostream & operator <<(ostream & save, StdMeshers_NumberOfSegments & hyp)
663 return hyp.SaveTo( save );
666 //=============================================================================
670 //=============================================================================
672 istream & operator >>(istream & load, StdMeshers_NumberOfSegments & hyp)
674 return hyp.LoadFrom( load );
677 //================================================================================
679 * \brief Initialize number of segments by the mesh built on the geometry
680 * \param theMesh - the built mesh
681 * \param theShape - the geometry of interest
682 * \retval bool - true if parameter values have been successfully defined
684 //================================================================================
686 bool StdMeshers_NumberOfSegments::SetParametersByMesh(const SMESH_Mesh* theMesh,
687 const TopoDS_Shape& theShape)
689 if ( !theMesh || theShape.IsNull() )
692 _numberOfSegments = 0;
693 _distrType = DT_Regular;
696 TopTools_IndexedMapOfShape edgeMap;
697 TopExp::MapShapes( theShape, TopAbs_EDGE, edgeMap );
698 SMESHDS_Mesh* aMeshDS = const_cast< SMESH_Mesh* >( theMesh )->GetMeshDS();
699 for ( int i = 1; i <= edgeMap.Extent(); ++i )
701 // get current segment length
702 SMESHDS_SubMesh * eSubMesh = aMeshDS->MeshElements( edgeMap( i ));
703 if ( eSubMesh && eSubMesh->NbElements())
704 _numberOfSegments += eSubMesh->NbElements();
709 _numberOfSegments /= nbEdges;
711 if (_numberOfSegments == 0) _numberOfSegments = 1;
715 //================================================================================
717 * \brief Initialize my parameter values by default parameters.
718 * \retval bool - true if parameter values have been successfully defined
720 //================================================================================
722 bool StdMeshers_NumberOfSegments::SetParametersByDefaults(const TDefaults& dflts,
723 const SMESH_Mesh* /*theMesh*/)
725 return (_numberOfSegments = dflts._nbSegments );
728 //=============================================================================
732 //=============================================================================
734 void StdMeshers_NumberOfSegments::SetReversedEdges( std::vector<int>& ids )
736 if ( ids != _edgeIDs ) {
739 NotifySubMeshesHypothesisModification();