public class InspectorForFormulas extends java.lang.Object implements CheckedUserInput.CheckedUserInputInspector
NO_USER_INPUT
Constructor and Description |
---|
InspectorForFormulas(Services services) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
check(java.lang.String toBeChecked) |
static Term |
translate(Services services,
java.lang.String toBeChecked) |
public InspectorForFormulas(Services services)
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.