if (port instanceof ParameterPort) {
Token token = ((ParameterPort) port).getParameter()
.getToken();
if (token != null) {
DoubleToken doubleToken = DoubleToken.convert(token);
parameterValue = (char) doubleToken.doubleValue();
} else {
// We throw an exception here but catch it
// below because this method is called from C.
throw new InternalErrorException(
"Could not get token from ParameterPort \""