Package de.fraunhofer.aisec.cpg.graph

Class TypeManager

java.lang.Object

de.fraunhofer.aisec.cpg.graph.TypeManager

public class TypeManager
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TypeManager.Language

Method Summary

Modifier and Type	Method	Description
void	addTypeParameter(RecordDeclaration recordDeclaration, java.util.List<ParameterizedType> typeParameters)
boolean	checkArrayAndPointer(Type first, Type second)
void	cleanup()
@NonNull java.util.Optional<Type>	getCommonType(@NonNull java.util.Collection<Type> types)
java.util.Set<Type>	getFirstOrderTypes()
@Nullable LanguageFrontend	getFrontend()
static TypeManager	getInstance()
@NonNull TypeManager.Language	getLanguage()
java.util.Set<Type>	getSecondOrderTypes()
ParameterizedType	getTypeParameter(RecordDeclaration recordDeclaration, java.lang.String name)
@NonNull java.util.Map<Type,java.util.List<Type>>	getTypeState()
void	handleSingleAlias(java.lang.String rawCode, Type target, java.lang.String aliasString)
void	handleTypedef(java.lang.String rawCode)
boolean	isPrimitive(Type type)
boolean	isSupertypeOf(Type superType, Type subType)
boolean	isUnknown(Type type)
<T extends Type> T	registerType(T t)
static void	reset()
Type	resolvePossibleTypedef(Type alias)
void	setLanguageFrontend(@NonNull LanguageFrontend frontend)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

reset

public static void reset()

getTypeParameter

public ParameterizedType getTypeParameter(RecordDeclaration recordDeclaration,
                                          java.lang.String name)

addTypeParameter

public void addTypeParameter(RecordDeclaration recordDeclaration,
                             java.util.List<ParameterizedType> typeParameters)

getTypeState

public @NonNull java.util.Map<Type,java.util.List<Type>> getTypeState()

registerType

public <T extends Type> T registerType(T t)

getFirstOrderTypes

public java.util.Set<Type> getFirstOrderTypes()

getSecondOrderTypes

public java.util.Set<Type> getSecondOrderTypes()

getInstance

public static TypeManager getInstance()

setLanguageFrontend

public void setLanguageFrontend(@NonNull LanguageFrontend frontend)

isPrimitive

public boolean isPrimitive(Type type)

isUnknown

public boolean isUnknown(Type type)

getCommonType

public @NonNull java.util.Optional<Type> getCommonType(@NonNull java.util.Collection<Type> types)

getLanguage

public @NonNull TypeManager.Language getLanguage()

getFrontend

public @Nullable LanguageFrontend getFrontend()

isSupertypeOf

public boolean isSupertypeOf(Type superType,
                             Type subType)

checkArrayAndPointer

public boolean checkArrayAndPointer(Type first,
                                    Type second)

cleanup

public void cleanup()

handleTypedef

public void handleTypedef(java.lang.String rawCode)

handleSingleAlias

public void handleSingleAlias(java.lang.String rawCode,
                              Type target,
                              java.lang.String aliasString)

resolvePossibleTypedef

public Type resolvePossibleTypedef(Type alias)