de.uka.ilkd.key.macros.scripts.meta

Interface StringConverter<T>

Type Parameters:

T -

public interface StringConverter<T>

A StringConverter translates a textual representation to an instance of T.

Author:

Alexander Weigl

Method Summary

Modifier and Type	Method and Description
T	convert(java.lang.String s) Translates the textual representation given in s to an instance of T.

Method Detail

convert

T convert(java.lang.String s)
   throws java.lang.Exception

Translates the textual representation given in s to an instance of T.

Parameters:

s - a non-null string

Returns:

an corresponding instance of T

Throws:

java.lang.Exception - if there is an error during the translation (format incorrent etc..)