org.eth.cyril.bugfixer.input

Class UserInputHandler

java.lang.Object

org.eth.cyril.bugfixer.input.UserInputHandler

public class UserInputHandler
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
UserInputHandler()

Method Summary

Modifier and Type	Method and Description
<T> void	getInput(javax.swing.JPanel panel, java.lang.String instructions, java.util.function.Consumer<java.util.List<T>> callback, Parser<T> parser) Get an input array of the given size and the given type, using the parser to parse strings.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UserInputHandler

public UserInputHandler()

Method Detail

getInput

public <T> void getInput(javax.swing.JPanel panel,
                         java.lang.String instructions,
                         java.util.function.Consumer<java.util.List<T>> callback,
                         Parser<T> parser)

Get an input array of the given size and the given type, using the parser to parse strings. If the size shouldn't be defined strictly, the parameter should be set to a negative value.

Parameters:

instructions - The instructions to display to the user.

callback - The callback which consumes the user-given array of values.