cpg-language-cxx/de.fraunhofer.aisec.cpg.frontends.cxx/CPPLanguage

CPPLanguage

class CPPLanguage : CLanguage, HasDefaultArguments, HasTemplates, HasComplexCallResolution, HasStructs, HasClasses, HasUnknownType

The C++ language.

Constructors

constructor()

Functions

open fun accept(strategy: IStrategy<Node>, visitor: IVisitor<Node>)

fun addAllPrevDFG(prev: Collection<Node>)

fun addAnnotations(annotations: Collection<Annotation>)

fun addNextDFG(next: Node)

fun addNextEOG(propertyEdge: PropertyEdge<Node>)

fun addPrevDFG(prev: Node)

fun addPrevEOG(propertyEdge: PropertyEdge<Node>)

fun addTypedef(typedef: TypedefDeclaration)

fun clearNextDFG()

fun clearNextEOG()

fun clearPrevDFG()

disconnectFromGraph

fun disconnectFromGraph()

open operator override fun equals(other: Any?): Boolean

getSimpleTypeOf

fun getSimpleTypeOf(typeString: String): Type?

fun handlesFile(file: File): Boolean

handleTemplateFunctionCalls

open override fun handleTemplateFunctionCalls(curClass: RecordDeclaration?, templateCall: CallExpression, applyInference: Boolean, ctx: TranslationContext, currentTU: TranslationUnitDeclaration): Pair<Boolean, List<FunctionDeclaration>>

open override fun hashCode(): Int

open fun newFrontend(ctx: TranslationContext): CXXLanguageFrontend

propagateTypeOfBinaryOperation

open fun propagateTypeOfBinaryOperation(operation: BinaryOperator): Type

refineInvocationCandidatesFromRecord

open override fun refineInvocationCandidatesFromRecord(recordDeclaration: RecordDeclaration, call: CallExpression, namePattern: Pattern, ctx: TranslationContext): List<FunctionDeclaration>

refineMethodCallResolution

open override fun refineMethodCallResolution(curClass: RecordDeclaration?, possibleContainingTypes: Set<Type>, call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration, callResolver: CallResolver): List<FunctionDeclaration>

refineNormalCallResolution

open override fun refineNormalCallResolution(call: CallExpression, ctx: TranslationContext, currentTU: TranslationUnitDeclaration): List<FunctionDeclaration>

fun removeNextDFG(next: Node?)

fun removePrevDFG(prev: Node?)

removePrevEOGEntry

fun removePrevEOGEntry(eog: Node)

open override fun toString(): String

Properties

accessModifiers

open val accessModifiers: Set<String>

var annotations: MutableList<Annotation>

var argumentIndex: Int

arithmeticOperations

open val arithmeticOperations: Set<String>

var astChildren: List<Node>

open override val builtInTypes: Map<String, ObjectType>

var code: String?

var comment: String?

compoundAssignmentOperators

open override val compoundAssignmentOperators: Set<String>

All operators which perform and assignment and an operation using lhs and rhs. See https://en.cppreference.com/w/c/language/operator_assignment

conjunctiveOperators

open override val conjunctiveOperators: List<String>

open override var ctx: TranslationContext?

disjunctiveOperators

open override val disjunctiveOperators: List<String>

elaboratedTypeSpecifier

open override val elaboratedTypeSpecifier: List<String>

open override val endCharacter: Char = '>'

var file: String?

open override val fileExtensions: List<String>

open override val frontend: KClass<out CXXLanguageFrontend>

var id: Long?

var isImplicit: Boolean

var isInferred: Boolean

open override var language: Language<out LanguageFrontend>?

var location: PhysicalLocation?

open var name: Name

namespaceDelimiter

open override val namespaceDelimiter: String

var nextDFG: MutableSet<Node>

var nextEOG: List<Node>

var nextEOGEdges: MutableList<PropertyEdge<Node>>

var prevDFG: MutableSet<Node>

var prevEOG: List<Node>

var prevEOGEdges: MutableList<PropertyEdge<Node>>

primitiveTypeNames

val primitiveTypeNames: Set<String>

open override val qualifiers: List<String>

open override var scope: Scope?

open override val startCharacter: Char = '<'

var typedefs: MutableSet<TypedefDeclaration>

unknownTypeString

open override val unknownTypeString: List<String>