Object

org.omg.oti.json.common

OTIPrimitiveTypes

Related Doc: package common

Permalink

object OTIPrimitiveTypes

Use Scalaz' Tagged type technique, A @@ T, enables partitioning the use of a reference type, A into disjoint types according to the tag type T without adding a runtime overhead in the representation of partitioned values of A.

In an object-oriented perspective, it is as if A @@ T were defined as a subclass of the class type A such that A @@ T1 and A @@ T2 would be disjoint subclasses of A

In OTI, this is used for partitioning the use of the type String as the representation for disjoint types in OTI: URI, URL ID, UUID, NS Prefix, UUID Prefix

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OTIPrimitiveTypes
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait OTI_ID extends AnyRef

    Permalink

    The type String @@ OTI_ID is the partition of strings representing OTI_ID values.

    The type String @@ OTI_ID is the partition of strings representing OTI_ID values.

    This is the type of strings corresponding to OTI IDs generated for UML Elements in the context of a containing OTI Document UML Package.

  2. sealed trait OTI_NS_PREFIX extends AnyRef

    Permalink

    The type String @@ OTI_NS_PREFIX is the partition of strings representing OTI_NS_PREFIX values.

    The type String @@ OTI_NS_PREFIX is the partition of strings representing OTI_NS_PREFIX values.

    The OMG XMI specification uses an XML namespace prefix for abbreviating URLs with fragments. INstead of a URL of the form: <document URL>#<element ID fragment>, the abbreviated URL is of the form: <ns prefix>#<element ID fragment>

  3. sealed trait OTI_URI extends AnyRef

    Permalink

    The type String @@ OTI_URI is the partition of strings representing OTI_URI values.

    The type String @@ OTI_URI is the partition of strings representing OTI_URI values.

    OTI_URI is the type of strings representing UML::Package::uri.

  4. sealed trait OTI_URL extends AnyRef

    Permalink

    The type String @@ OTI_URL is the partition of strings representing OTI_URL values.

    The type String @@ OTI_URL is the partition of strings representing OTI_URL values.

    OTI_URL is the type of strings representing the external location of a loadable/serializable MOF resource (a MOF resource is often called a "model"; however, this term can be confusing because it could be referring to a particular kind of UML element, specifically, an instance of the UML::Model metaclass).

  5. sealed trait OTI_UUID extends AnyRef

    Permalink

    The type String @@ OTI_UUID is the partition of strings representing OTI_UUID values.

    The type String @@ OTI_UUID is the partition of strings representing OTI_UUID values.

    This is the type of strings corresponding to OTI UUIDs generated for UML Elements in the context of a containing OTI Document UML Package.

  6. sealed trait OTI_UUID_PREFIX extends AnyRef

    Permalink

    The type String @@ OTI_UUID_PREFIX is the partition of strings representing OTI_UUID_PREFIX values.

    The type String @@ OTI_UUID_PREFIX is the partition of strings representing OTI_UUID_PREFIX values.

    For a UML Element in the context of an OTI Document, the OTI Canonical XMI ID Generation algorithm computes the OTI UUID for that UML Element by prepending the OTI Document UUID Prefix to the OTI ID generated for that UML Element.

  7. sealed trait TOOL_SPECIFIC_ID extends AnyRef

    Permalink

    The type String @@ TOOL_SPECIFIC_ID is the partition of strings representing TOOL_SPECIFIC_ID values.

    The type String @@ TOOL_SPECIFIC_ID is the partition of strings representing TOOL_SPECIFIC_ID values.

    A TOOL_SPECIFIC_ID string value represents a tool-specific ID

  8. sealed trait TOOL_SPECIFIC_URL extends AnyRef

    Permalink

    The type String @@ TOOL_SPECIFIC_URL is the partition of strings representing TOOL_SPECIFIC_URL values.

    The type String @@ TOOL_SPECIFIC_URL is the partition of strings representing TOOL_SPECIFIC_URL values.

    A TOOL_SPECIFIC_URL string value represents a tool-specific element URL

  9. sealed trait TOOL_SPECIFIC_UUID extends AnyRef

    Permalink

    The type String @@ TOOL_SPECIFIC_UUID is the partition of strings representing TOOL_SPECIFIC_UUID values.

    The type String @@ TOOL_SPECIFIC_UUID is the partition of strings representing TOOL_SPECIFIC_UUID values.

    A TOOL_SPECIFIC_UUID string value represents a tool-specific UUID

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. val OTI_ID: TagOf[OTI_ID]

    Permalink

  5. val OTI_NS_PREFIX: TagOf[OTI_NS_PREFIX]

    Permalink

  6. val OTI_URI: TagOf[OTI_URI]

    Permalink

  7. val OTI_URL: TagOf[OTI_URL]

    Permalink

  8. val OTI_UUID: TagOf[OTI_UUID]

    Permalink

  9. val OTI_UUID_PREFIX: TagOf[OTI_UUID_PREFIX]

    Permalink

  10. val TOOL_SPECIFIC_ID: TagOf[TOOL_SPECIFIC_ID]

    Permalink

  11. val TOOL_SPECIFIC_URL: TagOf[TOOL_SPECIFIC_URL]

    Permalink

  12. val TOOL_SPECIFIC_UUID: TagOf[TOOL_SPECIFIC_UUID]

    Permalink

  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  15. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  19. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  21. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped