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
Returns ‘invalid’.