ScaIR Unidoc
0.5.0
API
Generated with
ScaIR Unidoc/scair/scair.dialects/scair.dialects.builtin/DictionaryAttr

DictionaryAttr

scair.dialects.builtin.DictionaryAttr
final case class DictionaryAttr(entries: Map[String, Attribute]) extends DataAttribute[Map[String, Attribute]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class DataAttribute[Map[String, Attribute]]
trait Attribute
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def custom_print(p: Printer): Unit

Attributes

Definition Classes

Inherited methods

def custom_verify(): Either[String, Unit]

Attributes

Inherited from:
Attribute
override def equals(attr: Any): Boolean

Compares the receiver object (this) with the argument object (that) for equivalence.

Compares the receiver object (this) with the argument object (that) for equivalence.

Any implementation of this method should be an equivalence relation:

  • It is reflexive: for any instance x of type Any, x.equals(x) should return true.
  • It is symmetric: for any instances x and y of type Any, x.equals(y) should return true if and only if y.equals(x) returns true.
  • It is transitive: for any instances x, y, and z of type Any if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.

If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is usually necessary to override hashCode to ensure that objects which are "equal" (o1.equals(o2) returns true) hash to the same scala.Int. (o1.hashCode.equals(o2.hashCode)).

Value parameters

that

the object to compare against this object for equality.

Attributes

Returns

true if the receiver object is equivalent to the argument; false otherwise.

Definition Classes
DataAttribute -> Any
Inherited from:
DataAttribute
def prefix: String

Attributes

Inherited from:
Attribute
override def printParameters(p: Printer): Unit

Attributes

Definition Classes
Inherited from:
DataAttribute
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Attribute -> Any
Inherited from:
Attribute

Inherited fields

val data: Map[String, Attribute]

Attributes

Inherited from:
DataAttribute
override val name: String

Attributes

Inherited from:
DataAttribute
Generated with