[ https://issues.apache.org/jira/browse/FLINK-6357?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Greg Hogan updated FLINK-6357: ------------------------------ Summary: ParameterTool get unrequested parameters (was: Parametertool get unrequested parameters) > ParameterTool get unrequested parameters > ---------------------------------------- > > Key: FLINK-6357 > URL: https://issues.apache.org/jira/browse/FLINK-6357 > Project: Flink > Issue Type: Improvement > Components: Java API > Affects Versions: 1.3.0 > Reporter: Greg Hogan > Assignee: Greg Hogan > Priority: Minor > > The Gelly examples use {{ParameterTool}} to parse required and optional > parameters. In the latter case we should detect if a user mistypes a > parameter name. I would like to add a {{Set<String> > getUnrequestedParameters()}} method returning parameter names not requested > by {{has}} or any of the {{get}} methods. -- This message was sent by Atlassian JIRA (v6.3.15#6346)