public void addName ( final String name , final double value ) throws PrefixExistsException { final Prefix prefix = new PrefixName ( name , value ) ; nameSet . add ( prefix ) ; }
Adds a prefix to the database by name .