package topher; public class AttributeValueAssertion { public attribute attr: Attribute; public attribute values: **; public function evaluate(obj):Boolean; } function AttributeValueAssertion.evaluate(obj) = sizeof values == 0 or obj[attr] in values;