|
|
Keywords:
Semantics,
Instantiated,
Primitive,
Class,
Metatype
The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy; esp., the design on the face of a medal or a coin.
Meant to apply to a given element's value in order to provide additional context for its interpretation. Type narrows the semantics of a field, that is, it modifies the element by attributing to it a subelement type.
The defining properties of a Digital Signature Certificate, which limit its intended purpose to a class of applications uniquely, associated with that type.
a class with bindings of the mode variables
a collection of objects with predefined operations, functions, and properties
a definition from which values can be instantiated
an example of any class, for instance, a species of a genus, which is considered as eminently possessing the characters of the class
a set of objects and a set of operations on the objects
a template used to create variables, whereas a class is a template used to create objects
a user-specified object or collection definition
a way of describing a data object, similar to a Class in Java
A description of a set of instances that share the same operations, abstract attributes, and relationships, and semantics. A type may define an operation specification (such as a signature) but not an operation implementation (such as a method). Usage note: Type is sometimes used synonymously with interface, but it is not an equivalent term. Synonym: type [OMA]. See: class, instance. Contrast: interface.
(1) Definition of a family of objects having the same interface and structure. Equivalent to fixing a class at its least upper bound. Formally, the specification of an object interface, expressed by the type signatures of its methods. (2) A monomorphic set of objects having the same interface and structure; the set of objects inhabiting the type.
Each object has a type. A type has an associated set of values, and a set of primitive operations which implement the fundamental aspects of its semantics. Types are grouped into classes. The types of a given class share a set of primitive operations. Classes are closed under derivation; that is, if a type is in a class, then all of its derivatives are in that class. (42)
Description of a set of entities which share common characteristics, relations, attributes, and semantics. A stereotype of class that is used to specify a domain of instances (objects) together with the operations applicable to the objects. A type may not contain any methods. See: class, instance. Contrast: interface.
A class or interface.
Every object has a type which specifies the set of values allowed and the primitive operations which it provides. Types are grouped into classes which share the same primitive operations.
A type classifies objects in terms of their interface. That is, objects are defined in terms of how they their responsibilities can be accessed or manipulated. Type systems are employed in OOPLs to implement the class system used by OOA/D. Contrast: class
An object or group of metatype objects that describe abstract data types, which are visible to Shore users and applications. Such an abstract data type corresponds to an SDL interface, and can be instantiated as Shore objects.
|