ValidateMonomorphization Class

Reference

Definition

Namespace:: Microsoft.Quantum.QsCompiler.Transformations.Monomorphization.Validation

Assembly:: Microsoft.Quantum.QsTransformations.dll

Package:: Microsoft.Quantum.Compiler v0.25.218240

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Validates that the monomorphization transformation has removed all references to generic objects.

public class ValidateMonomorphization : Microsoft.Quantum.QsCompiler.Transformations.Core.SyntaxTreeTransformation<Microsoft.Quantum.QsCompiler.Transformations.Monomorphization.Validation.ValidateMonomorphization.TransformationState>

type ValidateMonomorphization = class
    inherit SyntaxTreeTransformation<ValidateMonomorphization.TransformationState>

Public Class ValidateMonomorphization
Inherits SyntaxTreeTransformation(Of ValidateMonomorphization.TransformationState)

Inheritance: Object

SyntaxTreeTransformation<ValidateMonomorphization.TransformationState>
ValidateMonomorphization

Properties

ExpressionKinds	(Inherited from SyntaxTreeTransformation<T>)
Expressions	(Inherited from SyntaxTreeTransformation<T>)
Namespaces	(Inherited from SyntaxTreeTransformation<T>)
SharedState	(Inherited from SyntaxTreeTransformation<T>)
StatementKinds	(Inherited from SyntaxTreeTransformation<T>)
Statements	(Inherited from SyntaxTreeTransformation<T>)
Types	(Inherited from SyntaxTreeTransformation<T>)

Methods

Apply(QsCompilation, Boolean)	Applies the transformation that walks through the syntax tree, checking to ensure that all generic data has been removed. If allowTypeParametersForIntrinsics is true, then generic data is allowed for type parameters of callables that have an intrinsic body.
OnAbsoluteLocation(QsNullable<QsLocation>)	(Inherited from SyntaxTreeTransformation<T>)
OnArgumentTuple(QsTuple<LocalVariableDeclaration<QsLocalSymbol,ResolvedType>>)	(Inherited from SyntaxTreeTransformation<T>)
OnCompilation(QsCompilation)	(Inherited from SyntaxTreeTransformation<T>)
OnExpressionRange(QsNullable<Range>)	(Inherited from SyntaxTreeTransformation<T>)
OnItemName(UserDefinedType, String)	(Inherited from SyntaxTreeTransformation<T>)
OnItemNameDeclaration(String)	(Inherited from SyntaxTreeTransformation<T>)
OnLocalName(String)	(Inherited from SyntaxTreeTransformation<T>)
OnLocalNameDeclaration(String)	(Inherited from SyntaxTreeTransformation<T>)
OnRelativeLocation(QsNullable<QsLocation>)	(Inherited from SyntaxTreeTransformation<T>)
OnSymbolLocation(QsNullable<Position>, Range)	(Inherited from SyntaxTreeTransformation<T>)
OnTypeRange(TypeRange)	(Inherited from SyntaxTreeTransformation<T>)

Applies to