Package de.fraunhofer.aisec.cpg.graph.types

Class FunctionPointerType

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.types.Type

de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType

All Implemented Interfaces:

Persistable, IVisitable<de.fraunhofer.aisec.cpg.graph.Node>

public class FunctionPointerType
extends Type

FunctionPointerType represents FunctionPointers in CPP containing a list of parameters and a return type.

Nested Class Summary

Nested classes/interfaces inherited from class de.fraunhofer.aisec.cpg.graph.types.Type

Type.Origin, Type.Qualifier, Type.Storage

Nested classes/interfaces inherited from class de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.Node.Companion

Field Summary

Fields inherited from class de.fraunhofer.aisec.cpg.graph.types.Type

origin, primitive, qualifier, storage, superTypes, UNKNOWN_TYPE_STRING

Fields inherited from class de.fraunhofer.aisec.cpg.graph.Node

Companion, EMPTY_NAME, TO_STRING_STYLE

Constructor Summary

Constructors

Constructor	Description
FunctionPointerType(Type.Qualifier qualifier, Type.Storage storage, java.util.List<Type> parameters, Type returnType)
FunctionPointerType(Type type, java.util.List<Type> parameters, Type returnType)

Method Summary

Modifier and Type	Method	Description
Type	dereference()
Type	duplicate()
boolean	equals(java.lang.Object o)
java.util.List<Type>	getParameters()
java.util.List<de.fraunhofer.aisec.cpg.graph.edge.PropertyEdge<Type>>	getParametersPropertyEdge()
Type	getReturnType()
int	hashCode()
boolean	isSimilar(Type t)	Required for possibleSubTypes to check if the new Type should be considered a subtype or not
PointerType	reference(PointerType.PointerOrigin pointerOrigin)
void	setParameters(java.util.List<Type> parameters)
void	setReturnType(Type returnType)
java.lang.String	toString()

Methods inherited from class de.fraunhofer.aisec.cpg.graph.types.Type

getQualifier, getReferenceDepth, getRoot, getStorage, getSuperTypes, getTypeName, getTypeOrigin, isFirstOrderType, isPrimitive, refreshNames, setAdditionalTypeKeywords, setQualifier, setRoot, setStorage, setTypeOrigin

Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node

addAnnotations, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, getAstChildren, getCode, getComment, getFile, getId, getLocation, getName, getNextDFG, getNextEOG, getNextEOGEdges, getPrevDFG, getPrevEOG, getPrevEOGEdges, getTypedefs, isImplicit, isInferred, removeNextDFG, removePrevDFG, removePrevEOGEntry, setAnnotations, setArgumentIndex, setCode, setComment, setFile, setId, setImplicit, setInferred, setLocation, setName, setNextDFG, setNextEOG, setNextEOGEdges, setPrevDFG, setPrevEOG, setPrevEOGEdges, setTypedefs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.fraunhofer.aisec.cpg.processing.IVisitable

accept

Constructor Details

FunctionPointerType

public FunctionPointerType(Type.Qualifier qualifier,
Type.Storage storage,
java.util.List<Type> parameters,
Type returnType)

FunctionPointerType

public FunctionPointerType(Type type,
java.util.List<Type> parameters,
Type returnType)

Method Details

setParameters

public void setParameters(java.util.List<Type> parameters)

setReturnType

public void setReturnType(Type returnType)

getParametersPropertyEdge

public java.util.List<de.fraunhofer.aisec.cpg.graph.edge.PropertyEdge<Type>> getParametersPropertyEdge()

getParameters

public java.util.List<Type> getParameters()

getReturnType

public Type getReturnType()

reference

public PointerType reference(PointerType.PointerOrigin pointerOrigin)

Specified by:

reference in class Type

Parameters:

pointerOrigin - Reason for the reference (array of pointer)

Returns:

Returns a reference to the current Type. E.g. when creating a pointer to an existing ObjectType

dereference

public Type dereference()

Specified by:

dereference in class Type

Returns:

Dereferences the current Type by resolving the reference. E.g. when dereferencing an pointer type we obtain the type the pointer is pointing towards

duplicate

public Type duplicate()

Specified by:

duplicate in class Type

Returns:

Creates an exact copy of the current type (chain)

isSimilar

public boolean isSimilar(Type t)

Description copied from class: Type

Required for possibleSubTypes to check if the new Type should be considered a subtype or not

Overrides:

isSimilar in class Type

Parameters:

t - other type the similarity is checked with

Returns:

True if the parameter t is equal to the current type (this)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Type

hashCode

public int hashCode()

Overrides:

hashCode in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type