类 TracedVariables


  • public class TracedVariables
    extends Variables
    This Variables saves additional information with variables, to keep track of their origins.

    The class stores a given producer Value along with each Value it stores. It then generalizes a given collected Value with the producer Value of each Value it loads. The producer Value and the initial collected Value can be set; the generalized collected Value can be retrieved.

    • 字段详细资料

    • 构造器详细资料

      • TracedVariables

        public TracedVariables​(int size)
        Creates a new TracedVariables with a given size.
      • TracedVariables

        public TracedVariables​(TracedVariables tracedVariables)
        Creates a new TracedVariables that is a copy of the given TracedVariables.
    • 方法详细资料

      • setProducerValue

        public void setProducerValue​(Value producerValue)
        Sets the Value that will be stored along with all store instructions.
      • getProducerValue

        public Value getProducerValue​(int index)
        Gets the producer Value for the specified variable, without disturbing it.
        参数:
        index - the variable index.
        返回:
        the producer value of the given variable.
      • setProducerValue

        public void setProducerValue​(int index,
                                     Value value)
        Sets the given producer Value for the specified variable, without disturbing it.
        参数:
        index - the variable index.
        value - the producer value to set.
      • reset

        public void reset​(int size)
        从类复制的说明: Variables
        Resets this Variables object, so that it can be reused.
        覆盖:
        reset 在类中 Variables
      • generalize

        public boolean generalize​(TracedVariables other,
                                  boolean clearConflictingOtherVariables)
      • store

        public void store​(int index,
                          Value value)
        从类复制的说明: Variables
        Stores the given Value at the given variable index.
        覆盖:
        store 在类中 Variables
      • equals

        public boolean equals​(java.lang.Object object)
        覆盖:
        equals 在类中 Variables
      • toString

        public java.lang.String toString()
        覆盖:
        toString 在类中 Variables