Uses of Class
edu.neu.ccs.gui.CancelledException

Packages that use CancelledException
edu.neu.ccs.console Provides classes that implement the JPT text console. 
edu.neu.ccs.gui Provides classes and interfaces for designing and implementing graphical interfaces and for the creation of paintable and mutatable objects.. 
edu.neu.ccs.jpf Provides the classes that implement the Java Power Framework
 

Uses of CancelledException in edu.neu.ccs.console
 

Methods in edu.neu.ccs.console that throw CancelledException
 Stringable ConsoleGateway.ConsoleInputStream.requestObject(String prompt, Stringable obj, StringableFilter filter)
          Returns the Stringable object obtained from the given Stringable object by using the optional input model to acquire the data with the given input filter to constrain the result.
 Stringable ConsoleGateway.ConsoleInputStream.requestObject(String prompt)
          Returns the Stringable object obtained by using the optional input model to acquire the data.
 Stringable ConsoleGateway.ConsoleInputStream.requestObject(String prompt, StringableFilter filter)
          Returns the Stringable object obtained by using the optional input model to acquire the data with the given input filter to constrain the result.
 Stringable ConsoleGateway.ConsoleInputStream.requestObject(Class dataType, String prompt, StringableFilter filter)
          Temporarily sets the data type for this stream to the given data type; creates a Stringable object by using the optional input model to acquire the data with the given input filter to constrain the result; restores the data type for this stream to its original setting; finally returns the object created.
 void ConsoleGateway.ConsoleInputStream.request(String prompt, Stringable obj)
          Sets the state of the given Stringable object by using the optional input model to acquire the data.
 void ConsoleGateway.ConsoleInputStream.request(String prompt, Stringable obj, StringableFilter filter)
          Sets the state of the given Stringable object by using the optional input model to acquire the data with the given input filter to constrain the result.
 byte ConsoleGateway.ConsoleInputStream.requestByte(String prompt)
          Requests a byte value from the console, by using the optional input model to acquire the data.
 byte ConsoleGateway.ConsoleInputStream.requestByte(String prompt, StringableFilter filter)
          Requests a byte value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 short ConsoleGateway.ConsoleInputStream.requestShort(String prompt)
          Requests a short value from the console, by using the optional input model to acquire the data.
 short ConsoleGateway.ConsoleInputStream.requestShort(String prompt, StringableFilter filter)
          Requests a short value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 int ConsoleGateway.ConsoleInputStream.requestInt(String prompt)
          Requests a int value from the console, by using the optional input model to acquire the data.
 int ConsoleGateway.ConsoleInputStream.requestInt(String prompt, StringableFilter filter)
          Requests a int value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 long ConsoleGateway.ConsoleInputStream.requestLong(String prompt)
          Requests a long value from the console, by using the optional input model to acquire the data.
 long ConsoleGateway.ConsoleInputStream.requestLong(String prompt, StringableFilter filter)
          Requests a long value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 float ConsoleGateway.ConsoleInputStream.requestFloat(String prompt)
          Requests a float value from the console, by using the optional input model to acquire the data.
 float ConsoleGateway.ConsoleInputStream.requestFloat(String prompt, StringableFilter filter)
          Requests a float value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 double ConsoleGateway.ConsoleInputStream.requestDouble(String prompt)
          Requests a double value from the console, by using the optional input model to acquire the data.
 double ConsoleGateway.ConsoleInputStream.requestDouble(String prompt, StringableFilter filter)
          Requests a double value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 char ConsoleGateway.ConsoleInputStream.requestChar(String prompt)
          Requests a char value from the console, by using the optional input model to acquire the data.
 char ConsoleGateway.ConsoleInputStream.requestChar(String prompt, StringableFilter filter)
          Requests a char value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 boolean ConsoleGateway.ConsoleInputStream.requestBoolean(String prompt)
          Requests a boolean value from the console, by using the optional input model to acquire the data.
 boolean ConsoleGateway.ConsoleInputStream.requestBoolean(String prompt, StringableFilter filter)
          Requests a boolean value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 String ConsoleGateway.ConsoleInputStream.requestString(String prompt)
          Requests a String value from the console, by using the optional input model to acquire the data.
 String ConsoleGateway.ConsoleInputStream.requestString(String prompt, StringableFilter filter)
          Requests a String value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 BigInteger ConsoleGateway.ConsoleInputStream.requestBigInteger(String prompt)
          Requests a BigInteger value from the console, by using the optional input model to acquire the data.
 BigInteger ConsoleGateway.ConsoleInputStream.requestBigInteger(String prompt, StringableFilter filter)
          Requests a BigInteger value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 BigDecimal ConsoleGateway.ConsoleInputStream.requestBigDecimal(String prompt)
          Requests a BigDecimal value from the console, by using the optional input model to acquire the data.
 BigDecimal ConsoleGateway.ConsoleInputStream.requestBigDecimal(String prompt, StringableFilter filter)
          Requests a BigDecimal value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 Color ConsoleGateway.ConsoleInputStream.requestColor(String prompt)
          Requests a Color value from the console, by using the optional input model to acquire the data.
 Color ConsoleGateway.ConsoleInputStream.requestColor(String prompt, StringableFilter filter)
          Requests a Color value from the console, by using the optional input model to acquire the data with the given input filter to constrain the result.
 

Uses of CancelledException in edu.neu.ccs.gui
 

Methods in edu.neu.ccs.gui that throw CancelledException
 Stringable TypedView.requestObject()
          Returns a Stringable object based on the view state of the view using the optional model; throws an exception if the input operation is cancelled by the user.
 Stringable TextFieldView.requestObject()
           
 Stringable TextFieldView.requestObject(StringableFilter filter)
           
 Stringable TextFieldView.requestObject(Class dataType, StringableFilter filter)
           
 byte TextFieldView.requestByte()
          Returns a byte extracted from the field using the optional model.
 byte TextFieldView.requestByte(StringableFilter f)
          Returns a byte extracted from the field using the optional model with the given filter.
 byte TextFieldView.requestByteAsHex()
          Returns a byte extracted from the field as hexidecimal data using the optional model.
 byte TextFieldView.requestByteAsHex(StringableFilter f)
          Returns a byte extracted from the field as hexidecimal data using the optional model with the given filter.
 short TextFieldView.requestShort()
          Returns a short extracted from the field using the optional model.
 short TextFieldView.requestShort(StringableFilter f)
          Returns a short extracted from the field using the optional model with the given filter.
 short TextFieldView.requestShortAsHex()
          Returns a short extracted from the field as hexidecimal data using the optional model.
 short TextFieldView.requestShortAsHex(StringableFilter f)
          Returns a short extracted from the field as hexidecimal data using the optional model with the given filter.
 int TextFieldView.requestInt()
          Returns an int extracted from the field using the optional model.
 int TextFieldView.requestInt(StringableFilter f)
          Returns an int extracted from the field using the optional model with the given filter.
 int TextFieldView.requestIntAsHex()
          Returns an int extracted from the field as hexidecimal data using the optional model.
 int TextFieldView.requestIntAsHex(StringableFilter f)
          Returns an int extracted from the field as hexidecimal data using the optional model with the given filter.
 long TextFieldView.requestLong()
          Returns a long extracted from the field using the optional model.
 long TextFieldView.requestLong(StringableFilter f)
          Returns a long extracted from the field using the optional model with the given filter.
 long TextFieldView.requestLongAsHex()
          Returns a long extracted from the field as hexidecimal data using the optional model.
 long TextFieldView.requestLongAsHex(StringableFilter f)
          Returns a long extracted from the field as hexidecimal data using the optional model with the given filter.
 float TextFieldView.requestFloat()
          Returns a float extracted from the field using the optional model.
 float TextFieldView.requestFloat(StringableFilter f)
          Returns a float extracted from the field using the optional model with the given filter.
 float TextFieldView.requestFloatAsHex()
          Returns a float extracted from the field as hexidecimal data using the optional model.
 float TextFieldView.requestFloatAsHex(StringableFilter f)
          Returns a float extracted from the field as hexidecimal data using the optional model with the given filter.
 double TextFieldView.requestDouble()
          Returns a double extracted from the field using the optional model.
 double TextFieldView.requestDouble(StringableFilter f)
          Returns a double extracted from the field using the optional model with the given filter.
 double TextFieldView.requestDoubleAsHex()
          Returns a double extracted from the field as hexidecimal data using the optional model.
 double TextFieldView.requestDoubleAsHex(StringableFilter f)
          Returns a double extracted from the field as hexidecimal data using the optional model with the given filter.
 char TextFieldView.requestChar()
          Returns a char extracted from the field using the optional model.
 char TextFieldView.requestChar(StringableFilter f)
          Returns a char extracted from the field using the optional model, with the given filter.
 boolean TextFieldView.requestBoolean()
          Returns a boolean extracted from the field using the optional model.
 boolean TextFieldView.requestBoolean(StringableFilter f)
          Returns a boolean extracted from the field using the optional model, with the given filter.
 String TextFieldView.requestString()
          Returns a String extracted from the field using the optional model.
 String TextFieldView.requestString(StringableFilter f)
          Returns a String extracted from the field using the optional model, with the given filter.
 Color TextFieldView.requestColor()
          Returns a Color extracted from the field using the optional model.
 Color TextFieldView.requestColor(StringableFilter f)
          Returns a Color extracted from the field using the optional model, with the given filter.
 BigInteger TextFieldView.requestBigInteger()
          Returns a BigInteger extracted from the field using the optional model.
 BigInteger TextFieldView.requestBigInteger(StringableFilter f)
          Returns a BigInteger extracted from the field using the optional model, with the given filter.
 BigDecimal TextFieldView.requestBigDecimal()
          Returns a BigDecimal extracted from the field using the optional model.
 BigDecimal TextFieldView.requestBigDecimal(StringableFilter f)
          Returns a BigDecimal extracted from the field using the optional model, with the given filter.
 Stringable StringViewer.requestObject()
           
 Stringable StringViewer.requestObject(StringableFilter filter)
           
 Stringable StringViewer.requestObject(Class dataType, StringableFilter filter)
           
static int SimpleDialog.requestInt(String inputPrompt, String dialogTitle)
          Returns an int or throws an exception if the user cancels the operation.
static int SimpleDialog.requestInt(String inputPrompt, String dialogTitle, String defaultValue)
          Returns an int or throws an exception if the user cancels the operation, with the given default value.
static int SimpleDialog.requestInt(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns an int or throws an exception if the user cancels the operation, with the given default value.
static byte SimpleDialog.requestByte(String inputPrompt, String dialogTitle)
          Returns a byte or throws an exception if the user cancels the operation.
static byte SimpleDialog.requestByte(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a byte or throws an exception if the user cancels the operation, with the given default value.
static byte SimpleDialog.requestByte(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a byte or throws an exception if the user cancels the operation, with the given default value.
static short SimpleDialog.requestShort(String inputPrompt, String dialogTitle)
          Returns a short or throws an exception if the user cancels the operation.
static short SimpleDialog.requestShort(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a short or throws an exception if the user cancels the operation, with the given default value.
static short SimpleDialog.requestShort(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a short or throws an exception if the user cancels the operation, with the given default value.
static long SimpleDialog.requestLong(String inputPrompt, String dialogTitle)
          Returns a long or throws an exception if the user cancels the operation.
static long SimpleDialog.requestLong(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a long or throws an exception if the user cancels the operation, with the given default value.
static long SimpleDialog.requestLong(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a long or throws an exception if the user cancels the operation, with the given default value.
static double SimpleDialog.requestDouble(String inputPrompt, String dialogTitle)
          Returns a double or throws an exception if the user cancels the operation.
static double SimpleDialog.requestDouble(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a double or throws an exception if the user cancels the operation, with the given default value.
static double SimpleDialog.requestDouble(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a double or throws an exception if the user cancels the operation, with the given default value.
static float SimpleDialog.requestFloat(String inputPrompt, String dialogTitle)
          Returns a float or throws an exception if the user cancels the operation.
static float SimpleDialog.requestFloat(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a float or throws an exception if the user cancels the operation, with the given default value.
static float SimpleDialog.requestFloat(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a float or throws an exception if the user cancels the operation, with the given default value.
static char SimpleDialog.requestChar(String inputPrompt, String dialogTitle)
          Returns a char or throws an exception if the user cancels the operation.
static char SimpleDialog.requestChar(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a char or throws an exception if the user cancels the operation, with the given default value.
static char SimpleDialog.requestChar(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a char or throws an exception if the user cancels the operation, with the given default value.
static boolean SimpleDialog.requestBoolean(String inputPrompt, String dialogTitle)
          Returns a boolean or throws an exception if the user cancels the operation.
static boolean SimpleDialog.requestBoolean(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a boolean or throws an exception if the user cancels the operation, with the given default value.
static boolean SimpleDialog.requestBoolean(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a boolean or throws an exception if the user cancels the operation, with the given default value.
static String SimpleDialog.requestString(String inputPrompt, String dialogTitle)
          Returns a String or throws an exception if the user cancels the operation.
static String SimpleDialog.requestString(String inputPrompt, String dialogTitle, String defaultValue)
          Returns a String or throws an exception if the user cancels the operation, with the given default value.
static String SimpleDialog.requestString(String inputPrompt, String dialogTitle, String defaultValue, StringableFilter filter)
          Returns a String or throws an exception if the user cancels the operation, with the given default value.
static Stringable SimpleDialog.requestObject(TypedView viewObject)
          Returns the object produced by the given input view using optional dialog box input, or throws an exception if the operation is cancelled.
 Stringable SimpleArrayPanel.requestObject(int i)
          Applies requestObject to the i-th view and returns the resulting Stringable.
 Object SimpleArrayPanel.requestObjects()
          Returns an object that is actually an array that is populated by calling requestObject for each view.
 Stringable[] SimpleArrayPanel.requestStringableArray()
          Returns an array of type Stringable[] that is populated by calling requestObject for each view.
 Stringable PathNodeView.requestObject()
          Overrides the inherited method to return null if the underlying TextFieldView view state consists only of whitespace.
 PathList PathListView.requestPathList()
          The request method to return the path list defined in this view.
static Stringable InputDialog.showRequestDialog(TypedView viewObject)
          Shows a dialog for optional input using the given view.
 Stringable InputDialog.CompoundView.requestObject()
           
 Stringable GeneralViewSupport.requestObject()
          Returns a Stringable object based on the view state of the view, the current data type and filter, and the optional model.
 Stringable GeneralViewSupport.requestObject(StringableFilter filter)
          Returns a Stringable object based on the view state of the view, the temporary filter, and the optional model.
 Stringable GeneralViewSupport.requestObject(Class dataType, StringableFilter filter)
          Returns a Stringable object based on the view state of the view, the temporary data type and filter, and the optional model.
 Stringable GeneralView.requestObject(StringableFilter filter)
          Returns a Stringable object based on the view state of the view, the temporary filter, and the optional model.
 Stringable GeneralView.requestObject(Class dataType, StringableFilter filter)
          Returns a Stringable object based on the view state of the view, the temporary data type and filter, and the optional model.
static String GeneralDialog.showOKCancelDialog(Object displayObject, String title)
          Shows a GeneralDialog with the given display object and title and "OK" and a "Cancel" buttons with "OK" as the default.
static String GeneralDialog.showYesNoCancelDialog(Object displayObject, String title)
          Shows a GeneralDialog with the given display object and title and "Yes", "No", and "Cancel" buttons with "Yes" as the default.
 Stringable FileView.requestObject()
          Returns an XString representing the currently selected path.
 File FileView.requestExistingFile()
          Returns a File object representing a path to an existing file.
 File FileView.requestFile()
          Returns a File object representing a valid path for the file system.
 String FileView.requestExistingFilename()
          Returns a String representing a path to an existing file.
 String FileView.requestFilename()
          Returns a String representing a valid path for the file system.
protected  String FileView.performRequest(boolean anyValid, boolean mandatory)
          Returns a String path that was either input into the filename field directly, selected using the file chooser brought up by browsing, or selected using the file chooser brought up as part of the error recovery strategy.
 Stringable DropdownView.requestObject()
           
 Stringable DropdownView.requestObject(StringableFilter filter)
           
 Stringable DropdownView.requestObject(Class dataType, StringableFilter filter)
           
 byte DropdownView.requestByte()
          Returns a byte extracted from the field using the optional model.
 byte DropdownView.requestByte(StringableFilter f)
          Returns a byte extracted from the field using the optional model with the given filter.
 byte DropdownView.requestByteAsHex()
          Returns a byte extracted from the field as hexidecimal data using the optional model.
 byte DropdownView.requestByteAsHex(StringableFilter f)
          Returns a byte extracted from the field as hexidecimal data using the optional model with the given filter.
 short DropdownView.requestShort()
          Returns a short extracted from the field using the optional model.
 short DropdownView.requestShort(StringableFilter f)
          Returns a short extracted from the field using the optional model with the given filter.
 short DropdownView.requestShortAsHex()
          Returns a short extracted from the field as hexidecimal data using the optional model.
 short DropdownView.requestShortAsHex(StringableFilter f)
          Returns a short extracted from the field as hexidecimal data using the optional model with the given filter.
 int DropdownView.requestInt()
          Returns an int extracted from the field using the optional model.
 int DropdownView.requestInt(StringableFilter f)
          Returns an int extracted from the field using the optional model with the given filter.
 int DropdownView.requestIntAsHex()
          Returns an int extracted from the field as hexidecimal data using the optional model.
 int DropdownView.requestIntAsHex(StringableFilter f)
          Returns an int extracted from the field as hexidecimal data using the optional model with the given filter.
 long DropdownView.requestLong()
          Returns a long extracted from the field using the optional model.
 long DropdownView.requestLong(StringableFilter f)
          Returns a long extracted from the field using the optional model with the given filter.
 long DropdownView.requestLongAsHex()
          Returns a long extracted from the field as hexidecimal data using the optional model.
 long DropdownView.requestLongAsHex(StringableFilter f)
          Returns a long extracted from the field as hexidecimal data using the optional model with the given filter.
 float DropdownView.requestFloat()
          Returns a float extracted from the field using the optional model.
 float DropdownView.requestFloat(StringableFilter f)
          Returns a float extracted from the field using the optional model with the given filter.
 float DropdownView.requestFloatAsHex()
          Returns a float extracted from the field as hexidecimal data using the optional model.
 float DropdownView.requestFloatAsHex(StringableFilter f)
          Returns a float extracted from the field as hexidecimal data using the optional model with the given filter.
 double DropdownView.requestDouble()
          Returns a double extracted from the field using the optional model.
 double DropdownView.requestDouble(StringableFilter f)
          Returns a double extracted from the field using the optional model with the given filter.
 double DropdownView.requestDoubleAsHex()
          Returns a double extracted from the field as hexidecimal data using the optional model.
 double DropdownView.requestDoubleAsHex(StringableFilter f)
          Returns a double extracted from the field as hexidecimal data using the optional model with the given filter.
 char DropdownView.requestChar()
          Returns a char extracted from the field using the optional model.
 char DropdownView.requestChar(StringableFilter f)
          Returns a char extracted from the field using the optional model, with the given filter.
 boolean DropdownView.requestBoolean()
          Returns a boolean extracted from the field using the optional model.
 boolean DropdownView.requestBoolean(StringableFilter f)
          Returns a boolean extracted from the field using the optional model, with the given filter.
 String DropdownView.requestString()
          Returns a String extracted from the field using the optional model.
 String DropdownView.requestString(StringableFilter f)
          Returns a String extracted from the field using the optional model, with the given filter.
 Color DropdownView.requestColor()
          Returns a Color extracted from the field using the optional model.
 Color DropdownView.requestColor(StringableFilter f)
          Returns a Color extracted from the field using the optional model, with the given filter.
 BigInteger DropdownView.requestBigInteger()
          Returns a BigInteger extracted from the field using the optional model.
 BigInteger DropdownView.requestBigInteger(StringableFilter f)
          Returns a BigInteger extracted from the field using the optional model, with the given filter.
 BigDecimal DropdownView.requestBigDecimal()
          Returns a BigDecimal extracted from the field using the optional model.
 BigDecimal DropdownView.requestBigDecimal(StringableFilter f)
          Returns a BigDecimal extracted from the field using the optional model, with the given filter.
abstract  Stringable ArrayPanel.requestObject()
           
 Stringable[] ArrayPanel.requestObjectArray()
          Returns an array of model objects of the appropriate type initialized from the view states for the elements of this array panel, using the optional model of IO.
protected  int ArrayPanel.requestArrayLength()
          Returns the value contained in the length field after applying the filter that polices the minimum and maximum array length and transforming the value from the user length perspective to the raw length perspective.
 

Uses of CancelledException in edu.neu.ccs.jpf
 

Methods in edu.neu.ccs.jpf that throw CancelledException
protected  Object MethodGUI.extractParameterValue(TypedView view, Class c)
          Return the user input as an object from the typed view being used to obtain data for the given class.
protected  Object[] MethodGUI.extractParameterValues()
          Return the array of user input values from the parameter views.