Class ProcedureSemanticsDto
A ProcedureSemanticModel, as it travels.
public record ProcedureSemanticsDto : IEquatable<ProcedureSemanticsDto>
- Inheritance
-
ProcedureSemanticsDto
- Implements
- Inherited Members
Constructors
ProcedureSemanticsDto(Uri, bool, ImmutableArray<CompileErrorDto>, ImmutableArray<ExpressionFactDto>)
A ProcedureSemanticModel, as it travels.
public ProcedureSemanticsDto(Uri Procedure, bool IsFullyAnalyzed, ImmutableArray<CompileErrorDto> CompileErrors, ImmutableArray<ExpressionFactDto> Expressions)
Parameters
ProcedureUriThe address of the procedure.
IsFullyAnalyzedboolWhether the references the facts say there are in its body are all of them.
CompileErrorsImmutableArray<CompileErrorDto>What the static pass found wrong with the body.
ExpressionsImmutableArray<ExpressionFactDto>What it found out about each expression.
Properties
CompileErrors
What the static pass found wrong with the body.
public ImmutableArray<CompileErrorDto> CompileErrors { get; init; }
Property Value
Expressions
What it found out about each expression.
public ImmutableArray<ExpressionFactDto> Expressions { get; init; }
Property Value
IsFullyAnalyzed
Whether the references the facts say there are in its body are all of them.
public bool IsFullyAnalyzed { get; init; }
Property Value
Procedure
The address of the procedure.
public Uri Procedure { get; init; }