Software Disclaimer

Abstract Class UML 2.4.1::Type


A type is a named element that is used as the type for a typed element. A type can be contained in a package.A type constrains the values represented by a typed element.

Direct Superclasses: PackageableElement

Direct Subclasses: Classifier

Class Precedence List: Type, PackageableElement, ParameterableElement, NamedElement, Element


package : Package (0 1); -- source Type

Specifies the owning package of this classifier, if any.
Opposite: Package.ownedType

visibility : VisibilityKind (1 1); -- source PackageableElement
owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement
templateParameter : TemplateParameter (0 1); -- source ParameterableElement

The template parameter that exposes this element as a formal parameter.
Opposite: TemplateParameter.parameteredElement

clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement

Specifies the namespace that owns the NamedElement.
Derived union with sources: ()
Subsets: Element.owner
Opposite: Namespace.ownedMember

qualifiedName : String (0 1); -- source NamedElement

A name which allows the NamedElement to be identified within a hierarchy of nested Namespaces. It is constructed from the names of the containing namespaces starting at the root of the hierarchy and ending with the name of the NamedElement itself.
{readonly, derived}

ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element


No additional constraints.


Signature: conformsTo(other : Type; ) : Boolean;
Description: The query conformsTo() gives true for a type that conforms to another. By default, two types do not conform to each other. This query is intended to be redefined for specific conformance situations.
Expression: result = false

Send questions or comments to