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

Class ParameterizedType

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

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

de.fraunhofer.aisec.cpg.graph.types.ParameterizedType

All Implemented Interfaces:

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

public class ParameterizedType
extends Type

ParameterizedTypes describe types, that are passed as Paramters to Classes E.g. uninitialized generics in the graph are represented as ParameterizedTypes

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
ParameterizedType(Type type)
ParameterizedType(java.lang.String typeName)

Method Summary

Modifier and Type	Method	Description
Type	dereference()
Type	duplicate()
Type	reference(PointerType.PointerOrigin pointer)

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

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

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

addAnnotations, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, 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

ParameterizedType

public ParameterizedType(Type type)

ParameterizedType

public ParameterizedType(java.lang.String typeName)

Method Details

reference

public Type reference(PointerType.PointerOrigin pointer)

Specified by:

reference in class Type

Parameters:

pointer - 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)