--- /dev/null
+-- 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;