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