code: private void setBreakpoint(String name, String condition) throws Exception
  	{
  		LexTokenReader ltr = new LexTokenReader(name, Dialect.VDM_SL);
  		LexToken token = ltr.nextToken();
  		ltr.close();
  
  		Value v = null;
  
  		if (token.is(VDMToken.IDENTIFIER))
  		{
  			LexIdentifierToken id = (LexIdentifierToken) token;
  			LexNameToken lnt = new LexNameToken(interpreter.getDefaultName(), id);
  			v = interpreter.findGlobal(lnt);
  		} else if (token.is(VDMToken.NAME))
  		{
  			v = interpreter.findGlobal((LexNameToken) token);
  		}
  
  		if (v instanceof FunctionValue)
  		{
  			FunctionValue fv = (FunctionValue) v;
  			PExp exp = fv.body;
  			interpreter.clearBreakpoint(BreakpointManager.getBreakpoint(exp).number);
  			Breakpoint bp = interpreter.setBreakpoint(exp, condition);
  			println("Created " + bp);
  			println(interpreter.getSourceLine(bp.location));
  		} else if (v instanceof OperationValue)
  		{
  			OperationValue ov = (OperationValue) v;
  			PStm stmt = ov.body;
  			interpreter.clearBreakpoint(BreakpointManager.getBreakpoint(stmt).number);
  			Breakpoint bp = interpreter.setBreakpoint(stmt, condition);
  			println("Created " + bp);
  			println(interpreter.getSourceLine(bp.location));
  		} else if (v == null)
  		{
  			println(name + " is not visible or not found");
  		} else
  		{
  			println(name + " is not a function or operation");
  		}
  	}
docs: Set a breakpoint at the given function or operation name with a condition.
  
  @param name
  The function or operation name.
  @param condition
  Any condition for the breakpoint, or null.
  @throws Exception
  Problems parsing condition.