Enum BufferHazard.Type

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      INDEX_NOT_EQUAL
      The conflict of the kind Index1 != Index2.
      TAG_EQUAL
      The conflict of the kind Index1 == Index2 && Tag1 == Tag2.
      TAG_NOT_EQUAL
      The conflict of the kind Index1 == Index2 && Tag1 != Tag2.
    • Method Summary

      All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      abstract ru.ispras.fortress.expression.Node getCondition​(MmuBufferAccess bufferAccess1, MmuBufferAccess bufferAccess2)
      Returns the condition that characterizes the conflict between two buffer accesses.
      java.lang.String getName()  
      boolean isEquality()  
      static BufferHazard.Type valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static BufferHazard.Type[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Enum Constant Detail

      • INDEX_NOT_EQUAL

        public static final BufferHazard.Type INDEX_NOT_EQUAL
        The conflict of the kind Index1 != Index2.
      • TAG_NOT_EQUAL

        public static final BufferHazard.Type TAG_NOT_EQUAL
        The conflict of the kind Index1 == Index2 && Tag1 != Tag2.
      • TAG_EQUAL

        public static final BufferHazard.Type TAG_EQUAL
        The conflict of the kind Index1 == Index2 && Tag1 == Tag2.
    • Method Detail

      • values

        public static BufferHazard.Type[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (BufferHazard.Type c : BufferHazard.Type.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static BufferHazard.Type valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • getName

        public java.lang.String getName()
      • isEquality

        public boolean isEquality()
      • getCondition

        public abstract ru.ispras.fortress.expression.Node getCondition​(MmuBufferAccess bufferAccess1,
                                                                        MmuBufferAccess bufferAccess2)
        Returns the condition that characterizes the conflict between two buffer accesses.
        Parameters:
        bufferAccess1 - the first buffer access.
        bufferAccess2 - the second buffer access (depends some how on the first one).
        Returns:
        the hazard condition.