| public static rgc_buffer_keyword ( input_port p ) : keyword | ||
| p | input_port | |
| return | keyword | |
public static keyword rgc_buffer_keyword( input_port p )
{
int start = p.matchstart;
int stop = p.matchstop;
int n = stop - start - 1;
byte[] name = new byte[n];
if( p.buffer[start] == ':' ) start++;
for ( int i = 0 ; i < n ; ++i, ++start )
name[i] = (byte)(p.buffer[start] & 0xFF);
return keyword.make_keyword( name );
}