Skip to main content

Validator

Git Source

================== ✅ Validator

State Variables

MUST

Type constant MUST = Type.MUST;

SHOULD

Type constant SHOULD = Type.SHOULD;

COMPLETION

Type constant COMPLETION = Type.COMPLETION;

Functions

validate

function validate(Type T, bool condition, string memory messageHead, string memory messageBody)
internal
view
returns (bool res);

noBroadcast

modifier noBroadcast();

SHOULD_FileExists

================ 📝 Config

function SHOULD_FileExists(string memory path) internal returns (bool condition);

MUST_FileExists

function MUST_FileExists(string memory path) internal;

MUST_NotEmptyName

=================== 🧱 Primitives

function MUST_NotEmptyName(string memory name) internal view;

MUST_NotEmptyEnvKey

function MUST_NotEmptyEnvKey(string memory envKey) internal view;

SHOULD_NotEmptySelector

function SHOULD_NotEmptySelector(bytes4 selector) internal view;

MUST_AddressIsContract

function MUST_AddressIsContract(address addr) internal view;

SHOULD_FacadeIsContract

function SHOULD_FacadeIsContract(address facade) internal view;

SHOULD_OwnerIsNotZeroAddress

function SHOULD_OwnerIsNotZeroAddress(address owner) internal view;

MUST_NameFound

====================== 📸 Current Context

function MUST_NameFound(Current storage current) internal view;

ValidateBuilder

================== 🧩 Function

function ValidateBuilder(Function storage func) internal view returns (bool);

MUST_Completed

function MUST_Completed(Function memory func) internal view;

MUST_NotLocked

function MUST_NotLocked(Function storage func) internal view;

MUST_Building

function MUST_Building(Function storage func) internal view;

MUST_Built

function MUST_Built(Function storage func) internal view;

MUST_Registered

function MUST_Registered(FunctionRegistry storage registry, string memory name) internal view;

ValidateBuilder

=============== 🗂️ Bundle

function ValidateBuilder(Bundle storage bundle) internal view returns (bool);

MUST_NotInitialized

function MUST_NotInitialized(Bundle storage bundle) internal view;

SHOULD_Completed

function SHOULD_Completed(Bundle storage bundle) internal view;

MUST_Completed

function MUST_Completed(Bundle storage bundle) internal view;

MUST_HaveFunction

function MUST_HaveFunction(Bundle storage bundle) internal view;

MUST_HaveUniqueSelector

function MUST_HaveUniqueSelector(Bundle storage bundle, Function storage func) internal view;

MUST_NotLocked

function MUST_NotLocked(Bundle storage bundle) internal view;

MUST_Building

function MUST_Building(Bundle storage bundle) internal view;

MUST_Built

function MUST_Built(Bundle storage bundle) internal view;

SHOULD_ExistCurrentBundle

function SHOULD_ExistCurrentBundle(BundleRegistry storage registry) internal view returns (bool condition);

MUST_ExistCurrentName

function MUST_ExistCurrentName(BundleRegistry storage registry) internal view;

ValidateBuilder

============== 🏠 Proxy

function ValidateBuilder(Proxy_2 memory proxy) internal view returns (bool);

MUST_Completed

function MUST_Completed(Proxy_2 memory proxy) internal view;

MUST_NotLocked

function MUST_NotLocked(Proxy_2 memory proxy) internal view;

MUST_Building

function MUST_Building(Proxy_2 memory proxy) internal view;

MUST_Built

function MUST_Built(Proxy_2 memory proxy) internal view;

MUST_Registered

function MUST_Registered(ProxyRegistry storage registry, string memory name) internal view;

MUST_NotRegistered

function MUST_NotRegistered(ProxyRegistry storage registry, string memory name) internal view;

MUST_ExistCurrentName

function MUST_ExistCurrentName(ProxyRegistry storage registry) internal view;

ValidateBuilder

==================== 📚 Dictionary

function ValidateBuilder(Dictionary_1 memory dictionary) internal view returns (bool);

MUST_Completed

function MUST_Completed(Dictionary_1 memory dictionary) internal view;

MUST_Verifiable

function MUST_Verifiable(Dictionary_1 memory dictionary) internal noBroadcast;

MUST_NotLocked

function MUST_NotLocked(Dictionary_1 memory dictionary) internal view;

MUST_Building

function MUST_Building(Dictionary_1 memory dictionary) internal view;

MUST_Built

function MUST_Built(Dictionary_1 memory dictionary) internal view;

MUST_Registered

function MUST_Registered(DictionaryRegistry storage registry, string memory name) internal view;

MUST_NotRegistered

function MUST_NotRegistered(DictionaryRegistry storage registry, string memory name) internal view;

MUST_ExistCurrentName

function MUST_ExistCurrentName(DictionaryRegistry storage registry) internal view;

ValidateBuilder

========================== 🏛 Standard Registry

function ValidateBuilder(StdRegistry storage registry) internal view returns (bool);

MUST_Completed

function MUST_Completed(StdRegistry storage registry) internal view;

MUST_NotLocked

function MUST_NotLocked(StdRegistry storage registry) internal view;

MUST_Building

function MUST_Building(StdRegistry storage registry) internal view;

MUST_Built

function MUST_Built(StdRegistry memory registry) internal view;

ValidateBuilder

========================== 🏰 Standard Functions

function ValidateBuilder(StdFunctions storage std) internal view returns (bool);

MUST_Completed

function MUST_Completed(StdFunctions storage std) internal view;

MUST_NotLocked

function MUST_NotLocked(StdFunctions storage std) internal view;

MUST_Building

function MUST_Building(StdFunctions storage std) internal view;

MUST_Built

function MUST_Built(StdFunctions memory std) internal view;

MUST_FoundInRange

======================= 🏷️ Name Generator

function MUST_FoundInRange() internal view;

MUST_UseFunctionContract

================ 🧪 MCTest

function MUST_UseFunctionContract(address implementation) internal view;

Enums

Type

enum Type {
MUST,
SHOULD,
COMPLETION
}