s.getMessageHandler().handleMessage(MessageUtil.error("exact type pattern required", getSourceLocation()));
s.getMessageHandler().handleMessage(MessageUtil.error( WeaverMessages.format(WeaverMessages.EXACT_TYPE_PATTERN_REQD), getSourceLocation()));
	protected TypePattern notExactType(IScope s) {		s.getMessageHandler().handleMessage(MessageUtil.error("exact type pattern required", getSourceLocation()));		return NO;	}