/** Method for creating a new uniquely named hidden non-terminal using * the given string as a base for the name (or "NT$" if null is passed). * @param prefix base name to construct unique name from. */ static non_terminal create_new(String prefix) throws internal_error { if (prefix == null) prefix = "NT$"; return new non_terminal(prefix + next_nt++); }
/** Method for creating a new uniquely named hidden non-terminal using * the given string as a base for the name (or "NT$" if null is passed). * @param prefix base name to construct unique name from. */ static non_terminal create_new(String prefix) throws internal_error { if (prefix == null) prefix = "NT$"; return new non_terminal(prefix + next_nt++); }
/** * TUM 20060608 bugfix for embedded action codes */ static non_terminal create_new(String prefix, String type) throws internal_error{ if (prefix==null) prefix = "NT$"; return new non_terminal(prefix + next_nt++,type); } /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
/** Method for creating a new uniquely named hidden non-terminal using * the given string as a base for the name (or "NT$" if null is passed). * @param prefix base name to construct unique name from. */ static non_terminal create_new(String prefix) throws internal_error { if (prefix == null) prefix = "NT$"; return new non_terminal(prefix + next_nt++); }
/** * TUM 20060608 bugfix for embedded action codes */ static non_terminal create_new(String prefix, String type) throws internal_error{ if (prefix==null) prefix = "NT$"; return new non_terminal(prefix + next_nt++,type); } /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
/** Method for creating a new uniquely named hidden non-terminal using * the given string as a base for the name (or "NT$" if null is passed). * @param prefix base name to construct unique name from. */ static non_terminal create_new(String prefix) throws internal_error { if (prefix == null) prefix = "NT$"; return new non_terminal(prefix + next_nt++); }
/** Method for creating a new uniquely named hidden non-terminal using * the given string as a base for the name (or "NT$" if null is passed). * @param prefix base name to construct unique name from. */ static non_terminal create_new(String prefix) throws internal_error { if (prefix == null) prefix = "NT$"; return new non_terminal(prefix + next_nt++); }
new non_terminal(non_term_id, multipart_name);
new non_terminal(non_term_id, multipart_name);
new non_terminal(non_term_id, multipart_name);
new non_terminal(non_term_id, multipart_name);
new non_terminal((/*non_term_id*/(java_cup.runtime.str_token)CUP$stack.elementAt(CUP$top-0)).str_val, multipart_name);