It's just getting the getter/setter. There are other similar specs in this file, but it is pretty basic.