src/Expr/Expr_Absolute.cdl

   1 -- Created on: 1991-01-14
   2 -- Created by: Arnaud BOUZY
   3 -- Copyright (c) 1991-1999 Matra Datavision
   4 -- Copyright (c) 1999-2014 OPEN CASCADE SAS
   5 --
   6 -- This file is part of Open CASCADE Technology software library.
   7 --
   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.
  13 --
  14 -- Alternatively, this file may be used under the terms of Open CASCADE
  15 -- commercial license or contractual agreement.
  16
  17 class Absolute from Expr
  18
  19 inherits UnaryExpression from Expr
  20
  21 uses GeneralExpression from Expr,
  22     Array1OfNamedUnknown from Expr,
  23     Array1OfReal from TColStd,
  24     AsciiString from TCollection,
  25     NamedUnknown from Expr
  26
  27 raises NumericError from Standard,
  28     NotEvaluable from Expr
  29
  30 is
  31
  32     Create(exp : GeneralExpression)
  33     ---Purpose: Creates the Abs of <exp>
  34     returns Absolute;
  35
  36     ShallowSimplified(me)
  37     ---Purpose: Returns a GeneralExpression after a simplification
  38     --          of the arguments of <me>.
  39     returns any GeneralExpression
  40     raises NumericError;
  41
  42     Copy(me)
  43     ---Purpose: Returns a copy of <me> having the same unknowns and functions.
  44     returns like me;
  45
  46     IsIdentical(me; Other : GeneralExpression)
  47     ---Purpose: Tests if <me> and <Other> define the same expression.
  48     --          This method does not include any simplification before
  49     --          testing.
  50     returns Boolean;
  51
  52     IsLinear(me)
  53     returns Boolean;
  54
  55     Derivative(me; X : NamedUnknown)
  56     ---Purpose: Returns the derivative on <X> unknown of <me>
  57     returns any GeneralExpression;
  58
  59     Evaluate(me; vars : Array1OfNamedUnknown; vals : Array1OfReal)
  60     ---Purpose: Returns the value of <me> (as a Real) by
  61     --          replacement of <vars> by <vals>.
  62     --          Raises NotEvaluable if <me> contains NamedUnknown not
  63     --          in <vars> or NumericError if result cannot be computed.
  64     returns Real
  65     raises NotEvaluable,NumericError;
  66
  67     String(me)
  68     ---Purpose: returns a string representing <me> in a readable way.
  69     returns AsciiString;
  70
  71 end Absolute;