Class MemorySpecification.Union

A union of memory access specs.

Inheritance
System.Object
MemorySpecification
MemorySpecification.Union
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: Flame.Compiler.Analysis
Assembly: Flame.Compiler.dll
Syntax
public sealed class Union : MemorySpecification

Properties

| Improve this Doc View Source

Elements

Gets the memory access specs whose behavior is unified.

Declaration
public IReadOnlyList<MemorySpecification> Elements { get; }
Property Value
Type Description
System.Collections.Generic.IReadOnlyList<MemorySpecification>

A list of memory access specs.
| Improve this Doc View Source

MayRead

Tells if this memory access spec implies that the instruction it is attached to might read from some address.

Declaration
public override bool MayRead { get; }
Property Value
Type Description
System.Boolean

true if the instruction might read; otherwise, false.
Overrides
| Improve this Doc View Source

MayWrite

Tells if this memory access spec implies that the instruction it is attached to might write to some address.

Declaration
public override bool MayWrite { get; }
Property Value
Type Description
System.Boolean

true if the instruction might write; otherwise, false.
Overrides

Methods

| Improve this Doc View Source

Create(IReadOnlyList<MemorySpecification>)

Creates a memory access spec that represents the union of other memory access specs.

Declaration
public static MemorySpecification.Union Create(IReadOnlyList<MemorySpecification> elements)
Parameters
Type Name Description
System.Collections.Generic.IReadOnlyList<MemorySpecification> elements

A sequence of memory access specs.
Returns
Type Description
MemorySpecification.Union

A union memory access spec.