Package de.fraunhofer.aisec.cpg.graph

Interface Summary

Interface	Description
HasType
HasType.TypeListener

Class Summary

Class	Description
ArrayCreationExpression	Expressions of the form new Type[] that represents the creation of an array, mostly used in combination with a VariableDeclaration.
ArrayRangeExpression	Expressions of the form floor ...
ArraySubscriptionExpression	Represents the Subscription or access of an array of the form array[index], where both array and index are of type Expression.
ASMDeclarationStatement
AssertStatement	Represents an assert statement
BinaryOperator	A binary operation expression, such as "a + b".
BreakStatement	Statement used to interrupt further execution of a loop body and exit the respective loop context.
CallExpression	An expression, which calls another function.
CaseStatement	Case statement of the form case expression : that serves as entry point for switch statements, the only allowed substatements are side effekt free primitive expression for the selector to choose from.
CastExpression
CatchClause
CompoundStatement	A statement which contains a list of statements.
CompoundStatementExpression	An expression, which calls another function.
ConditionalExpression	Represents an expression containing a ternary operator: var x = condition ? valueIfTrue : valueIfFalse;
ConstructExpression	Represents a call to a constructor, usually as an initializer.
ConstructorDeclaration	The declaration of a constructor within a RecordDeclaration.
ContinueStatement	Statement used to interrupt further execution of a loop body and jump to the evaluation of the loop condition.
Declaration	Represents a single declaration or definition, i.e.
DeclarationStatement	A Statement, which contains a single or multiple Declarations.
DeclaredReferenceExpression	An expression, which refers to something which is declared, e.g.
DefaultStatement	Default statement of the form default: that serves as entry point for switch statements.
DeleteExpression
DesignatedInitializerExpression
DoStatement	Represents a conditional loop statement of the form: do{...}while(...).
EmptyStatement
EnumConstantDeclaration
EnumDeclaration
ExplicitConstructorInvocation
Expression	Represents one expression.
ExpressionList
FieldDeclaration	Declaration of a field within a RecordDeclaration.
ForEachStatement
ForStatement
FunctionDeclaration	Represents the declaration or definition of a function.
GotoStatement
IfStatement	Represents a condition control flow statement, usually indicating by If.
IncludeDeclaration
InitializerListExpression	A list of initializer expressions.
LabelStatement	A label attached to a statement that is used to change control flow by labeled continue and breaks (Java) or goto(C++).
Literal<T>	Represents a literal value, meaning the value is fixed and not depending on the runtime evaluation of the expression.
MemberCallExpression	Represents a CallExpression to a function, which is a member of an object.
MemberExpression	Represents access to a field of a RecordDeclaration, such as obj.property.
MethodDeclaration	A method declaration is a FunctionDeclaration tied to a specific RecordDeclaration.
NamespaceDeclaration
NewExpression	Represents the creation of a new object through the new keyword.
Node	The base class for all graph objects that are going to be persisted in the database.
NodeBuilder	Builder for construction code property graph nodes.
ParamVariableDeclaration	A declaration of a function parameter.
ProblemDeclaration
RecordDeclaration	Represents a C++ union/struct/class or Java class
Region	Code source location, in a SASP/SARIF-compliant "Region" format.
ReturnStatement	Represents a statement that returns out of the current function.
Statement	A statement.
StaticCallExpression	A CallExpression that targets a static function of a different RecordDeclaration, without using a static import: SomeClass.invoke()
StaticReferenceExpression	An expression, which refers to something which is declared, e.g.
SwitchStatement	Represents a Java or C++ switch statement of the switch (selector) {...} that can include case and default statements.
SynchronizedStatement
TranslationUnitDeclaration	The top most declaration, representing a translation unit, for example a file.
TryStatement
Type
TypeIdExpression
TypeManager
UnaryOperator	A unary operator expression, involving one expression and an operator, such as a++.
UsingDirective
ValueDeclaration	A declaration who has a type.
VariableDeclaration	Represents the declaration of a variable.
WhileStatement	Represents a conditional loop statement of the form: while(...){...}.

Enum Summary

Enum	Description
Type.Origin

Annotation Types Summary

Annotation Type	Description
EdgeProperty
PopulatedByPass	This annotation denotes that, this property is populates by a pass.
SubGraph	Annotates single member variables of supertype Node or a collection of nodes to be part of the a sub-graph of the current Node.