1 package net.sourceforge.phpeclipse.xdebug.php.model;
 
   3 import org.eclipse.debug.core.DebugException;
 
   4 import org.w3c.dom.Node;
 
   6 public class XDebugIntValue extends XDebugAbstractValue {
 
   7         public XDebugIntValue(XDebugStackFrame frame, Node value) throws DebugException {
 
  11         public boolean supportsValueModification() {
 
  15         public void renderValueString(String dataString) {
 
  16                 setValueString(dataString)/*fValueString = dataString*/;
 
  19         public boolean verifyValue(String expression) {
 
  21                         Integer.parseInt(expression);
 
  22                 } catch (NumberFormatException e) {