0025509: Wrong shape considered as valid by checkshape

[occt.git] / src / BRepCheck / BRepCheck_Solid.cdl

diff --git a/src/BRepCheck/BRepCheck_Solid.cdl b/src/BRepCheck/BRepCheck_Solid.cdl
new file mode 100644 (file)
index 0000000..432f779
--- /dev/null
+++ b/src/BRepCheck/BRepCheck_Solid.cdl
@@ -0,0 +1,70 @@
+-- Created by: Peter KURNEV
+-- Copyright (c) 2014 OPEN CASCADE SAS
+--
+-- This file is part of Open CASCADE Technology software library.
+--
+-- This library is free software; you can redistribute it and/or modify it under
+-- the terms of the GNU Lesser General Public License version 2.1 as published
+-- by the Free Software Foundation, with special exception defined in the file
+-- OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
+-- distribution for complete text of the license and disclaimer of any warranty.
+--
+-- Alternatively, this file may be used under the terms of Open CASCADE
+-- commercial license or contractual agreement.
+
+
+class Solid from BRepCheck  
+    inherits Result from BRepCheck
+
+    ---Purpose:  The class is to check a solid.    
+
+uses  
+    Shape  from TopoDS,
+    Solid  from TopoDS 
+    
+is
+    Create(theS: Solid from TopoDS)
+        returns Solid from BRepCheck;
+    ---Purpose:   
+    --  Constructor 
+    --  <theS> is the solid to check 
+     
+    InContext(me: mutable;  
+            theContextShape: Shape from TopoDS) 
+        is redefined;
+    ---Purpose: 
+    --  Checks the solid in context of  
+    --  the shape <theContextShape>  
+ 
+    Minimum(me: mutable) 
+        is redefined; 
+    ---Purpose:  
+    --  Checks the solid per se. 
+    -- 
+    --  The scan area is:    
+    --  1.  Shells that overlaps each other  
+    --      Status:  BRepCheck_InvalidImbricationOfShells   
+    --
+    --  2.  Detached parts of the solid (vertices, edges)  
+    --      that have non-internal orientation 
+    --      Status:  BRepCheck_BadOrientationOfSubshape  
+    --   
+    --       
+    --  3.  For closed, non-internal shells:
+    --  3.1 Shells containing entities  of the solid that  
+    --      are outside towards the shells  
+    --      Status:  BRepCheck_SubshapeNotInShape  
+    -- 
+    --  3.2 Shells that encloses other Shells  
+    --      (for non-holes)
+    --      Status:  BRepCheck_EnclosedRegion 
+    --     
+    
+    Blind(me: mutable) 
+        is redefined;
+    ---Purpose:  
+    -- see the parent class for more details 
+     
+--fields
+
+end Solid;