code: public synchronized void waiting(Context ctxt, ILexLocation location)
  	{
  		// Enter a waiting state - called by thread
  		waitUntilState(RunState.WAITING, RunState.RUNNING, ctxt, location);
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.vdmj.scheduler.ISchedulableThread#waiting(org.overture.vdmj.runtime.Context,
  org.overture.vdmj.lex.ILexLocation)