# 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

`=(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’.