| java.lang.Object de.uka.ilkd.key.proof.decproc.TypeBoundTranslation
TypeBoundTranslation | public class TypeBoundTranslation (Code) | | This class is responsible for the translation of type boundary Strings into their
actual values.
author: akuwertz version: 1.0, 03/31/2006 |
getTypeBoundValue | public static String getTypeBoundValue(String typeBound)(Code) | | Returns a String representation of the value of a type boundary specified by
the argument String typeBound
Parameters: typeBound - the type boundary to be translated into a value throws: IllegalArgumentException - if typeBound represent no valid type boundary |
|
|