de.uka.ilkd.key.gui.utilities

Class InspectorForFormulas

java.lang.Object

de.uka.ilkd.key.gui.utilities.InspectorForFormulas

All Implemented Interfaces:

CheckedUserInput.CheckedUserInputInspector

public class InspectorForFormulas
extends Object
implements CheckedUserInput.CheckedUserInputInspector

Inspects whether a given string can be translated into a formula.

Field Summary

Fields

Modifier and Type	Field and Description
private Services	services

Fields inherited from interface de.uka.ilkd.key.gui.utilities.CheckedUserInput.CheckedUserInputInspector

NO_USER_INPUT

Constructor Summary

Constructors

Constructor and Description
InspectorForFormulas(Services services)

Method Summary

Modifier and Type	Method and Description
String	check(String toBeChecked)
static Term	translate(Services services, String toBeChecked)

Methods inherited from class java.lang.Object

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

Field Detail

services

private final Services services

Constructor Detail

InspectorForFormulas

public InspectorForFormulas(Services services)

Method Detail

check

public String check(String toBeChecked)

Specified by:

check in interface CheckedUserInput.CheckedUserInputInspector

Parameters:

toBeChecked - the user input to be checked.

Returns:

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

translate

public static Term translate(Services services,
                             String toBeChecked)