jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver/JavaSymbolSolver

JavaSymbolSolver

open class JavaSymbolSolver : SymbolResolver(source)

This implementation of the SymbolResolver wraps the functionality of the library to make them easily usable from JavaParser nodes.

An instance of this class should be created once and then injected in all the CompilationUnit for which we want to enable symbol resolution. To do so the method inject can be used, or you can use setSymbolResolver and the parser will do the injection for you.

Author

Federico Tomassetti

Constructors

JavaSymbolSolver

constructor(@NotNull typeSolver: TypeSolver)

Types

ArrayLengthValueDeclaration

open class ArrayLengthValueDeclaration : ResolvedValueDeclaration

Properties

ENABLE_JML_RESOLUTION

open var ENABLE_JML_RESOLUTION: Boolean

Sometimes you want the old simple Java name resolution without consideration of any JML annotation.

Functions

open fun calculateType(expression: Expression): ResolvedType

open fun inject(destination: CompilationUnit)

Register this SymbolResolver into a CompilationUnit, so that symbol resolution becomes available to all nodes part of the CompilationUnit.

resolveDeclaration

open fun <T> resolveDeclaration(node: Node, resultClass: Class<T>): T

resolveDeclarationImpl

open fun <T> resolveDeclarationImpl(node: Node, resultClass: Class<T>): T

open fun <T> toResolvedType(javaparserType: Type, resultClass: Class<T>): T

toTypeDeclaration

open fun toTypeDeclaration(node: Node): ResolvedReferenceTypeDeclaration