11.3.2 OclVoid

使用null和其它值来计算and, implies, not, or, 和 xor等操作在11.5.4定义，计算exists和forAll迭代在11.9.1。

=(object2 : OclAny) : Boolean

如果object2是invalid，则结果是invalid。如果object2i是相null对象，则结果为真。其它情况下结果为假。

post: result = object2.oclIsTypeOf(OclVoid)

<> (object2 : OclAny) : Boolean

如果object2是invalid，则结果是invalid。如果与object2是null对象，则结果为假。其它情况下结果为真。

oclAsSet() : Set(T)

计算为一个空Set。

post: result = Set{}

oclAsType(type : Classifier) : T

计算为self。

oclIsInState(statespec : OclState) : Boolean

计算为假。

oclIsInvalid() : Boolean

计算为假。

oclIsKindOf(type : Classifier) : Boolean

计算为invalid。

oclIsNew() : Boolean

计算为假。

oclIsTypeOf(type : Classifier) : Boolean

计算为invalid。

oclIsUndefined() : Boolean

计算为真。

oclType() : Classifier

计算为OclVoid。