133134135136137138139140141142143
throws MibException { MibValue value = ref.initialize(log, type); if (value instanceof NumberValue) { this.value.set(((Number) value.toObject()).intValue()); } else { throw new MibException(ref.getLocation(), "referenced value is not a number"); } }