mirror of
https://github.com/Open-Cascade-SAS/OCCT.git
synced 2026-07-10 12:28:17 +08:00
d5f74e42d6
License statement text corrected; compiler warnings caused by Bison 2.41 disabled for MSVC; a few other compiler warnings on 54-bit Windows eliminated by appropriate type cast Wrong license statements corrected in several files. Copyright and license statements added in XSD and GLSL files. Copyright year updated in some files. Obsolete documentation files removed from DrawResources.
115 lines
5.0 KiB
Plaintext
115 lines
5.0 KiB
Plaintext
-- Created on: 1993-02-02
|
|
-- Created by: Christian CAILLET
|
|
-- Copyright (c) 1993-1999 Matra Datavision
|
|
-- Copyright (c) 1999-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 CheckTool from Interface
|
|
|
|
---Purpose : Performs Checks on Entities, using General Service Library and
|
|
-- Modules to work. Works on one Entity or on a complete Model
|
|
|
|
uses Transient, InterfaceModel, Check,
|
|
CheckIterator, EntityIterator, HGraph, Graph, ShareTool,
|
|
Messenger from Message,
|
|
Protocol from Interface, GeneralLib, GTool
|
|
|
|
raises CheckFailure
|
|
|
|
is
|
|
|
|
Create (model : InterfaceModel; protocol : Protocol from Interface)
|
|
returns CheckTool;
|
|
---Purpose : Creates a CheckTool, by calling the General Service Library
|
|
-- and Modules, selected through a Protocol, to work on a Model
|
|
-- Moreover, Protocol recognizes Unknown Entities
|
|
|
|
Create (model : InterfaceModel)
|
|
returns CheckTool;
|
|
---Purpose : Creates a CheckTool, by calling the General Service Library
|
|
-- and Modules, selected through a Protocol, to work on a Model
|
|
-- Protocol and so on are taken from the Model (its GTool)
|
|
|
|
Create (graph : Graph) returns CheckTool;
|
|
---Purpose : Creates a CheckTool from a Graph. The Graph contains a Model
|
|
-- which designates a Protocol: they are used to create ShareTool
|
|
|
|
Create (hgraph : HGraph) returns CheckTool;
|
|
|
|
FillCheck (me : in out; ent : Transient; sh : ShareTool; ach : in out Check);
|
|
---Purpose : Fills as required a Check with the Error and Warning messages
|
|
-- produced by Checking a given Entity.
|
|
-- For an Erroneous or Corrected Entity : Check build at Analyse
|
|
-- time; else, Check computed for Entity (Verify integrity), can
|
|
-- use a Graph as required to control context
|
|
|
|
Print (me; ach : Check; S : Messenger from Message);
|
|
---Purpose : Utility method which Prints the content of a Check
|
|
|
|
Print (me; list : CheckIterator; S : Messenger from Message);
|
|
---Purpose : Simply Lists all the Checks and the Content (messages) and the
|
|
-- Entity, if there is, of each Check
|
|
-- (if all Checks are OK, nothing is Printed)
|
|
|
|
-- -- Checking a Model (the one given for Creation) -- --
|
|
|
|
Check (me : in out; num : Integer) returns Check;
|
|
---Purpose : Returns the Check associated to an Entity identified by
|
|
-- its Number in a Model.
|
|
|
|
CheckSuccess (me : in out; reset : Boolean = Standard_False)
|
|
raises CheckFailure;
|
|
---Purpose : Checks if any Error has been detected (CheckList not empty)
|
|
-- Returns normally if none, raises exception if some exists.
|
|
-- It reuses the last computations from other checking methods,
|
|
-- unless the argument <resest> is given True
|
|
|
|
CompleteCheckList (me : in out) returns CheckIterator;
|
|
---Purpose : Returns list of all "remarkable" informations, which include :
|
|
-- - GlobalCheck, if not empty
|
|
-- - Error Checks, for all Errors (Verify + Analyse)
|
|
-- - also Corrected Entities
|
|
-- - and Unknown Entities : for those, each Unknown Entity is
|
|
-- associated to an empty Check (it is neither an Error nor a
|
|
-- Correction, but a remarkable information)
|
|
|
|
CheckList (me : in out) returns CheckIterator;
|
|
---Purpose : Returns list of all Errors detected
|
|
-- Note that presence of Unknown Entities is not an error
|
|
-- Cumulates : GlobalCheck if error +
|
|
-- AnalyseCheckList + VerifyCheckList
|
|
|
|
AnalyseCheckList (me : in out) returns CheckIterator;
|
|
---Purpose : Returns list of errors dectected at Analyse time (syntactic)
|
|
-- (note that GlobalCheck is not in this list)
|
|
|
|
VerifyCheckList (me : in out) returns CheckIterator;
|
|
---Purpose : Returns list of integrity constraints errors (semantic)
|
|
-- (note that GlobalCheck is not in this list)
|
|
|
|
WarningCheckList (me : in out) returns CheckIterator;
|
|
---Purpose : Returns list of Corrections (includes GlobalCheck if corrected)
|
|
|
|
UnknownEntities (me : in out) returns EntityIterator;
|
|
---Purpose : Returns list of Unknown Entities
|
|
-- Note that Error and Erroneous Entities are not considered
|
|
-- as Unknown
|
|
|
|
fields
|
|
|
|
thegtool : GTool;
|
|
theshare : ShareTool;
|
|
thestat : Integer;
|
|
|
|
end CheckTool;
|