Class/Object

org.omg.oti.json.uml.OTIMOFElement

OTIUMLStateInvariant

Related Docs: object OTIUMLStateInvariant | package OTIMOFElement

Permalink

case class OTIUMLStateInvariant(otiMOFElementLocation: ElementLocation, name: Option[String], visibility: Option[UMLVisibilityKind]) extends OTIMOFElement with UMLStateInvariant with Product with Serializable

otiMOFElementLocation

The element location of an OTIUMLStateInvariant

name

Defined in NamedElement

visibility

Defined in NamedElement

Linear Supertypes
Serializable, Serializable, Product, Equals, UMLStateInvariant, UMLInteractionFragment, UMLNamedElement, UMLElement, OTIMOFElement, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OTIUMLStateInvariant
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. UMLStateInvariant
  7. UMLInteractionFragment
  8. UMLNamedElement
  9. UMLElement
  10. OTIMOFElement
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OTIUMLStateInvariant(otiMOFElementLocation: ElementLocation, name: Option[String], visibility: Option[UMLVisibilityKind])

    Permalink

    otiMOFElementLocation

    The element location of an OTIUMLStateInvariant

    name

    Defined in NamedElement

    visibility

    Defined in NamedElement

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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  7. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  9. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  10. val name: Option[String]

    Permalink

    Defined in NamedElement

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

    Permalink
    Definition Classes
    AnyRef

  12. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  13. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  14. val otiMOFElementLocation: ElementLocation

    Permalink

    The element location of an OTIUMLStateInvariant

    The element location of an OTIUMLStateInvariant

    Definition Classes
    OTIUMLStateInvariant → OTIMOFElement

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

    Permalink
    Definition Classes
    AnyRef

  16. val visibility: Option[UMLVisibilityKind]

    Permalink

    Defined in NamedElement

  17. final def wait(): Unit

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

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

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from UMLStateInvariant

Inherited from UMLInteractionFragment

Inherited from UMLNamedElement

Inherited from UMLElement

Inherited from OTIMOFElement

Inherited from AnyRef

Inherited from Any

Ungrouped