class urn_perun_user_attribute_def_def_k4Nav extends UserAttributesModuleAbstract implements UserAttributesModuleImplApi {

	@Override
	public void checkAttributeSyntax(PerunSessionImpl perunSession, User user, Attribute attribute) throws WrongAttributeValueException {

		if (attribute.getValue() != null) {
			if (!Objects.equals(attribute.getValue(), "0") && !Objects.equals(attribute.getValue(), "1")) {
				throw new WrongAttributeValueException(attribute, user, "Flag of K4 visit must be empty, 0 or 1.");
			}
		}
	}

}