public class ElementTypeManager
extends java.lang.Object
Constructor and Description |
---|
ElementTypeManager()
Creates new ElementTypeManager
|
Modifier and Type | Method and Description |
---|---|
static ElementTypeManager |
defaultManager()
get the default element type manager instance
|
java.util.Collection<java.lang.String> |
getTypes()
get the set of all types
|
boolean |
match(AcceleratorNode node,
java.lang.String type)
Check if the node is of the specified type.
|
<NodeType> boolean |
match(java.lang.Class<NodeType> theClass,
java.lang.String type)
Check if the class or one of its superclasses is associated with the type.
|
void |
registerType(java.lang.Class<?> theClass,
java.lang.String type)
Register the type to specified class to be of the specified type
|
public static ElementTypeManager defaultManager()
public void registerType(java.lang.Class<?> theClass, java.lang.String type)
public boolean match(AcceleratorNode node, java.lang.String type)
public <NodeType> boolean match(java.lang.Class<NodeType> theClass, java.lang.String type)
public java.util.Collection<java.lang.String> getTypes()