class TPMDeviceState extends DeviceState {

    public final List<TPMMeasurementRecord> getTPMMeasurementRecords() {
        if (this.report == null) {
            return Collections.emptyList();
        }
        return Collections.unmodifiableList(this.report.getTPMMeasurementRecords());
    }

    public  TPMDeviceState(final Device device);
    protected  TPMDeviceState();

}