Class MemorySpecification.ArgumentWrite

A write to an address encoded by an argument.

Inheritance

object

MemorySpecification

MemorySpecification.ArgumentWrite

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.ArgumentWrite : MemorySpecification

Properties

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

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
int	A parameter index.

Methods

Create(int)

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
int	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.