Class IncompleteType
- java.lang.Object
-
- de.fraunhofer.aisec.cpg.graph.Node
-
- de.fraunhofer.aisec.cpg.graph.types.Type
-
- de.fraunhofer.aisec.cpg.graph.types.IncompleteType
-
- All Implemented Interfaces:
Persistable,IVisitable<Node>
public class IncompleteType extends Type
IncompleteTypes are defined as object with unknown size. For instance: void, arrays of unknown length, forward declarated classes in C++Right now we are only dealing with void for objects with unknown size, therefore the name is fixed to void. However, this can be changed in future, in order to support other objects with unknown size apart from void. Therefore this Type is not called VoidType
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.fraunhofer.aisec.cpg.graph.types.Type
Type.Origin, Type.Qualifier, Type.Storage
-
-
Field Summary
-
Fields inherited from class de.fraunhofer.aisec.cpg.graph.types.Type
origin, primitive, qualifier, storage, superTypes, UNKNOWN_TYPE_STRING
-
-
Constructor Summary
Constructors Constructor Description IncompleteType()IncompleteType(Type type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Typedereference()Typeduplicate()booleanequals(java.lang.Object o)inthashCode()Typereference(PointerType.PointerOrigin pointerOrigin)java.lang.StringtoString()-
Methods inherited from class de.fraunhofer.aisec.cpg.graph.types.Type
getQualifier, getReferenceDepth, getRoot, getStorage, getSuperTypes, getTypeName, getTypeOrigin, isFirstOrderType, isPrimitive, isSimilar, refreshNames, setAdditionalTypeKeywords, setQualifier, setRoot, setStorage, setTypeOrigin
-
Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node
addAnnotations, addNextCFG, addNextCFG, addNextDFG, addNextEOG, addPrevDFG, addPrevEOG, addTypedef, clearNextEOG, disconnectFromGraph, getAnnotations, getArgumentIndex, getCode, getFile, getId, getLocation, getName, getNextCFG, getNextDFG, getNextEOG, getNextEOGProperties, getNextEOGPropertyEdge, getPrevDFG, getPrevEOG, getPrevEOGProperties, getTypedefs, isDummy, isImplicit, removeNextDFG, removePrevDFG, removePrevEOGEntries, removePrevEOGEntry, setArgumentIndex, setCode, setComment, setDummy, setFile, setImplicit, setLocation, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setPrevEOGProperties, 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 Detail
-
IncompleteType
public IncompleteType()
-
IncompleteType
public IncompleteType(Type type)
-
-
Method Detail
-
reference
public Type reference(PointerType.PointerOrigin pointerOrigin)
-
dereference
public Type dereference()
- Specified by:
dereferencein classType- Returns:
- dereferencing void results in void therefore the same type is returned
-
duplicate
public Type duplicate()
-
-