cpg-language-typescript/de.fraunhofer.aisec.cpg.frontends.typescript/TypeScriptLanguage

TypeScriptLanguage

class TypeScriptLanguage : JavaScriptLanguage

The TypeScript language.

Constructors

TypeScriptLanguage

constructor()

Properties

accessModifiers

open val accessModifiers: Set<String>

additionalProblems

val additionalProblems: MutableSet<ProblemNode>

annotationEdges

var annotationEdges: AstEdges<Annotation, AstEdge<Annotation>>

annotations

var annotations: MutableList<Annotation>

argumentIndex

var argumentIndex: Int

arithmeticOperations

open val arithmeticOperations: Set<String>

astChildren

var astChildren: List<Node>

astParent

var astParent: Node?

builtInTypes

open override val builtInTypes: Map<String, ObjectType>

See Documentation.

code

var code: String?

comment

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://tc39.es/ecma262/#sec-assignment-operators

conjunctiveOperators

open override val conjunctiveOperators: List<String>

ctx

open override var ctx: TranslationContext?

disjunctiveOperators

open override val disjunctiveOperators: List<String>

file

var file: String?

fileExtensions

open override val fileExtensions: List<String>

frontend

open override val frontend: KClass<out TypeScriptLanguageFrontend>

var id: Long?

isImplicit

var isImplicit: Boolean

isInferred

var isInferred: Boolean

language

open override var language: Language<*>?

location

open override var location: PhysicalLocation?

name

open override var name: Name

namespaceDelimiter

open override val namespaceDelimiter: String

nextCDG

var nextCDG: MutableList<Node>

nextCDGEdges

var nextCDGEdges: ControlDependences<Node>

nextDFG

var nextDFG: MutableSet<Node>

nextDFGEdges

var nextDFGEdges: Dataflows<Node>

nextEOG

var nextEOG: MutableList<Node>

nextEOGEdges

var nextEOGEdges: EvaluationOrders<Node>

nextFullDFG

val nextFullDFG: List<Node>

nextPDG

var nextPDG: MutableSet<Node>

nextPDGEdges

var nextPDGEdges: ProgramDependences<Node>

operatorCodes

open val operatorCodes: Set<String>

prevCDG

var prevCDG: MutableList<Node>

prevCDGEdges

var prevCDGEdges: ControlDependences<Node>

prevDFG

var prevDFG: MutableSet<Node>

prevDFGEdges

var prevDFGEdges: Dataflows<Node>

prevEOG

var prevEOG: MutableList<Node>

prevEOGEdges

var prevEOGEdges: EvaluationOrders<Node>

prevFullDFG

val prevFullDFG: List<Node>

prevPDG

var prevPDG: MutableSet<Node>

prevPDGEdges

var prevPDGEdges: ProgramDependences<Node>

primitiveTypeNames

val primitiveTypeNames: Set<String>

scope

open override var scope: Scope?

simpleAssignmentOperators

open val simpleAssignmentOperators: Set<String>

Functions

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

bestViableResolution

open fun bestViableResolution(result: CallResolutionResult): Pair<Set<FunctionDeclaration>, CallResolutionResult.SuccessKind>

disconnectFromGraph

fun disconnectFromGraph()

equals

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

getSimpleTypeOf

fun getSimpleTypeOf(typeString: CharSequence): Type?

handlesFile

fun handlesFile(file: File): Boolean

hashCode

open override fun hashCode(): Int

newFrontend

open fun newFrontend(ctx: TranslationContext): TypeScriptLanguageFrontend

propagateTypeOfBinaryOperation

open fun propagateTypeOfBinaryOperation(operation: BinaryOperator): Type

shouldPropagateType

open fun shouldPropagateType(hasType: HasType, srcType: Type): Boolean

toString

open override fun toString(): String

tryCast

open fun tryCast(type: Type, targetType: Type, hint: HasType?, targetHint: HasType?): CastResult