public class InspectorForDecisionPredicates extends java.lang.Object implements CheckedUserInput.CheckedUserInputInspector
NO_USER_INPUT
Constructor and Description |
---|
InspectorForDecisionPredicates(Services services,
Node node,
int cutMode,
java.util.List<ApplicationCheck> additionalChecks) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
check(java.lang.String toBeChecked) |
static Term |
translate(Services services,
java.lang.String toBeChecked) |
public InspectorForDecisionPredicates(Services services, Node node, int cutMode, java.util.List<ApplicationCheck> additionalChecks)
public java.lang.String check(java.lang.String toBeChecked)
check
in interface CheckedUserInput.CheckedUserInputInspector
toBeChecked
- the user input to be checked.null
if the user input is valid, otherwise a string describing the error.Copyright © 2003-2019 The KeY-Project.