|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Uses of DeviceReadPeriodRecord.Builder in org.robokind.impl.sensor |
|---|
| Methods in org.robokind.impl.sensor that return DeviceReadPeriodRecord.Builder | |
|---|---|
DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.Builder.clearHeader()
Clears the value of the 'header' field |
DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.Builder.clearPeriod()
Clears the value of the 'period' field |
static DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.newBuilder()
Creates a new DeviceReadPeriodRecord RecordBuilder |
static DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.newBuilder(DeviceReadPeriodRecord.Builder other)
Creates a new DeviceReadPeriodRecord RecordBuilder by copying an existing Builder |
static DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.newBuilder(DeviceReadPeriodRecord other)
Creates a new DeviceReadPeriodRecord RecordBuilder by copying an existing DeviceReadPeriodRecord instance |
DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.Builder.setHeader(HeaderRecord value)
Sets the value of the 'header' field |
DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.Builder.setPeriod(double value)
Sets the value of the 'period' field |
| Methods in org.robokind.impl.sensor with parameters of type DeviceReadPeriodRecord.Builder | |
|---|---|
static DeviceReadPeriodRecord.Builder |
DeviceReadPeriodRecord.newBuilder(DeviceReadPeriodRecord.Builder other)
Creates a new DeviceReadPeriodRecord RecordBuilder by copying an existing Builder |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||