public class TypeManager
extends java.lang.Object

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`cleanup()`
`java.util.Optional<Type>`	`getCommonType(java.util.Collection<Type> types)`
`static TypeManager`	`getInstance()`
`boolean`	`isPrimitive(Type type)`
`boolean`	`isSupertypeOf(Type superType, Type subType)`
`boolean`	`isUnknown(Type type)`
`boolean`	`isUnknown(java.lang.String type)`
`void`	`setLanguageFrontend(LanguageFrontend frontend)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static TypeManager getInstance()

public void setLanguageFrontend(LanguageFrontend frontend)

public boolean isPrimitive(Type type)

public boolean isUnknown(Type type)

public boolean isUnknown(java.lang.String type)

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

public boolean isSupertypeOf(Type superType,
                             Type subType)

Class TypeManager