10.4.2 AS-Domain-Mapping.type-value 包的其它操作

Value

[1] 操作isInstanceOf在当前值是给定参数分类符的实例时返回真。

context Value::isInstanceOf( c: Classifier ): Boolean
pre: -- none
post: result = self.model.conformsTo( c )