| # Copyright (C) 2009 The Android Open Source Project |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); |
| # you may not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # http://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| |
| import re |
| |
| import common |
| |
| class EdifyGenerator(object): |
| """Class to generate scripts in the 'edify' recovery script language |
| used from donut onwards.""" |
| |
| def __init__(self, version, info, fstab=None): |
| self.script = [] |
| self.mounts = set() |
| self._required_cache = 0 |
| self.version = version |
| self.info = info |
| if fstab is None: |
| self.fstab = self.info.get("fstab", None) |
| else: |
| self.fstab = fstab |
| |
| @property |
| def required_cache(self): |
| """Return the minimum cache size to apply the update.""" |
| return self._required_cache |
| |
| @staticmethod |
| def WordWrap(cmd, linelen=80): |
| """'cmd' should be a function call with null characters after each |
| parameter (eg, "somefun(foo,\0bar,\0baz)"). This function wraps cmd |
| to a given line length, replacing nulls with spaces and/or newlines |
| to format it nicely.""" |
| indent = cmd.index("(")+1 |
| out = [] |
| first = True |
| x = re.compile("^(.{,%d})\0" % (linelen-indent,)) |
| while True: |
| if not first: |
| out.append(" " * indent) |
| first = False |
| m = x.search(cmd) |
| if not m: |
| parts = cmd.split("\0", 1) |
| out.append(parts[0]+"\n") |
| if len(parts) == 1: |
| break |
| else: |
| cmd = parts[1] |
| continue |
| out.append(m.group(1)+"\n") |
| cmd = cmd[m.end():] |
| |
| return "".join(out).replace("\0", " ").rstrip("\n") |
| |
| def AppendScript(self, other): |
| """Append the contents of another script (which should be created |
| with temporary=True) to this one.""" |
| self.script.extend(other.script) |
| |
| def AssertOemProperty(self, name, values, oem_no_mount): |
| """Assert that a property on the OEM paritition matches allowed values.""" |
| if not name: |
| raise ValueError("must specify an OEM property") |
| if not values: |
| raise ValueError("must specify the OEM value") |
| |
| if oem_no_mount: |
| get_prop_command = 'getprop("%s")' % name |
| else: |
| get_prop_command = 'file_getprop("/oem/oem.prop", "%s")' % name |
| |
| cmd = '' |
| for value in values: |
| cmd += '%s == "%s" || ' % (get_prop_command, value) |
| cmd += ( |
| 'abort("E{code}: This package expects the value \\"{values}\\" for ' |
| '\\"{name}\\"; this has value \\"" + ' |
| '{get_prop_command} + "\\".");').format( |
| code=common.ErrorCode.OEM_PROP_MISMATCH, |
| get_prop_command=get_prop_command, name=name, |
| values='\\" or \\"'.join(values)) |
| self.script.append(cmd) |
| |
| def AssertSomeFingerprint(self, *fp): |
| """Assert that the current recovery build fingerprint is one of *fp.""" |
| if not fp: |
| raise ValueError("must specify some fingerprints") |
| cmd = (' ||\n '.join([('getprop("ro.build.fingerprint") == "%s"') % i |
| for i in fp]) + |
| ' ||\n abort("E%d: Package expects build fingerprint of %s; ' |
| 'this device has " + getprop("ro.build.fingerprint") + ".");') % ( |
| common.ErrorCode.FINGERPRINT_MISMATCH, " or ".join(fp)) |
| self.script.append(cmd) |
| |
| def AssertSomeThumbprint(self, *fp): |
| """Assert that the current recovery build thumbprint is one of *fp.""" |
| if not fp: |
| raise ValueError("must specify some thumbprints") |
| cmd = (' ||\n '.join([('getprop("ro.build.thumbprint") == "%s"') % i |
| for i in fp]) + |
| ' ||\n abort("E%d: Package expects build thumbprint of %s; this ' |
| 'device has " + getprop("ro.build.thumbprint") + ".");') % ( |
| common.ErrorCode.THUMBPRINT_MISMATCH, " or ".join(fp)) |
| self.script.append(cmd) |
| |
| def AssertFingerprintOrThumbprint(self, fp, tp): |
| """Assert that the current recovery build fingerprint is fp, or thumbprint |
| is tp.""" |
| cmd = ('getprop("ro.build.fingerprint") == "{fp}" ||\n' |
| ' getprop("ro.build.thumbprint") == "{tp}" ||\n' |
| ' abort("Package expects build fingerprint of {fp} or ' |
| 'thumbprint of {tp}; this device has a fingerprint of " ' |
| '+ getprop("ro.build.fingerprint") + " and a thumbprint of " ' |
| '+ getprop("ro.build.thumbprint") + ".");').format(fp=fp, tp=tp) |
| self.script.append(cmd) |
| |
| def AssertOlderBuild(self, timestamp, timestamp_text): |
| """Assert that the build on the device is older (or the same as) |
| the given timestamp.""" |
| self.script.append( |
| ('(!less_than_int(%s, getprop("ro.build.date.utc"))) || ' |
| 'abort("E%d: Can\'t install this package (%s) over newer ' |
| 'build (" + getprop("ro.build.date") + ").");') % ( |
| timestamp, common.ErrorCode.OLDER_BUILD, timestamp_text)) |
| |
| def AssertDevice(self, device): |
| """Assert that the device identifier is the given string.""" |
| cmd = ('getprop("ro.product.device") == "%s" || ' |
| 'abort("E%d: This package is for \\"%s\\" devices; ' |
| 'this is a \\"" + getprop("ro.product.device") + "\\".");') % ( |
| device, common.ErrorCode.DEVICE_MISMATCH, device) |
| self.script.append(cmd) |
| |
| def AssertSomeBootloader(self, *bootloaders): |
| """Asert that the bootloader version is one of *bootloaders.""" |
| cmd = ("assert(" + |
| " ||\0".join(['getprop("ro.bootloader") == "%s"' % (b,) |
| for b in bootloaders]) + |
| ");") |
| self.script.append(self.WordWrap(cmd)) |
| |
| def ShowProgress(self, frac, dur): |
| """Update the progress bar, advancing it over 'frac' over the next |
| 'dur' seconds. 'dur' may be zero to advance it via SetProgress |
| commands instead of by time.""" |
| self.script.append("show_progress(%f, %d);" % (frac, int(dur))) |
| |
| def SetProgress(self, frac): |
| """Set the position of the progress bar within the chunk defined |
| by the most recent ShowProgress call. 'frac' should be in |
| [0,1].""" |
| self.script.append("set_progress(%f);" % (frac,)) |
| |
| def PatchCheck(self, filename, *sha1): # pylint: disable=unused-argument |
| """Checks that the given partition has the desired checksum. |
| |
| The call to this function is being deprecated in favor of |
| PatchPartitionCheck(). It will try to parse and handle the old format, |
| unless the format is unknown. |
| """ |
| tokens = filename.split(':') |
| assert len(tokens) == 6 and tokens[0] == 'EMMC', \ |
| "Failed to handle unknown format. Use PatchPartitionCheck() instead." |
| source = '{}:{}:{}:{}'.format(tokens[0], tokens[1], tokens[2], tokens[3]) |
| target = '{}:{}:{}:{}'.format(tokens[0], tokens[1], tokens[4], tokens[5]) |
| self.PatchPartitionCheck(target, source) |
| |
| def PatchPartitionCheck(self, target, source): |
| """Checks whether updater can patch the given partitions. |
| |
| It checks the checksums of the given partitions. If none of them matches the |
| expected checksum, updater will additionally look for a backup on /cache. |
| """ |
| self._CheckSecondTokenNotSlotSuffixed(target, "PatchPartitionExprCheck") |
| self._CheckSecondTokenNotSlotSuffixed(source, "PatchPartitionExprCheck") |
| self.PatchPartitionExprCheck('"%s"' % target, '"%s"' % source) |
| |
| def PatchPartitionExprCheck(self, target_expr, source_expr): |
| """Checks whether updater can patch the given partitions. |
| |
| It checks the checksums of the given partitions. If none of them matches the |
| expected checksum, updater will additionally look for a backup on /cache. |
| |
| Args: |
| target_expr: an Edify expression that serves as the target arg to |
| patch_partition. Must be evaluated to a string in the form of |
| foo:bar:baz:quux |
| source_expr: an Edify expression that serves as the source arg to |
| patch_partition. Must be evaluated to a string in the form of |
| foo:bar:baz:quux |
| """ |
| self.script.append(self.WordWrap(( |
| 'patch_partition_check({target},\0{source}) ||\n abort(' |
| 'concat("E{code}: \\"",{target},"\\" or \\"",{source},"\\" has ' |
| 'unexpected contents."));').format( |
| target=target_expr, |
| source=source_expr, |
| code=common.ErrorCode.BAD_PATCH_FILE))) |
| |
| def CacheFreeSpaceCheck(self, amount): |
| """Check that there's at least 'amount' space that can be made |
| available on /cache.""" |
| self._required_cache = max(self._required_cache, amount) |
| self.script.append(('apply_patch_space(%d) || abort("E%d: Not enough free ' |
| 'space on /cache to apply patches.");') % ( |
| amount, |
| common.ErrorCode.INSUFFICIENT_CACHE_SPACE)) |
| |
| def Mount(self, mount_point, mount_options_by_format=""): |
| """Mount the partition with the given mount_point. |
| mount_options_by_format: |
| [fs_type=option[,option]...[|fs_type=option[,option]...]...] |
| where option is optname[=optvalue] |
| E.g. ext4=barrier=1,nodelalloc,errors=panic|f2fs=errors=recover |
| """ |
| fstab = self.fstab |
| if fstab: |
| p = fstab[mount_point] |
| mount_dict = {} |
| if mount_options_by_format is not None: |
| for option in mount_options_by_format.split("|"): |
| if "=" in option: |
| key, value = option.split("=", 1) |
| mount_dict[key] = value |
| mount_flags = mount_dict.get(p.fs_type, "") |
| if p.context is not None: |
| mount_flags = p.context + ("," + mount_flags if mount_flags else "") |
| self.script.append('mount("%s", "%s", %s, "%s", "%s");' % ( |
| p.fs_type, common.PARTITION_TYPES[p.fs_type], |
| self._GetSlotSuffixDeviceForEntry(p), |
| p.mount_point, mount_flags)) |
| self.mounts.add(p.mount_point) |
| |
| def Comment(self, comment): |
| """Write a comment into the update script.""" |
| self.script.append("") |
| for i in comment.split("\n"): |
| self.script.append("# " + i) |
| self.script.append("") |
| |
| def Print(self, message): |
| """Log a message to the screen (if the logs are visible).""" |
| self.script.append('ui_print("%s");' % (message,)) |
| |
| def TunePartition(self, partition, *options): |
| fstab = self.fstab |
| if fstab: |
| p = fstab[partition] |
| if p.fs_type not in ("ext2", "ext3", "ext4"): |
| raise ValueError("Partition %s cannot be tuned\n" % (partition,)) |
| self.script.append( |
| 'tune2fs(' + "".join(['"%s", ' % (i,) for i in options]) + |
| '%s) || abort("E%d: Failed to tune partition %s");' % ( |
| self._GetSlotSuffixDeviceForEntry(p), |
| common.ErrorCode.TUNE_PARTITION_FAILURE, partition)) |
| |
| def FormatPartition(self, partition): |
| """Format the given partition, specified by its mount point (eg, |
| "/system").""" |
| |
| fstab = self.fstab |
| if fstab: |
| p = fstab[partition] |
| self.script.append('format("%s", "%s", %s, "%s", "%s");' % |
| (p.fs_type, common.PARTITION_TYPES[p.fs_type], |
| self._GetSlotSuffixDeviceForEntry(p), |
| p.length, p.mount_point)) |
| |
| def WipeBlockDevice(self, partition): |
| if partition not in ("/system", "/vendor"): |
| raise ValueError(("WipeBlockDevice doesn't work on %s\n") % (partition,)) |
| fstab = self.fstab |
| size = self.info.get(partition.lstrip("/") + "_size", None) |
| device = self._GetSlotSuffixDeviceForEntry(fstab[partition]) |
| |
| self.script.append('wipe_block_device(%s, %s);' % (device, size)) |
| |
| def ApplyPatch(self, srcfile, tgtfile, tgtsize, tgtsha1, *patchpairs): |
| """Apply binary patches (in *patchpairs) to the given srcfile to |
| produce tgtfile (which may be "-" to indicate overwriting the |
| source file. |
| |
| This edify function is being deprecated in favor of PatchPartition(). It |
| will try to redirect calls to PatchPartition() if possible. On unknown / |
| invalid inputs, raises an exception. |
| """ |
| tokens = srcfile.split(':') |
| assert (len(tokens) == 6 and tokens[0] == 'EMMC' and tgtfile == '-' and |
| len(patchpairs) == 2), \ |
| "Failed to handle unknown format. Use PatchPartition() instead." |
| |
| # Also validity check the args. |
| assert tokens[3] == patchpairs[0], \ |
| "Found mismatching values for source SHA-1: {} vs {}".format( |
| tokens[3], patchpairs[0]) |
| assert int(tokens[4]) == tgtsize, \ |
| "Found mismatching values for target size: {} vs {}".format( |
| tokens[4], tgtsize) |
| assert tokens[5] == tgtsha1, \ |
| "Found mismatching values for target SHA-1: {} vs {}".format( |
| tokens[5], tgtsha1) |
| |
| source = '{}:{}:{}:{}'.format(tokens[0], tokens[1], tokens[2], tokens[3]) |
| target = '{}:{}:{}:{}'.format(tokens[0], tokens[1], tokens[4], tokens[5]) |
| patch = patchpairs[1] |
| self.PatchPartition(target, source, patch) |
| |
| def PatchPartition(self, target, source, patch): |
| """ |
| Applies the patch to the source partition and writes it to target. |
| |
| Args: |
| target: the target arg to patch_partition. Must be in the form of |
| foo:bar:baz:quux |
| source: the source arg to patch_partition. Must be in the form of |
| foo:bar:baz:quux |
| patch: the patch arg to patch_partition. Must be an unquoted string. |
| """ |
| self._CheckSecondTokenNotSlotSuffixed(target, "PatchPartitionExpr") |
| self._CheckSecondTokenNotSlotSuffixed(source, "PatchPartitionExpr") |
| self.PatchPartitionExpr('"%s"' % target, '"%s"' % source, '"%s"' % patch) |
| |
| def PatchPartitionExpr(self, target_expr, source_expr, patch_expr): |
| """ |
| Applies the patch to the source partition and writes it to target. |
| |
| Args: |
| target_expr: an Edify expression that serves as the target arg to |
| patch_partition. Must be evaluated to a string in the form of |
| foo:bar:baz:quux |
| source_expr: an Edify expression that serves as the source arg to |
| patch_partition. Must be evaluated to a string in the form of |
| foo:bar:baz:quux |
| patch_expr: an Edify expression that serves as the patch arg to |
| patch_partition. Must be evaluated to a string. |
| """ |
| self.script.append(self.WordWrap(( |
| 'patch_partition({target},\0{source},\0' |
| 'package_extract_file({patch})) ||\n' |
| ' abort(concat(' |
| ' "E{code}: Failed to apply patch to ",{source}));').format( |
| target=target_expr, |
| source=source_expr, |
| patch=patch_expr, |
| code=common.ErrorCode.APPLY_PATCH_FAILURE))) |
| |
| def _GetSlotSuffixDeviceForEntry(self, entry=None): |
| """ |
| Args: |
| entry: the fstab entry of device "foo" |
| Returns: |
| An edify expression. Caller must not quote result. |
| If foo is slot suffixed, it returns |
| 'add_slot_suffix("foo")' |
| Otherwise it returns |
| '"foo"' (quoted) |
| """ |
| assert entry is not None |
| if entry.slotselect: |
| return 'add_slot_suffix("%s")' % entry.device |
| return '"%s"' % entry.device |
| |
| def _CheckSecondTokenNotSlotSuffixed(self, s, fn): |
| lst = s.split(':') |
| assert(len(lst) == 4), "{} does not contain 4 tokens".format(s) |
| if self.fstab: |
| entry = common.GetEntryForDevice(self.fstab, lst[1]) |
| if entry is not None: |
| assert not entry.slotselect, \ |
| "Use %s because %s is slot suffixed" % (fn, lst[1]) |
| |
| def WriteRawImage(self, mount_point, fn, mapfn=None): |
| """Write the given package file into the partition for the given |
| mount point.""" |
| |
| fstab = self.fstab |
| if fstab: |
| p = fstab[mount_point] |
| partition_type = common.PARTITION_TYPES[p.fs_type] |
| device = self._GetSlotSuffixDeviceForEntry(p) |
| args = {'device': device, 'fn': fn} |
| if partition_type == "EMMC": |
| if mapfn: |
| args["map"] = mapfn |
| self.script.append( |
| 'package_extract_file("%(fn)s", %(device)s, "%(map)s");' % args) |
| else: |
| self.script.append( |
| 'package_extract_file("%(fn)s", %(device)s);' % args) |
| else: |
| raise ValueError( |
| "don't know how to write \"%s\" partitions" % p.fs_type) |
| |
| def AppendExtra(self, extra): |
| """Append text verbatim to the output script.""" |
| self.script.append(extra) |
| |
| def Unmount(self, mount_point): |
| self.script.append('unmount("%s");' % mount_point) |
| self.mounts.remove(mount_point) |
| |
| def UnmountAll(self): |
| for p in sorted(self.mounts): |
| self.script.append('unmount("%s");' % (p,)) |
| self.mounts = set() |
| |
| def AddToZip(self, input_zip, output_zip, input_path=None): |
| """Write the accumulated script to the output_zip file. input_zip |
| is used as the source for the 'updater' binary needed to run |
| script. If input_path is not None, it will be used as a local |
| path for the binary instead of input_zip.""" |
| |
| self.UnmountAll() |
| |
| common.ZipWriteStr(output_zip, "META-INF/com/google/android/updater-script", |
| "\n".join(self.script) + "\n") |
| |
| if input_path is None: |
| data = input_zip.read("OTA/bin/updater") |
| else: |
| data = open(input_path, "rb").read() |
| common.ZipWriteStr(output_zip, "META-INF/com/google/android/update-binary", |
| data, perms=0o755) |