0026937: Eliminate NO_CXX_EXCEPTION macro support
[occt.git] / src / Expr / Expr_NamedUnknown.cxx
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
5 //
6 // This file is part of Open CASCADE Technology software library.
7 //
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.
13 //
14 // Alternatively, this file may be used under the terms of Open CASCADE
15 // commercial license or contractual agreement.
16
17
18 #include <Expr.hxx>
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>
30
31 IMPLEMENT_STANDARD_RTTIEXT(Expr_NamedUnknown,Expr_NamedExpression)
32
33 Expr_NamedUnknown::Expr_NamedUnknown(const TCollection_AsciiString& name)
34 {
35   SetName(name);
36   myExpression.Nullify();
37 }
38
39 const Handle(Expr_GeneralExpression)& Expr_NamedUnknown::AssignedExpression () const
40 {
41   if (!IsAssigned()) {
42     throw Expr_NotAssigned();
43   }
44   return myExpression;
45 }
46
47 void Expr_NamedUnknown::Assign (const Handle(Expr_GeneralExpression)& exp)
48 {
49   Handle(Expr_NamedUnknown) me = this;
50   if (exp->Contains(me)) {
51     throw Expr_InvalidAssignment();
52   }
53   myExpression = exp;
54 }
55
56       
57 const Handle(Expr_GeneralExpression)& Expr_NamedUnknown::SubExpression (const Standard_Integer I) const
58 {
59   if (!IsAssigned()) {
60     throw Standard_OutOfRange();
61   }
62   if (I != 1) {
63     throw Standard_OutOfRange();
64   }
65   return AssignedExpression();
66 }
67
68 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Simplified () const
69 {
70   if (!IsAssigned()) {
71     Handle(Expr_NamedUnknown) me = this;
72     return me;
73   }
74   else {
75     return myExpression->Simplified();
76   }
77 }
78
79 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Copy () const
80 {
81   Handle(Expr_NamedUnknown) cop = new Expr_NamedUnknown(GetName());
82   if (IsAssigned()) {
83     cop->Assign(Expr::CopyShare(myExpression));
84   }
85   return cop;
86 }
87
88
89 Standard_Boolean Expr_NamedUnknown::ContainsUnknowns () const
90 {
91   if (IsAssigned()) {
92     if (myExpression->IsKind(STANDARD_TYPE(Expr_NamedUnknown))) {
93       return Standard_True;
94     }
95     return myExpression->ContainsUnknowns();
96   }
97   else {
98     return Standard_False;
99   }
100 }
101
102 Standard_Boolean Expr_NamedUnknown::Contains
103                         (const Handle(Expr_GeneralExpression)& exp) const
104 {
105   if (!IsAssigned()) {
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);
112   }
113   if (myExpression == exp) {
114     return Standard_True;
115   }
116   return myExpression->Contains(exp);
117 }
118
119
120 Standard_Boolean Expr_NamedUnknown::IsLinear () const
121 {
122   if (IsAssigned()) {
123     return myExpression->IsLinear();
124   }
125   else {
126     return Standard_True;
127   }
128 }
129
130 Handle(Expr_GeneralExpression) Expr_NamedUnknown::Derivative (const Handle(Expr_NamedUnknown)& X) const
131 {
132   Handle(Expr_NamedUnknown) me = this;
133   if (me != X) {
134     if (IsAssigned()) {
135       return myExpression->Derivative(X);
136     }
137     else {
138       return new Expr_NumericValue(0.0);
139     }
140   }
141   else {
142     return new Expr_NumericValue(1.0);
143   }
144 }
145
146 void Expr_NamedUnknown::Replace (const Handle(Expr_NamedUnknown)& var, const Handle(Expr_GeneralExpression)& with)
147 {
148   if (IsAssigned()) {
149     if (myExpression == var) {
150       Handle(Expr_NamedUnknown) me = this;
151       if (with->Contains(me)) {
152         throw Expr_InvalidOperand();
153       }
154       Assign(with);
155     }
156     else {
157       if (myExpression->Contains(var)) {
158         myExpression->Replace(var,with);
159       }
160     }
161   }
162 }
163
164
165 Handle(Expr_GeneralExpression) Expr_NamedUnknown::ShallowSimplified () const
166 {
167   if (IsAssigned()) {
168     return myExpression;
169   }
170   Handle(Expr_NamedUnknown) me = this;
171   return me;
172 }
173
174 Standard_Real Expr_NamedUnknown::Evaluate(const Expr_Array1OfNamedUnknown& vars, const TColStd_Array1OfReal& vals) const
175 {
176   if (!IsAssigned()) {
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());
181       }
182     }
183     throw Expr_NotEvaluable();
184   }
185   return myExpression->Evaluate(vars,vals);
186 }
187
188 Standard_Integer Expr_NamedUnknown::NbSubExpressions () const
189 {
190   if (IsAssigned()) {
191     return 1;
192   }
193   else {
194     return 0;
195   }
196 }
197