Arduino Robot digitalReadPort

Hello
I try to work with the example for the Arduino Robot:

But I get back this Error from the IDE:

sketch_feb25a:8: error: 'class RobotControl' has no member named 'digitalReadPort'

At the IDE I have selected the "Arduino Robot Control" and the Robot are connected to the Computer.
To be sure I have today changed to Arduino Version 1.5.6 -r2
Can someone tell me where are the Failure? Or if this problem is known can someone give me some Link or the right words for the search at the Forum or google.

Thanks for the help

I think you have discovered an(other) error in the documentation.

It describes this:

Robot.digitalRead(portName);

But goes on to use the missing variant in the sample:

Serial.println(Robot.digitalReadPort(TK0)); //Print the value read on port TK0

I suggest trying your code like this:

Serial.println(Robot.digitalRead(TK0)); //Print the value read on port TK0

Thank you for opening my eyes! I have to rely too much on that the example must work.

Without the Word "Port" the Code highlighting works also.

But the Failure Code was only this:

sketch_feb26a.ino: In function 'void loop()':
sketch_feb26a:8: error: 'class RobotControl' has no member named 'digitalReadPort'

Ok now It works! I send the information tom Arduino with GitHub

Many many thanks for your help