Abstract Class Name: Function

Superclass - <Expression>

Subclasses

• <Predefined Function>
• <Pseudo Code Function>

Definition

An instance of one of the concrete subclasses of this abstract DRM class specifies an expression for which the value is determined by evaluating the arguments of the expression - the ordered <Expression> components of the <Function> - and passing them through the specified function.

Primary Page in DRM Diagram:

• 16

Secondary Pages in DRM Diagram:

Example

See specific subclasses for examples.

FAQs

See the subclasses for details.

Constraints

• <<Non Cyclic Aggregations>>

Composed of (two-way)

• zero or more {ordered} <Expression> instances (notes)

Component of (two-way)(inherited)

• zero or more <Control Link> instances
• zero or more <Feature Model Instance> instances through <Model Instance Template Indices>
• zero or more <Function> instances
• zero or more <Geometry Model Instance> instances through <Model Instance Template Indices>

Inherited Field Elements

Field Elements

Notes

Composed of Notes

Expression

 The <Expression> components of a <Function>, if any,
 represent the arguments of the function being represented, so a
 <Function> has <Expression> components if that
 <Function> takes arguments. The <Expression> components
 are ordered so as to unambiguously specify which <Expression>
 is being supplied for each argument of the given <Function>.
 The exact interpretation of each argument is defined by
 the specific function.

Fields Notes

value_type

 The value_type of a <Function> is the 'return type' of that
 <Function> - that is, the value type of the value produced
 when the <Function> is evaluated for its arguments.