Searched defs:selected_profile_index (Results 1 - 1 of 1) sorted by relevance
| /openjdk10/corba/src/java.corba/share/classes/com/sun/corba/se/impl/protocol/giopmsgheaders/ | ||
| H A D | IORAddressingInfo.java | 38 public int selected_profile_index = (int)0; field in class:IORAddressingInfo |
Completed in 77 milliseconds