1 //static const char* sccsid = "@(#)Expr_BinaryExpression.cxx 3.2 95/01/10"; // Do not delete this line. Used by sccs.
2 // Copyright: Matra-Datavision 1991
3 // File: Expr_BinaryExpression.cxx
4 // Created: Fri Apr 12 10:41:21 1991
5 // Author: Arnaud BOUZY
8 #include <Expr_BinaryExpression.ixx>
9 #include <Expr_NamedUnknown.hxx>
10 #include <Expr_InvalidOperand.hxx>
11 #include <Standard_OutOfRange.hxx>
14 void Expr_BinaryExpression::SetFirstOperand (const Handle(Expr_GeneralExpression)& exp)
16 Handle(Expr_BinaryExpression) me;
19 Expr_InvalidOperand::Raise();
21 if (exp->Contains(me)) {
22 Expr_InvalidOperand::Raise();
27 void Expr_BinaryExpression::SetSecondOperand (const Handle(Expr_GeneralExpression)& exp)
29 Handle(Expr_BinaryExpression) me;
32 Expr_InvalidOperand::Raise();
34 if (exp->Contains(me)) {
35 Expr_InvalidOperand::Raise();
37 mySecondOperand = exp;
40 void Expr_BinaryExpression::CreateFirstOperand (const Handle(Expr_GeneralExpression)& exp)
45 void Expr_BinaryExpression::CreateSecondOperand (const Handle(Expr_GeneralExpression)& exp)
47 mySecondOperand = exp;
50 Standard_Integer Expr_BinaryExpression::NbSubExpressions () const
55 const Handle(Expr_GeneralExpression)& Expr_BinaryExpression::SubExpression (const Standard_Integer I) const
58 return myFirstOperand;
62 return mySecondOperand;
65 Standard_OutOfRange::Raise();
68 #if defined (WNT) || !defined (DEB)
69 return *( ( Handle_Expr_GeneralExpression* )NULL );
73 Standard_Boolean Expr_BinaryExpression::ContainsUnknowns () const
75 if (myFirstOperand->IsKind(STANDARD_TYPE(Expr_NamedUnknown))) {
78 if (mySecondOperand->IsKind(STANDARD_TYPE(Expr_NamedUnknown))) {
81 if (myFirstOperand->ContainsUnknowns()) {
84 if (mySecondOperand->ContainsUnknowns()) {
87 return Standard_False;
90 Standard_Boolean Expr_BinaryExpression::Contains (const Handle(Expr_GeneralExpression)& exp) const
92 if (myFirstOperand == exp) {
95 if (mySecondOperand == exp) {
98 if (myFirstOperand->Contains(exp)) {
101 if (mySecondOperand->Contains(exp)) {
102 return Standard_True;
104 return Standard_False;
107 void Expr_BinaryExpression::Replace (const Handle(Expr_NamedUnknown)& var, const Handle(Expr_GeneralExpression)& with)
109 if (myFirstOperand == var) {
110 SetFirstOperand(with);
113 if (myFirstOperand->Contains(var)) {
114 myFirstOperand->Replace(var,with);
117 if (mySecondOperand == var) {
118 SetSecondOperand(with);
121 if (mySecondOperand->Contains(var)) {
122 mySecondOperand->Replace(var,with);
128 Handle(Expr_GeneralExpression) Expr_BinaryExpression::Simplified() const
130 Handle(Expr_BinaryExpression) cop = Handle(Expr_BinaryExpression)::DownCast(Copy());
131 Handle(Expr_GeneralExpression) op1 = cop->FirstOperand();
132 Handle(Expr_GeneralExpression) op2 = cop->SecondOperand();
133 cop->SetFirstOperand(op1->Simplified());
134 cop->SetSecondOperand(op2->Simplified());
135 return cop->ShallowSimplified();