Raven Programming language for .NET

API Browser
Class

SemanticModel

class SemanticModel

Namespace: Raven.CodeAnalysis
Assembly: Raven.CodeAnalysis.dll
Source file: SemanticModel.AsyncStateMachine.cs, SemanticModel.Binding.cs, SemanticModel.Captures.cs, SemanticModel.ControlFlowAnalysis.cs, SemanticModel.DataFlowAnalysis.cs, SemanticModel.MacroExpansionDocument.cs, SemanticModel.MacroFragments.cs, SemanticModel.MatchExhaustiveness.cs, SemanticModel.MemberSignatures.cs, SemanticModel.MemberSymbolState.cs, SemanticModel.Operations.cs, SemanticModel.Scripting.cs, SemanticModel.cs

Inheritance: Object → SemanticModel

Constructors

1 item
SemanticModel(compilation: Compilation, syntaxTree: SyntaxTree) No summary available.

Properties

4 items
Colorize: bool No summary available. Extension from BoundTreePrinter.Colorize
Compilation: Compilation No summary available.
IsDebuggingEnabled: bool No summary available.
SyntaxTree: SyntaxTree No summary available.

Methods

63 items
AnalyzeControlFlow(firstStatement: StatementSyntax, lastStatement: StatementSyntax) -> ControlFlowAnalysis No summary available.
AnalyzeControlFlow(statement: StatementSyntax) -> ControlFlowAnalysis No summary available.
AnalyzeDataFlow(expression: ExpressionSyntax) -> DataFlowAnalysis No summary available.
AnalyzeDataFlow(firstStatement: StatementSyntax, lastStatement: StatementSyntax) -> DataFlowAnalysis No summary available.
AnalyzeDataFlow(statement: StatementSyntax) -> DataFlowAnalysis No summary available.
Equals(obj: object?) -> bool Determines whether the specified object is equal to the current object. Inherited from Object.Equals
GetCapturedVariables(node: SyntaxNode) -> ImmutableArray<ISymbol> No summary available.
GetCapturedVariables(symbol: ISymbol) -> ImmutableArray<ISymbol> No summary available.
GetCompletions(position: int) -> IEnumerable<CompletionItem> Gets completion items available at a position in this semantic model's syntax tree.
GetCompletionsAsync(position: int, cancellationToken?: CancellationToken) -> Task<ImmutableArray<CompletionItem>> Gets completion items available at a position in this semantic model's syntax tree asynchronously.
GetDeclaredSymbol(node: SyntaxNode) -> ISymbol? Given a syntax node that declares a method, property, or member accessor, get the corresponding symbol.
GetDiagnostics(cancellationToken?: CancellationToken) -> IImmutableList<Diagnostic> No summary available.
GetExpandedDeclaration(attribute: AttributeSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<SyntaxNode> No summary available.
GetExpandedRoot(cancellationToken?: CancellationToken) -> CompilationUnitSyntax No summary available.
GetFunctionExpressionParameterSymbol(parameterSyntax: ParameterSyntax) -> IParameterSymbol? No summary available.
GetHashCode() -> int Serves as the default hash function. Inherited from Object.GetHashCode
GetLabelTarget(gotoStatement: GotoStatementSyntax) -> LabeledStatementSyntax? No summary available.
GetMacroEmbeddedLanguageProjection(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> MacroEmbeddedLanguageProjection? No summary available.
GetMacroEmbeddedLanguageProjection(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> MacroEmbeddedLanguageProjection? Gets a position-preserving embedded-language projection for a token-tree macro invocation.
GetMacroEmbeddedLanguageProjection(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> MacroEmbeddedLanguageProjection? No summary available.
GetMacroEmbeddedLanguageProjection(position: int, cancellationToken?: CancellationToken) -> MacroEmbeddedLanguageProjection? Gets the embedded-language projection that owns an authored position, including a projection from a nested macro inside a reported Raven fragment.
GetMacroExpansion(attribute: AttributeSyntax, cancellationToken?: CancellationToken) -> MacroExpansionResult? No summary available.
GetMacroExpansion(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> FreestandingMacroExpansionResult? No summary available.
GetMacroExpansion(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> FreestandingMacroExpansionResult? No summary available.
GetMacroExpansion(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> FreestandingMacroExpansionResult? No summary available.
GetMacroFragmentClassifications(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> SemanticClassificationResult Classifies the ordinary Raven syntax contained in all fragment regions reported by a declaration-shaped token-tree macro.
GetMacroFragmentClassifications(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> SemanticClassificationResult Classifies the ordinary Raven syntax contained in all fragment regions reported by a token-tree macro.
GetMacroFragmentClassifications(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> SemanticClassificationResult No summary available.
GetMacroFragmentInferredTypeAnnotations(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentInferredTypeAnnotation> No summary available.
GetMacroFragmentInferredTypeAnnotations(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentInferredTypeAnnotation> Gets inferred type annotations for authored Raven declarations inside fragments reported by a token-tree macro.
GetMacroFragmentInferredTypeAnnotations(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentInferredTypeAnnotation> No summary available.
GetMacroFragmentRegions(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentRegion> No summary available.
GetMacroFragmentRegions(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentRegion> Gets ordinary Raven fragment regions reported for a token-tree macro invocation.
GetMacroFragmentRegions(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroFragmentRegion> No summary available.
GetMacroFragmentSemanticInfo(declaration: FreestandingMacroDeclarationSyntax, position: int, cancellationToken?: CancellationToken) -> MacroFragmentSemanticInfo? Gets ordinary Raven semantic information at an authored position inside a declaration-shaped macro fragment.
GetMacroFragmentSemanticInfo(expression: FreestandingMacroExpressionSyntax, position: int, cancellationToken?: CancellationToken) -> MacroFragmentSemanticInfo? Gets ordinary Raven semantic information at an authored position inside a fragment reported by a token-tree macro.
GetMacroFragmentSemanticInfo(member: FreestandingMacroMemberDeclarationSyntax, position: int, cancellationToken?: CancellationToken) -> MacroFragmentSemanticInfo? No summary available.
GetMacroInputSnapshot(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> MacroInputSnapshot No summary available.
GetMacroInputSnapshot(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> MacroInputSnapshot Gets the compiler-owned token-and-fragment snapshot for a token-tree macro invocation.
GetMacroInputSnapshot(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> MacroInputSnapshot No summary available.
GetMacroSignatureHelp(position: int) -> MacroSignatureHelp? Gets macro signature help at a position in this semantic model's syntax tree.
GetMacroTokenInfo(declaration: FreestandingMacroDeclarationSyntax, position: int, cancellationToken?: CancellationToken) -> MacroTokenInfo? No summary available.
GetMacroTokenInfo(expression: FreestandingMacroExpressionSyntax, position: int, cancellationToken?: CancellationToken) -> MacroTokenInfo? Gets token metadata at an authored position inside a token-tree macro, including token-tree macros nested in reported Raven fragments.
GetMacroTokenInfo(member: FreestandingMacroMemberDeclarationSyntax, position: int, cancellationToken?: CancellationToken) -> MacroTokenInfo? No summary available.
GetMacroTokens(declaration: FreestandingMacroDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroTokenInfo> No summary available.
GetMacroTokens(expression: FreestandingMacroExpressionSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroTokenInfo> Gets the token stream and optional classifications for a token-tree macro invocation.
GetMacroTokens(member: FreestandingMacroMemberDeclarationSyntax, cancellationToken?: CancellationToken) -> ImmutableArray<MacroTokenInfo> No summary available.
GetMatchExhaustiveness(matchExpression: MatchExpressionSyntax, options?: MatchExhaustivenessOptions) -> MatchExhaustivenessInfo No summary available.
GetMatchExhaustiveness(matchExpression: PostfixMatchExpressionSyntax, options?: MatchExhaustivenessOptions) -> MatchExhaustivenessInfo No summary available.
GetMatchExhaustiveness(matchStatement: MatchStatementSyntax, options?: MatchExhaustivenessOptions) -> MatchExhaustivenessInfo No summary available.
GetOperation(node: SyntaxNode, cancellationToken?: CancellationToken) -> IOperation? Gets the semantic operation corresponding to the specified syntax node.
GetSymbolInfo(node: SyntaxNode, cancellationToken?: CancellationToken) -> SymbolInfo Gets symbol information about a syntax node
GetType() -> Type Gets the System.Type of the current instance. Inherited from Object.GetType
GetTypeInfo(expr: ExpressionSyntax) -> TypeInfo Gets type information about an expression.
GetTypeInfo(typeSyntax: TypeSyntax) -> TypeInfo Gets type information about a type syntax.
HasExternalGotoToLabel(labeledStatement: LabeledStatementSyntax, region: ControlFlowRegion) -> bool No summary available.
IsCapturedVariable(symbol: ISymbol) -> bool No summary available.
LookupApplicableExtensionMembers(receiverType: ITypeSymbol, contextNode?: SyntaxNode?, name?: string?, includePartialMatches?: bool, kinds?: ExtensionMemberKinds) -> ExtensionMemberLookupResult Looks up extension members that apply to the specified receiver type.
PrintBoundTree(includeChildPropertyNames?: bool, groupChildCollections?: bool, displayCollectionIndices?: bool, onlyBlockRoots?: bool, includeErrorNodes?: bool, includeBinderInfo?: bool, includeBinderChainOnRoots?: bool, showBinderOnlyOnChange?: bool, colorize?: bool, view?: BoundTreeView) -> () No summary available. Extension from BoundTreePrinter.PrintBoundTree
ToString() -> string? Returns a string that represents the current object. Inherited from Object.ToString
TryGetSymbolInfo(node: SyntaxNode, info: out SymbolInfo, cancellationToken?: CancellationToken) -> bool No summary available.
TryGetTypeInfo(expression: ExpressionSyntax, typeInfo: out TypeInfo) -> bool No summary available.
TryGetTypeInfo(typeSyntax: TypeSyntax, typeInfo: out TypeInfo) -> bool No summary available.