Searched defs:optionNames (Results 1 – 4 of 4) sorted by relevance
115 def __init__(self, options=[], optionNames=[]) : argument150 optionNames = ["Name"] variable in Element314 optionNames = ["comment"] variable in Commentary324 optionNames = ["Name", "value"] variable in Path345 optionNames = ["Name"] variable in GroupPath377 optionNames = ["criterion", "type", "element"] variable in Rule400 optionNames = ["Name"] variable in Operator429 optionNames = ["Name"] variable in Configuration532 optionNames = ["Name"] variable in GroupConfiguration581 optionNames = ["Name", sequenceAwareKeyword] variable in Domain
328 private void writeOptions(String[] optionNames, in writeOptions()341 private void writeOption(String[] optionNames, in writeOption()
29 private Map optionNames = null; field in Options
790 Iterator optionNames = options.keySet().iterator(); in getLexerGrammar() local