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’.