Class MemorySpecification.Union

A union of memory access specs.

Inheritance

object

MemorySpecification

MemorySpecification.Union

Inherited Members

MemorySpecification.Nothing

MemorySpecification.Unknown

MemorySpecification.UnknownRead

MemorySpecification.UnknownWrite

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Namespace: Flame.Compiler.Analysis

Assembly: Flame.Compiler.dll

Syntax

public sealed class MemorySpecification.Union : MemorySpecification

Properties

Elements

Gets the memory access specs whose behavior is unified.

Declaration

public IReadOnlyList<MemorySpecification> Elements { get; }

Property Value

Type	Description
IReadOnlyList<MemorySpecification>	A list of memory access specs.

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
bool	true if the instruction might read; otherwise, false.

Overrides

MemorySpecification.MayRead

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
bool	true if the instruction might write; otherwise, false.

Overrides

MemorySpecification.MayWrite

Methods

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
IReadOnlyList<MemorySpecification>	elements	A sequence of memory access specs.

Returns

Type	Description
MemorySpecification.Union	A union memory access spec.