SelectByFoldingOverExpressions Class

Definition

Class that allows to transform scopes by keeping only statements whose expressions satisfy a certain criterion. Calling Transform will build a new Scope that contains only the statements for which the fold of a given condition over all contained expressions evaluates to true. If evaluateOnSubexpressions is set to true, the fold is evaluated on all subexpressions as well.

public class SelectByFoldingOverExpressions : Microsoft.Quantum.QsCompiler.Transformations.Core.SyntaxTreeTransformation<Microsoft.Quantum.QsCompiler.Transformations.BasicTransformations.SelectByFoldingOverExpressions.TransformationState>
type SelectByFoldingOverExpressions = class
    inherit SyntaxTreeTransformation<SelectByFoldingOverExpressions.TransformationState>
Public Class SelectByFoldingOverExpressions
Inherits SyntaxTreeTransformation(Of SelectByFoldingOverExpressions.TransformationState)
Inheritance
Derived

Constructors

SelectByFoldingOverExpressions(Func<TypedExpression,Boolean>, Func<Boolean,Boolean,Boolean>, Boolean, Boolean)

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

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