cpg-core/de.fraunhofer.aisec.cpg.passes/TypeResolver

TypeResolver

open class TypeResolver : Pass

Constructors

fun TypeResolver()

Functions

open override fun accept(translationResult: TranslationResult)

Pass on the TypeSystem: Sets RecordDeclaration Relationship from ObjectType to RecordDeclaration

addSoftDependency

fun addSoftDependency(toAdd: Class<out Pass?>)

open fun andThen(p0: Consumer<in TranslationResult>): Consumer<TranslationResult>

open override fun cleanup()

fun handle(node: Node)

Creates the recordDeclaration relationship between ObjectTypes and RecordDeclaration (from the Type to the Class)

runsWithCurrentFrontend

fun runsWithCurrentFrontend(usedFrontends: Collection<LanguageFrontend>): Boolean

Check if the pass requires a specific language frontend and if that frontend has been executed.

supportsLanguage

fun supportsLanguage(language: Language<out LanguageFrontend>): Boolean

Specifies, whether this pass supports this particular language. This defaults to true * and needs to be overridden if a different behaviour is wanted.

Properties

val isFirstPass: Boolean

val isLastPass: Boolean

var name: String

lateinit var scopeManager: ScopeManager