de.uka.ilkd.key.gui

Class InspectorForDecisionPredicates

java.lang.Object

de.uka.ilkd.key.gui.InspectorForDecisionPredicates

All Implemented Interfaces:

CheckedUserInput.CheckedUserInputInspector

public class InspectorForDecisionPredicates
extends java.lang.Object
implements CheckedUserInput.CheckedUserInputInspector

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<ApplicationCheck>	additionalChecks
private int	cutMode
private Node	node
private Services	services

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

NO_USER_INPUT

Constructor Summary

Constructors

Constructor and Description
InspectorForDecisionPredicates(Services services, Node node, int cutMode, java.util.List<ApplicationCheck> additionalChecks)

Method Summary

Modifier and Type	Method and Description
java.lang.String	check(java.lang.String toBeChecked)
static Term	translate(Services services, java.lang.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

node

private final Node node

cutMode

private final int cutMode

additionalChecks

private final java.util.List<ApplicationCheck> additionalChecks

Constructor Detail

InspectorForDecisionPredicates

public InspectorForDecisionPredicates(Services services,
                                      Node node,
                                      int cutMode,
                                      java.util.List<ApplicationCheck> additionalChecks)

Method Detail

check

public java.lang.String check(java.lang.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,
                             java.lang.String toBeChecked)