1 // Created on: 1991-04-11
2 // Created by: Arnaud BOUZY
3 // Copyright (c) 1991-1999 Matra Datavision
4 // Copyright (c) 1999-2014 OPEN CASCADE SAS
6 // This file is part of Open CASCADE Technology software library.
8 // This library is free software; you can redistribute it and/or modify it under
9 // the terms of the GNU Lesser General Public License version 2.1 as published
10 // by the Free Software Foundation, with special exception defined in the file
11 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
12 // distribution for complete text of the license and disclaimer of any warranty.
14 // Alternatively, this file may be used under the terms of Open CASCADE
15 // commercial license or contractual agreement.
19 #include <Expr_GeneralExpression.hxx>
20 #include <Expr_InvalidAssignment.hxx>
21 #include <Expr_InvalidOperand.hxx>
22 #include <Expr_NamedUnknown.hxx>
23 #include <Expr_NotAssigned.hxx>
24 #include <Expr_NotEvaluable.hxx>
25 #include <Expr_NumericValue.hxx>
26 #include <Standard_NumericError.hxx>
27 #include <Standard_OutOfRange.hxx>
28 #include <Standard_Type.hxx>
29 #include <TCollection_AsciiString.hxx>
31 IMPLEMENT_STANDARD_RTTIEXT(Expr_NamedUnknown,Expr_NamedExpression)
33 Expr_NamedUnknown::Expr_NamedUnknown(const TCollection_AsciiString& name)
36 myExpression.Nullify();
39 const Handle(Expr_GeneralExpression)& Expr_NamedUnknown::AssignedExpression () const
42 throw Expr_NotAssigned();
47 void Expr_NamedUnknown::Assign (const Handle(Expr_GeneralExpression)& exp)
49 Handle(Expr_NamedUnknown) me = this;
50 if (exp->Contains(me)) {
51 throw Expr_InvalidAssignment();
57 const Handle(Expr_GeneralExpression)& Expr_NamedUnknown::SubExpression (const Standard_Integer I) const
60 throw Standard_OutOfRange();
63 throw Standard_OutOfRange();
65 return AssignedExpression();
68 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Simplified () const
71 Handle(Expr_NamedUnknown) me = this;
75 return myExpression->Simplified();
79 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Copy () const
81 Handle(Expr_NamedUnknown) cop = new Expr_NamedUnknown(GetName());
83 cop->Assign(Expr::CopyShare(myExpression));
89 Standard_Boolean Expr_NamedUnknown::ContainsUnknowns () const
92 if (myExpression->IsKind(STANDARD_TYPE(Expr_NamedUnknown))) {
95 return myExpression->ContainsUnknowns();
98 return Standard_False;
102 Standard_Boolean Expr_NamedUnknown::Contains
103 (const Handle(Expr_GeneralExpression)& exp) const
106 const Handle(Expr_NamedUnknown) expNamed =
107 Handle(Expr_NamedUnknown)::DownCast(exp);
108 if (expNamed.IsNull() || expNamed->IsAssigned())
109 return Standard_False;
110 //AGV 22.03.12: Comparison based on name coincidence
111 return IsIdentical(expNamed);
113 if (myExpression == exp) {
114 return Standard_True;
116 return myExpression->Contains(exp);
120 Standard_Boolean Expr_NamedUnknown::IsLinear () const
123 return myExpression->IsLinear();
126 return Standard_True;
130 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Derivative (const Handle(Expr_NamedUnknown)& X) const
132 Handle(Expr_NamedUnknown) me = this;
135 return myExpression->Derivative(X);
138 return new Expr_NumericValue(0.0);
142 return new Expr_NumericValue(1.0);
146 void Expr_NamedUnknown::Replace (const Handle(Expr_NamedUnknown)& var, const Handle(Expr_GeneralExpression)& with)
149 if (myExpression == var) {
150 Handle(Expr_NamedUnknown) me = this;
151 if (with->Contains(me)) {
152 throw Expr_InvalidOperand();
157 if (myExpression->Contains(var)) {
158 myExpression->Replace(var,with);
165 Handle(Expr_GeneralExpression) Expr_NamedUnknown::ShallowSimplified () const
170 Handle(Expr_NamedUnknown) me = this;
174 Standard_Real Expr_NamedUnknown::Evaluate(const Expr_Array1OfNamedUnknown& vars, const TColStd_Array1OfReal& vals) const
177 Handle(Expr_NamedUnknown) me = this;
178 for (Standard_Integer i=vars.Lower();i<=vars.Upper();i++) {
179 if (me->GetName() == vars(i)->GetName()) {
180 return vals(i-vars.Lower()+vals.Lower());
183 throw Expr_NotEvaluable();
185 return myExpression->Evaluate(vars,vals);
188 Standard_Integer Expr_NamedUnknown::NbSubExpressions () const