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
=(object2 : OclSelf[?]) : Boolean[1]
precedence:
EQUALITY
Returns
invalid.
<>(object2 : OclSelf[?]) : Boolean[1]
precedence:
EQUALITY
Returns
invalid.
allInstances() : Set(OclSelf)
Returns
invalid.
and(b : Boolean[?]) : Boolean[?] validating
precedence:
AND
implies(b : Boolean[?]) : Boolean[?] validating
precedence:
IMPLIES
oclAsSet() : Set(OclSelf[*|1])
oclAsType(TT)(type : TT[?]) : TT[?]
oclIsInvalid() : Boolean[1] validating
oclIsKindOf(type : OclType[?]) : Boolean[1]
oclIsTypeOf(type : OclType[?]) : Boolean[1]
oclIsUndefined() : Boolean[1] validating
oclType() : OclSelf[1]
or(b : Boolean[?]) : Boolean[?] validating
precedence:
OR
toString() : String[1]
Returns ‘invalid’.