OclInvalid

OclInvalid

The type OclInvalid is a type that conforms to all other types. It has one single instance, identified as invalid. Any property call applied on invalid results in invalid, except for the operations oclIsUndefined() and oclIsInvalid(). OclInvalid is itself an instance of the metatype InvalidType.

conformsTo OclVoid

Operations

allInstances() : Set(OclSelf)

Returns invalid.

=(object2 : OclSelf) : Boolean precedence: EQUALITY

Returns invalid.

<>(object2 : OclSelf) : Boolean precedence: EQUALITY

Returns invalid.

and(b : Boolean[?]) : Boolean[?] validating precedence: AND

implies(b : Boolean[?]) : Boolean[?] validating precedence: IMPLIES

or(b : Boolean[?]) : Boolean[?] validating precedence: OR

oclAsSet() : Set(OclSelf)

oclAsType(TT)(type : Metaclass(TT)) : TT

oclIsInvalid() : Boolean validating

oclIsKindOf(T)(type : Metaclass(T)) : Boolean

oclIsTypeOf(T)(type : Metaclass(T)) : Boolean

oclIsUndefined() : Boolean validating

oclType() : Metaclass(OclSelf)

toString() : String

operation oclBadOperation() : OclInvalid; property oclBadProperty : OclInvalid; /** Returns ‘invalid’.