1 // Created on: 1992-01-02
2 // Created by: Remi GILET
3 // Copyright (c) 1992-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.
17 #include <GccAna_Circ2d2TanOn.jxx>
20 #include <gp_Dir2d.hxx>
21 #include <gp_Ax2d.hxx>
22 #include <IntAna2d_AnaIntersection.hxx>
23 #include <IntAna2d_IntPoint.hxx>
24 #include <GccAna_CircLin2dBisec.hxx>
25 #include <GccInt_IType.hxx>
26 #include <GccInt_BCirc.hxx>
27 #include <IntAna2d_Conic.hxx>
28 #include <TColStd_Array1OfReal.hxx>
29 #include <GccEnt_BadQualifier.hxx>
32 GccAna_Circ2d2TanOn (const GccEnt_QualifiedCirc& Qualified1 ,
33 const GccEnt_QualifiedLin& Qualified2 ,
34 const gp_Circ2d& OnCirc ,
35 const Standard_Real Tolerance ):
52 WellDone = Standard_False;
54 if (!(Qualified1.IsEnclosed() || Qualified1.IsEnclosing() ||
55 Qualified1.IsOutside() || Qualified1.IsUnqualified()) ||
56 !(Qualified2.IsEnclosed() ||
57 Qualified2.IsOutside() || Qualified2.IsUnqualified())) {
58 GccEnt_BadQualifier::Raise();
61 Standard_Real Radius=0;
63 gp_Circ2d C1 = Qualified1.Qualified();
64 gp_Lin2d L2 = Qualified2.Qualified();
65 Standard_Real R1 = C1.Radius();
66 gp_Pnt2d center1(C1.Location());
67 gp_Pnt2d origin2(L2.Location());
68 gp_Dir2d dirL2(L2.Direction());
69 gp_Dir2d normL2(-dirL2.Y(),dirL2.X());
71 //=========================================================================
72 // Processing of boundary cases. +
73 //=========================================================================
75 Standard_Real Tol = Abs(Tolerance);
76 TColStd_Array1OfReal Rradius(1,2);
77 Standard_Integer nbsol1 = 1;
78 // Standard_Integer nbsol2 = 0;
79 Standard_Real Ron = OnCirc.Radius();
80 Standard_Real distcco = OnCirc.Location().Distance(center1);
81 gp_Dir2d dircc(OnCirc.Location().XY()-center1.XY());
82 gp_Pnt2d pinterm(center1.XY()+(distcco-Ron)*dircc.XY());
83 Standard_Real distpl2 =L2.Distance(pinterm);
84 Standard_Real distcc1 =pinterm.Distance(center1);
85 Standard_Real d1 = Abs(distpl2-Abs(distcc1-R1));
86 Standard_Real d2 = Abs(distpl2-(distcc1+R1));
87 if ( d1 > Tol || d2 > Tol ) {
88 pinterm = gp_Pnt2d(center1.XY()+(distcco-Ron)*dircc.XY());
89 if ( d1 > Tol || d2 > Tol ) {
94 if (Qualified1.IsEnclosed() || Qualified1.IsOutside()) {
96 Rradius(1) = Abs(distcc1-R1);
98 else if (Qualified1.IsEnclosing()) {
100 Rradius(1) = R1+distcc1;
102 else if (Qualified1.IsUnqualified()) {
104 Rradius(1) = Abs(distcc1-R1);
105 Rradius(2) = R1+distcc1;
107 gp_Dir2d dirbid(origin2.XY()-pinterm.XY());
108 gp_Dir2d normal(-dirL2.Y(),dirL2.X());
109 if (Qualified1.IsEnclosed() && dirbid.Dot(normal) < 0.) {
112 else if (Qualified1.IsOutside() && dirbid.Dot(normal) < 0.) {
115 for (Standard_Integer i = 1 ; i <= nbsol1 ; i++) {
116 if (Abs(Rradius(i)-distpl2) <= Tol) {
117 WellDone = Standard_True;
119 cirsol(NbrSol) = gp_Circ2d(gp_Ax2d(pinterm,dirx),Rradius(i));
120 // ===========================================================
121 gp_Dir2d dc1(center1.XY()-pinterm.XY());
122 gp_Dir2d dc2(origin2.XY()-pinterm.XY());
123 distcc1 = pinterm.Distance(center1);
124 if (!Qualified1.IsUnqualified()) {
125 qualifier1(NbrSol) = Qualified1.Qualifier();
127 else if (Abs(distcc1+Rradius(i)-R1) < Tol) {
128 qualifier1(NbrSol) = GccEnt_enclosed;
130 else if (Abs(distcc1-R1-Rradius(i)) < Tol) {
131 qualifier1(NbrSol) = GccEnt_outside;
133 else { qualifier1(NbrSol) = GccEnt_enclosing; }
134 if (!Qualified2.IsUnqualified()) {
135 qualifier2(NbrSol) = Qualified2.Qualifier();
137 else if (dc2.Dot(normL2) > 0.0) {
138 qualifier2(NbrSol) = GccEnt_outside;
140 else { qualifier2(NbrSol) = GccEnt_enclosed; }
142 Standard_Real sign = dc2.Dot(gp_Dir2d(-dirL2.Y(),dirL2.X()));
143 dc2 = gp_Dir2d(sign*gp_XY(-dirL2.Y(),dirL2.X()));
144 pnttg1sol(NbrSol) = gp_Pnt2d(pinterm.XY()+Rradius(i)*dc1.XY());
145 pnttg2sol(NbrSol) = gp_Pnt2d(pinterm.XY()+Rradius(i)*dc2.XY());
146 par1sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),pnttg1sol(NbrSol));
147 pararg1(NbrSol)=ElCLib::Parameter(C1,pnttg1sol(NbrSol));
148 par2sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),pnttg2sol(NbrSol));
149 pararg2(NbrSol)=ElCLib::Parameter(L2,pnttg2sol(NbrSol));
150 parcen3(NbrSol)=ElCLib::Parameter(OnCirc,pntcen(NbrSol));
153 if (WellDone) { return; }
156 //=========================================================================
158 //=========================================================================
160 GccAna_CircLin2dBisec Bis(C1,L2);
162 Standard_Integer nbsolution = Bis.NbSolutions();
163 for (Standard_Integer i = 1 ; i <= nbsolution; i++) {
164 Handle(GccInt_Bisec) Sol = Bis.ThisSolution(i);
165 GccInt_IType type = Sol->ArcType();
166 IntAna2d_AnaIntersection Intp;
167 if (type == GccInt_Lin) {
168 Intp.Perform(Sol->Line(),OnCirc);
170 else if (type == GccInt_Par) {
171 Intp.Perform(OnCirc,IntAna2d_Conic(Sol->Parabola()));
174 if ((!Intp.IsEmpty())&&(!Intp.ParallelElements())&&
175 (!Intp.IdenticalElements())) {
176 for (Standard_Integer j = 1 ; j <= Intp.NbPoints() ; j++) {
177 gp_Pnt2d Center(Intp.Point(j).Value());
178 Standard_Real dist1 = Center.Distance(center1);
179 Standard_Real dist2 = L2.Distance(Center);
180 // Standard_Integer nbsol = 1;
181 Standard_Boolean ok = Standard_False;
182 if (Qualified1.IsEnclosed()) {
183 if (dist1-R1 < Tolerance) {
184 if (Abs(Abs(R1-dist1)-dist2)<Tolerance) { ok=Standard_True; }
187 else if (Qualified1.IsOutside()) {
188 if (R1-dist1 < Tolerance) {
189 if (Abs(Abs(R1-dist1)-dist2)<Tolerance) { ok=Standard_True; }
192 else if (Qualified1.IsEnclosing() || Qualified1.IsUnqualified()) {
195 if (Qualified2.IsEnclosed() && ok) {
196 if ((((origin2.X()-Center.X())*(-dirL2.Y()))+
197 ((origin2.Y()-Center.Y())*(dirL2.X())))<=0){
202 else if (Qualified2.IsOutside() && ok) {
203 if ((((origin2.X()-Center.X())*(-dirL2.Y()))+
204 ((origin2.Y()-Center.Y())*(dirL2.X())))>=0){
209 else if (Qualified2.IsUnqualified() && ok) {
215 cirsol(NbrSol) = gp_Circ2d(gp_Ax2d(Center,dirx),Radius);
216 // =======================================================
217 gp_Dir2d dc2(origin2.XY()-Center.XY());
218 distcc1 = Center.Distance(center1);
219 if (!Qualified1.IsUnqualified()) {
220 qualifier1(NbrSol) = Qualified1.Qualifier();
222 else if (Abs(distcc1+Radius-R1) < Tol) {
223 qualifier1(NbrSol) = GccEnt_enclosed;
225 else if (Abs(distcc1-R1-Radius) < Tol) {
226 qualifier1(NbrSol) = GccEnt_outside;
228 else { qualifier1(NbrSol) = GccEnt_enclosing; }
229 if (!Qualified2.IsUnqualified()) {
230 qualifier2(NbrSol) = Qualified2.Qualifier();
232 else if (dc2.Dot(normL2) > 0.0) {
233 qualifier2(NbrSol) = GccEnt_outside;
235 else { qualifier2(NbrSol) = GccEnt_enclosed; }
236 if (Center.Distance(center1) <= Tolerance &&
237 Abs(Radius-C1.Radius()) <= Tolerance) {
238 TheSame1(NbrSol) = 1;
241 TheSame1(NbrSol) = 0;
242 gp_Dir2d dc1(center1.XY()-Center.XY());
243 pnttg1sol(NbrSol) = gp_Pnt2d(Center.XY()+Radius*dc1.XY());
244 par1sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),
246 pararg1(NbrSol)=ElCLib::Parameter(C1,pnttg1sol(NbrSol));
248 TheSame2(NbrSol) = 0;
249 Standard_Real sign = dc2.Dot(gp_Dir2d(normL2.XY()));
250 dc2 = gp_Dir2d(sign*gp_XY(normL2.XY()));
251 pnttg2sol(NbrSol) = gp_Pnt2d(Center.XY()+Radius*dc2.XY());
252 par2sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),
254 pararg2(NbrSol)=ElCLib::Parameter(L2,pnttg2sol(NbrSol));
255 pntcen(NbrSol) = Center;
256 parcen3(NbrSol)=ElCLib::Parameter(OnCirc,pntcen(NbrSol));
260 WellDone = Standard_True;