|
public static BGL_INPUT_GZIP_PORT_INPUT_PORT ( |
||
| p | ||
| return | ||
public static input_port BGL_INPUT_GZIP_PORT_INPUT_PORT( input_port p )
{
if( p is input_gzip_port )
return ((input_gzip_port)p).input_port;
else {
fail( "input-gzip-port-input-port", "Illegal input port", p );
return p;
}
}