Matches C# patterns that perform dynamic type checks.
In C#, you can used an is pattern (not to be confused with a CodeXM pattern) to perform a dynamic type check.
The C# pattern can have an optional subpattern: If the type check succeeds, the subpattern is matched against the expression.
This pattern is usually followed by a namedPattern.
For example, the following C# snippet matches the variable o against the type int.
If the variable is not an integer, the function containing this statement returns:
if ( !(o is int) ) return;Properties
isPattern produces a record that contains the following properties:
| Name | Type | Description |
|---|---|---|
subPattern |
pattern |
The subpattern to match if the type check succeeds |
type |
type |
The type to match against |
Inherits properties from:
Example
The following pattern matches an expression that contains the C# pattern-match
expression is int:
pattern isIntMatchPattern {
patternMatchExpression {
.matchPattern == isPattern {
.type == integralType {
.kind == `int`
}
}
}
};