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

Indicates that packageable elements must always have a visibility, i.e., visibility is not optional.
Redefines: NamedElement.visibility
Default value: PUBLIC

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
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