@__haoyang__/erwin
    Preparing search index...

    Class FuncVisMutAbstract

    Value is an abstract class that is used to instantiate placeholders in the generated IR.

    Take the following code snippet as an example of the IR:

    mapping(T1 => T2) M V m;

    In which T1, T2, M and V are all placeholders. In the solving process, the solver will replace these placeholders with actual values, which are type, type, storage location and visibility respectively.

    The kind of the Value.

    Hierarchy (View Summary)

    Index

    Constructors

    constructor

    Properties

    kind typeName

    Methods

    copy equivalents exactly_same is_equivalent_of is_sub_of is_super_of same same_range str sub_with_lowerbound subs super_with_upperbound supers

    Constructors

    Properties

    kind: VisMutKind
    typeName: string

    Methods

    • Parameters

      Returns boolean

      Whether the two Values are exactly the same.

      Check if two Values are exactly the same. Sometimes, two Values are the same but not exactly the same. For example, StoragePointer and StorageRef are the same but not exactly the same.

    • Parameters

      • t: VisMut

        The Value to compare with.

      Returns boolean

      Whether the Value is a sub-Value of the Value t.

      Check if the Value is a sub-Value of another Value.

    • Parameters

      • t: VisMut

        The Value to compare with.

      Returns boolean

      The sub-Values of the Value that are in the same range.

      Get the sub-Values of the Value that are in the same range.

    • Returns Value<VisMutKind>[]

      Get the values that are in the same range as the Value. The value v is in the same range as the Value u if and only if u is a super-Value of v or u is a sub-Value of v.

    • Returns string

      The string representation of the Value.

      Get the string representation of the Value.

    Settings

    Member Visibility

    On This Page

    Constructors
    Properties
    Methods