- jpl_type_to_preferred_concrete_type(+Type:type, -ConcreteType:type)[private]
- Type must be a canonical JPL type,
possibly an inferred pseudo type such as
char_intorarray(char_byte)ConcreteType is the preferred concrete (Java-instantiable) type.
Example
?- jpl_type_to_preferred_concrete_type(array(char_byte), T). T = array(byte).
NB introduced 16/Apr/2005 to fix bug whereby
jpl_list_to_array([1,2,3],A)failed because the lists's inferred type ofarray(char_byte)is not Java-instantiable