@__haoyang__/erwin
    Preparing search index...

    Class VarVisAbstract

    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)

    • Value<StateVariableVisibility>
      • VarVis
    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: StateVariableVisibility
    typeName: string

    Methods

    • Returns Value<StateVariableVisibility>

      The copy of the Value.

      Create a copy of the Value.

    • Returns Value<StateVariableVisibility>[]

      The equivalents of the Value.

      Get the equivalents of the Value. The equivalents of the Value v are the Values that are both the sub-Values and the super-Values of v.

    • Parameters

      • t: Value<StateVariableVisibility>

        The Value to compare with.

      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: Value<StateVariableVisibility>

        The Value to compare with.

      Returns boolean

      Whether the Value is the equivalent of the Value t.

      Check if the Value is the equivalent of another Value.

    • Parameters

      • t: Value<StateVariableVisibility>

        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: Value<StateVariableVisibility>

        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.

    • Parameters

      • t: Value<StateVariableVisibility>

        The Value to compare with.

      Returns boolean

      Whether the two Values are the same.

      Check if two Values are the same.

    • Returns Value<StateVariableVisibility>[]

      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.

    • Parameters

      • lower_bound: Value<StateVariableVisibility>

        The lower bound of the sub-Values.

      Returns Value<StateVariableVisibility>[]

      The sub-Values of the Value with a lower bound.

      Get the sub-Values of the Value with a lower bound.

    • Returns Value<StateVariableVisibility>[]

      The sub-Values of the Value.

      Get the sub-Values of the Value.

    • Parameters

      • upper_bound: Value<StateVariableVisibility>

        The upper bound of the super-Values.

      Returns Value<StateVariableVisibility>[]

      The super-Values of the Value with an upper bound.

      Get the super-Values of the Value with an upper bound.

    • Returns Value<StateVariableVisibility>[]

      The super-Values of the Value

      Get the super-Values of the Value.

    Settings

    Member Visibility

    On This Page

    Constructors
    Properties
    Methods