code: public Number getParameter(String name) {
  		Number number = bindings.get(name);
  		if (number == null) {
  			throw new FuzzerException(function.getName() + ": undefined parameter '" + name + "'");
  		}
  		return number;
  	}
docs: Get a parameter assignment.
  
  @param name the parameter name
  @return the number