FOREIGN MODULE java_nio_charset_spi; IMPORT java_util := "java.util", java_lang := "java.lang", java_nio_charset := "java.nio.charset"; TYPE CharsetProvider* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init!() : CharsetProvider,CONSTRUCTOR; END; PROCEDURE (self:CharsetProvider) charsetForName*(p0 : java_lang.String) : java_nio_charset.Charset,NEW,ABSTRACT; PROCEDURE (self:CharsetProvider) charsets*() : java_util.Iterator,NEW,ABSTRACT; END java_nio_charset_spi.