[ 
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)

Reply via email to