# Object Constraint Language (OCL) Cheatsheet
The Object Constraint Language (OCL) is a formal language used to describe constraints, business rules, and logic that cannot be expressed using UML diagrams alone. OCL is declarative, meaning it describes what must be true, rather than how to make it true.
Common Use Cases:
To update the BIOS/UEFI firmware requires HP-specific files in the EFI System Partition, also referred to as ESP.
On a Linux system, the ESP is typically mounted on /boot/efi or /efi. Whithin you should also find a EFI directory, e.g. /boot/efi/EFI or /efi/EFI. This article assumes that the ESP is mounted on /efi and that the /efi/EFI directory exists. You can replace that with the mount point your system uses.
The HP-specific files are located in /efi/EFI/HP or /efi/EFI/Hewlet-Packard. These files typically come preinstalled in HP Windows PCs. If you have these files you could skip Install HP-specific files.
| Windows Registry Editor Version 5.00 | |
| [HKEY_CURRENT_USER\SOFTWARE\Microsoft\Windows\CurrentVersion\Search] | |
| "BingSearchEnabled"=dword:00000000 | |
| "AllowSearchToUseLocation"=dword:00000000 | |
| "CortanaConsent"=dword:00000000 | |
| [HKEY_LOCAL_MACHINE\SOFTWARE\Policies\Microsoft\Windows\Windows Search] | |
| "AllowCortana"=dword:00000000 | |
| "DisableWebSearch"=dword:00000001 |
| using System; | |
| using System.Threading; | |
| static class Program { | |
| static void Main() { | |
| Console.Write("Performing some task... "); | |
| using (var progress = new ProgressBar()) { | |
| for (int i = 0; i <= 100; i++) { | |
| progress.Report((double) i / 100); |
| This is gist. | |
| There are many like it, but this one is mine. | |
| It is my life. | |
| I must master it as I must master my life. | |
| Without me gist is useless. | |
| Without gist, I am useless. |
