Class MemorySpecification.ArgumentRead

A read from an address encoded by an argument.

Inheritance
System.Object
MemorySpecification
MemorySpecification.ArgumentRead
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 ArgumentRead : MemorySpecification

Properties

| 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
| Improve this Doc View Source

ParameterIndex

Gets the index of the parameter that corresponds to the argument that is read.

Declaration
public int ParameterIndex { get; }
Property Value
Type Description
System.Int32

A parameter index.

Methods

| Improve this Doc View Source

Create(Int32)

Creates a memory access spec that corresponds to a read from a particular argument.

Declaration
public static MemorySpecification.ArgumentRead Create(int parameterIndex)
Parameters
Type Name Description
System.Int32 parameterIndex

The index of the parameter that corresponds to the argument that is read.
Returns
Type Description
MemorySpecification.ArgumentRead

A memory access spec that represents an argument read.