de.uka.ilkd.key.gui.utilities

Interface CheckedUserInput.CheckedUserInputInspector

All Known Implementing Classes:

InspectorForDecisionPredicates, InspectorForFormulas

Enclosing class:

CheckedUserInput

public static interface CheckedUserInput.CheckedUserInputInspector

Field Summary

Fields

Modifier and Type	Field and Description
static String	NO_USER_INPUT

Method Summary

Modifier and Type	Method and Description
String	check(String toBeChecked)

Field Detail

NO_USER_INPUT

static final String NO_USER_INPUT

See Also:

Constant Field Values

Method Detail

check

String check(String toBeChecked)

Parameters:

toBeChecked - the user input to be checked.

Returns:

null if the user input is valid, otherwise a string describing the error.