Class MemorySpecification.ArgumentWrite

A write to an address encoded by an argument.

Inheritance
System.Object
MemorySpecification
MemorySpecification.ArgumentWrite
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 ArgumentWrite : 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 written to.

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 write to a particular argument.

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

The index of the parameter that corresponds to the argument that is written to.
Returns
Type Description
MemorySpecification.ArgumentWrite

A memory access spec that represents an argument write.