@ tefigel |-- | Return identifiers of given property list, possibly | with the prefix specified by the optional ID_PREFIX. |-- interface(LIST_ID,ID_PREFIX) if ID_PREFIX= set STYLE=abcDef else set STYLE=AbcDef endif if LIST_ID= set LIST_ID=JAVA_PROPERTIES endif new_list(PROP_LIST) for JPROP=~list_contents(LIST_ID) add_item(PROP_LIST,ID_PREFIX~java/property_id(JPROP,STYLE)) endfor escape \ set P_LIST=~list_contents(PROP_LIST,,,\, ) escape delete_list(PROP_LIST) retvalue=P_LIST